UML中的软件设计、建模和分析

新闻

• 2015-03-12：考试复习（“Klausureinsicht”），2015年3月19日，星期四，14:00-16:00，52-00-020室
  
• 2014-12-22：练习表5的提交日期当然是2015年。。。
  
• 2014-11-25：考试形式、日期、时间和固定地点-见下文
  
• 2014-11-11：ILIAS平台从现在起提供的讲座录音，作为流媒体和下载-如果您在访问录音时遇到问题，请通知我们；要查看流，您可能需要在单击链接之前登录ILIAS
  
• 2014-10-20：啊哈，似乎自2014年夏天以来，eLectures服务器已正式停止使用……所以录音只是暂时存在
  
• 2014-10-06：主页在线
  

福尔马利亚

参加期末考试的前提条件、期末考试的形式以及一切将在第一堂课上宣布。

入学标准

练习提交方案

练习表提前在线，以便您在听课时了解任务。按照即将宣布的模式，将有一个提前/定期提交计划。

注：练习将按两个等级进行评分：入口处（鉴于您在教程之前的知识，您的建议有多明智；“善意评级”、“上限”）以及考试分数（鉴于对您的提案和教程，你的建议在一个笔试；“不良评级”、“下限”）。

考试

将进行笔试：

• 2015年3月2日星期一
• 从10:00 c.t.开始90分钟。
• 101-010/14室
  
  

资源

幻灯片、练习和录音

在这个意义上主题到日期的更改取决于演讲。表格（讲座或教程）的日期分配为固定的。幻灯片通常只在讲座结束后提供。

• Di，21.10.：VL 01“介绍"
  动机、概述、形式。
  (幻灯片（带注释），2个以上,6个以上,记录)
• 同上，23.10.：VL 02“语义模型"+练习表1联机
  为什么使用UML？数学基础：特征，结构，系统状态。
  (幻灯片（带注释），2个以上,6个以上,记录)
• Di，28.10.：VL 03“OCL公司"
  OCL（有趣的片段）的语法。
  (幻灯片（带注释），2个以上,6个以上,记录)
• 同上，30.10.：VL 04“OCL语义"
  F类规范语义OCL的（有趣的片段）超过系统状态。
  (幻灯片（带注释），2个以上,6个以上,记录)
  
• Di，4.11：教程1
• 同上，6.11.：VL 05“对象图，OCL（续）"+练习表2联机
  关联系统状态和对象图；一OCL一致性的概念。
  (幻灯片（带注释），2个以上,6个以上,记录)
