| 课程类型 |
讲座 |
|---|
| 讲师 |
Andreas Podelski教授,伯恩德·韦斯特法尔
|
|---|
| 讲座 |
星期二，10:00–12:00，SR 51-03-026
星期四，10:00–12:00，SR 51-03-026 |
|---|
| 练习 |
星期二，10:00–12:00，SR 51-03-026（两周一次）
|
|---|
| 第一次会议 |
讲座2015年10月20日
练习27.10.2015
|
|---|
| 教学语言 |
英语
|
|---|
| 信用 |
6 |
|---|
| 考试 |
参见下文
|
|---|
| 课程目录 |
UML中的软件设计、建模和分析
|
|---|
快速链接：新闻-福尔马利亚-计划-链接和文献
新闻
- 2016年2月5日:勘误表更新（第17讲、第14讲和第18讲、第4讲）
- 2016-01-23：练习表6，练习3。（iv）-（vi）：对象u应该处于由{s1，s5}定义的状态配置中，x=0并且稳定。
- 2016-01-07：创建了一个新的勘误表文档-感谢您指出幻灯片中的错误！
- 2015-11-24：考试日期固定-见下文（考试办公室要求回答今天…）-伊拉斯谟学生按个人安排
- 2015-11-18:明天没有课，11月19日——讲师生病了（希望信息能及时送达你）。除非另行宣布，否则将于周二进行辅导。
- 2015-11-12：注意，第六讲的录音比平时短，因为讲座是-我们先完成了第二讲
- 2015-11-12：第4讲的幻灯片（OCL Semantics）更新了-iterate（）的定义现在也关心\bot（参见幻灯片20），幻灯片11又回来了
- 2015-10-20：请参阅中的欢迎信息ILIAS论坛获取我和米兰导师的联系信息
- 2015-10-19：更新了暂定计划
- 2015-09-25：主页在线
福尔马利亚
参加期末考试的前提条件、期末考试的形式以及一切将是在第一堂课上宣布。
入学标准
总额的50%录取（或：善意）分数在练习中考试录取.（例如，练习表1的完美解决方案，3、5和7，没有2、4和6的解决方案可以满足这一要求要求；每次练习中50%的分数也是如此）。 练习提交方案
练习表提前在线，以便您在听课时了解任务。按照即将公布的模式，将有一个提前/定期提交计划。
注：练习将按两个等级进行评分：入口处（鉴于您在教程之前的知识，您的建议有多明智；“善意评级”、“上限”）以及考试分数（鉴于对您的提案和教程，你的建议在一个笔试；“不良评级”、“下限”）。
考试
将进行口试：
- 2016年3月22日星期二
- 30分钟，考试办公室提供时间，
- 52-00-017
- 伊拉斯谟学生（仅限伊拉斯谟学生）：如有必要，我们可以安排个人日期/时间-请尽快与我们联系。
注：模块结果（成绩，“注”）完全由考试决定。资源
幻灯片、练习和录音
注：以下计划是实验性的
在这个意义上主题到日期的更改取决于演讲。表格（讲座或教程）的日期分配为固定（高达24.11.）。
- 勘误表（上次更新：2016-01-07）
- Di，20.10.：VL 01“介绍"+练习表1联机（通过提交ILIAS公司)
动机、内容、形式。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- 同上，22.10.：VL 02“语义模型"
数学基础：特征、结构、系统状态.
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- Di，27.10：教程1
- 同上，29.10.：VL 03“OCL语法"+练习表2联机（通过提交ILIAS公司)
OCL（有趣的片段）的语法。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- Di，3.11.：VL 04“OCL语义"
如果正规语义学OCL的（有趣的片段）超过系统状态。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- 同上，5.11.：VL 05“对象关系图"
关联系统状态和对象图；一OCL一致性的概念。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- Di，10.11.：教程2
- 同上，12.11.：VL 06“类图I"+练习表3联机（通过提交ILIAS公司)
将类图映射到（扩展）签名。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- Di，17.11.：VL 07“类图II"
扩展签名（续）；可见性和OCL;狂想曲演示; 刻板印象。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- 同上，19.11.：-
- Di，24.11.：教程3
- 同上，26.11.：VL 08“类图III“+练习表4联机（通过提交ILIAS公司)
协会(语法，系统状态，点钟).
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- Di，1.12.：VL 09“类图IV"
协会（续）；图表中的注释；UML图样式的元素。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- 同上，3.12.：VL 10“状态机概述"+练习表4在线
基本UML状态机（语法、，基本因果模型); 更多Rhapsody演示。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- Di，8.12.：教程4
- 同上，10.12.：VL 11“核心状态机I“+练习表5联机（通过提交ILIAS公司)
基本UML状态机（续），系统配置)
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- Di，15.12.：VL 12“核心状态机II"
基本UML状态机已完成(动作语言，变形金刚)
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- Do，17.12.：VL 13“核心状态机III"
基本UML状态机已完成(过渡关系); 狂想曲演示。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流.
Rhapsody动画的CandD示例：CandD.tgz公司.)
- 第22.12页：待定。
- 做，7。1.：教程5
- 第12页。1.：VL 14“核心状态机IV"
分歧，I初始状态，模型语义;创建和销毁操作。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流) - 做，14。1.：VL 15“层次状态机I"+练习表6联机（通过提交ILIAS公司)
通用（分层）UML状态机语法；我初始和最终状态;朝向AND和OR状态
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- 狄，19。1.：VL 16“分层状态机二"
分层状态（续）；其他伪国家；延期事件；被动反应物；行为特征
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- 做，21。1.：VL 17“实时序列图I"
C类对行为的建设性描述与反思性描述；动态反射描述、交互、序列图、LSC语法
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- 狄，26。1.:教程6
- 做，28。1.：VL 18“实时序列图II"+练习表7联机（自动售货机和提交方式ILIAS公司)
符号Büchi自动机；模型语言；信号和属性表达式
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- 迪，2。2.：VL 19“实时序列图II我"
切割、火灾；S公司基于符号Büchi自动机的语义; 预图表；禁止的场景
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流) - 做，4。2.：VL 20“继承"
继承语法；D类电子感应加热继承的语义：李斯科夫替换原则；D类继承、思想和原则的omain包含和上行链路语义
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- 第9章。2.：教程7
- 做，11。2.：VL 21“元建模"
如何阅读UML标准文件
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
链接和文献
- 标准
- OCL公司
- 状态机
- 序列图
- 方法论
- 教科书
- 其他