• Di，11.11.：VL 06“类图I"
  将类图映射到（扩展）签名。
  (幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
• 同上，13.11.：VL 07“类图II"
  扩展签名（续）；刻板印象.
  (幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
• Di，18.11：教程2
• 同上，20.11.：VL 08“类图III"+练习表3联机
  可见性。
  (幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
• Di，25.11.：VL 09“类图IV"
  关联（语法、系统状态、OCL).
  (幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
• 同上，27.11.：VL 10“类图五"
  协会（续）(OCL公司).
  (幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
  （以本机分辨率录制Rhapsody演示：ILIAS下载,ILIAS流)
  
• 第2.12.段：教程3
• 同上，4.12.：VL 11“核心状态机I"+练习表4联机
  协会，其他；OCL约束的位置；基本UML状态机（语法）
  (幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
• Di，9.12.：VL 12“核心状态机II"
  基本UML状态机续（基本因果模型；事件池）.
  (幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
  
• 同上，11.12.：VL 13“核心状态机III"
  基本UML状态机（续）(系统配置，基本因果模型、变压器、创建的重用语义)
  (幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
• Di，16.12.：教程4
• 同上，18.12.：VL 14“核心状态机IV" +练习表5联机
  基本UML状态机已完成(运行到完成：丢弃、分派、开始;环境交互，错误)
  (幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
• 第23.12页：待定。
• 做，8。1.：VL 15“核心状态机V"
  创建/销毁变压器、步骤、RTC-步骤
  (幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
• 狄，13。1.：教程5
• 做，15。1.：VL 16“层次状态机I"+练习表6联机
  分歧，I初始状态，模型语义;狂想曲演示
  (幻灯片（带注释），2个以上,6个以上,狂想曲-项目，录制：ILIAS下载,ILIAS流)
• 迪，20。1.：VL 17“分层状态机磅"
  通用（分层）UML状态机语法；我初始和最终状态.
  (幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
• 做，22。1.：VL 18“分层状态机二"
  复合状态s；剩余的伪状态；c（c）对行为的建设性描述与反思性描述；动态反射描述、交互、序列图、LSC语法；符号Büchi自动机；模型语言；信号和属性表达式
  (幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
• 第27页。1.:教程6
  （嵌入式迷你讲座：幻灯片（带注释），2个以上,6个以上)
  
• 做，29。1.：VL 19“分层状态机三"+练习表7联机
  延迟事件，行为特征
  (幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
• 迪，3。2.：VL 20“实时序列图"
   LSC抽象语法；基于符号Büchi自动机的语义
  (幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
• 做，5。2.：VL 21“继承"
  继承语法；D类埃西雷德继承的语义：利斯科夫替代原则；D类omain包含与上行链路语义、思想和原则
  (幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
• 狄，10。2.：VL 22“元建模" + "总结+问题"
  如何阅读UML标准文件
  (幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
• 做，12。2.：教程7

链接和文献

• 标准
  • 统一建模语言（UML）规范，上部结构，版本2.1.2
  • 统一建模语言（UML）规范，基础设施，版本2.1.2
    
  • 统一建模语言（UML）规范，2.1.2版，文档主页
    UML语言的官方标准化定义。
• OCL公司
  • 对象约束语言规范，2.0版
    OCL语言的官方标准化定义。我们的语义模型将基于本文档中的语义模型。
  • A.Kleppe，J.Warmer:对象约束语言，第二版，Addison-Wesley，2003年。
    良好的OCL语法和语义演示，尤其是评估OCL术语的语义模型。
• 状态机
  • D.Harel，E.Gery：《使用状态图的可执行对象建模》，IEEE计算机，30（7）：31-421997。
    这是基于类和状态机的UML图上的可执行视图的首批可用建议之一。
  • W.Damm，B.Josko，A.Pnueli，A.Votintseva:安全关键型应用程序中并发和通信的离散时间UML语义，SCP 55（1-3）：81-1152005年3月。
    核心状态机的可操作UML语义。
  • Damm，Josko，Pnueli，Votinsseva:UML内核语言的形式语义，IST/33522 Omega技术报告，2003年。
    与前一出版物的对比：如何将分层状态机编译成核心状态机（包括格式良好的定义，例如转换）
    
• 序列图
  • J.Klose：《实时序列图——通信行为规范的图形形式主义》，卡尔·冯·奥斯西茨基大学博士论文，2003年。
    LSC的验证导向方言。
  • D.Harel，R.Marelly:Come Let’s Play-Scenario-based Programming Using LSC and the Play-Engine，Springer-Verlag，2003年。
    LSC以动画为导向的方言
• 方法
  • B.P.道格拉斯：《艰难时刻》，艾迪生-韦斯利出版社，1999年。
    螺旋形开发过程补充了前面的论文。
  • B.P.Douglass：《ROPES:嵌入式系统的快速面向对象过程》，i-Logix Inc.，白皮书，1999年。
    上一本书的白皮书摘录。
  • O.Laitenberger，C.Atkinson：通用基于透视的检查来处理面向对象的开发工件，In:Proc。ICSE’99，494-503，IEEE CS-Press。
    阅读技巧哲学。
  • G.H.Travassos、F.Shull、J.Carver、V.R.Basili：面向对象设计检查的阅读技巧，技术报告CS-TR-4353，马里兰大学，2002年。
    具体的阅读技巧。
  • Marc Lettrari，《反应式面向对象程序的有效状态空间探索》，奥尔登堡大学论文，2005年。
    检查场景和配置的存在，测试用例生成。
    
• 教科书
  • B.Oesterreich：使用UML 2.1、8进行分析和设计。奥弗拉格，奥尔登堡，2006年。
    UML符号的标准介绍。
  • H.Stoerrle:UML 2 fuer Studenten，Pearson Studium Verlag，2005年。
    还有另一个。
    (通过UB以电子书形式提供)
    
• 其他
  • B.Dobing，J.Parsons:如何使用UML，ACM通信，49（5）：109-1142006。
    这项调查支持了我们选择的图表的相关性，这些图表将在讲座中得到更仔细的考虑。
  • Uwe Kastens、Hans Kleine Büning：Modellierung-Grundlagen und formale Methoden、Zweite Auflage、Carl Hanser Verlag。
    建模的一般讨论，不关注UML，但也考虑普通集合理论、图、petri网及其在建模任务中的使用。