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

新闻

• 2013-01-08：练习表5，图3（b）为“n\rightarrow x”。它应该是“n.x”（在我们的表达式语言OCL中）；它变得类似于Rhapsody中C++中的“n->x”。
  
• 2012-12-04：检查日期固定
  
• 2012年10月26日：练习表上的提交日期固定
  
• 2012年10月26日：录音终于上线了，抱歉耽搁了
  

福尔马利亚

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

录取标准

演习提交方案

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

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

考试

将会有

• 一个口试长度为30分钟。
  
• 日期/时间：2013年3月21日，2013年2月28日
  

请联系考试办公室了解时间安排。

注：模块结果（成绩，“注”）完全由考试决定。

资源

幻灯片、练习和录音

注：TechSmith屏幕捕获编解码器似乎需要播放选举门户网站上提供的录音。

• Di，23.10.：VL 01“介绍"
  动机、概述、形式。
  (幻灯片（带注释），2个以上,6个以上,记录)
• 米，24.10.：VL 02“语义模型"+练习表1联机
  为什么使用UML？数学基础：特征，结构，系统状态。
  (幻灯片（带有注释），2个以上,6个以上,记录)
• Di，30.10.：VL 03“OCL公司"
  OCL（有趣的片段）的语法和系统状态的形式语义。
  (幻灯片（没有注释），2个以上,6个以上,记录)
• 米，31.10.：VL 04“对象关系图"
  OCL的一致性概念；关联系统状态和对象图。
  (幻灯片（带注释），2个以上,6个以上,记录)
• Di，6.11.：教程1
• Mi，7.11.：VL 05“类图I"+练习表2联机
  将类图映射到（扩展）签名。
  (幻灯片（带注释），2个以上,6个以上,记录)
• Di，13.11.：VL 06“类型系统和可见性"
  一种用于OCL的简单型系统；解释可见性影响的扩展。
  (幻灯片（带注释），2个以上,6个以上,记录)
• 米，14.11.：VL 07“类图二"
  关联（语法、系统状态）。
  (幻灯片（带有注释），2个以上,6个以上,记录)
• Di，20.11：教程2
• Mi，21.11.：VL 08“类图III"+练习表3联机
  协会继续（协会和OCL）。
  (幻灯片（带注释），2个以上,6个以上,记录)
• Di，27.11.：VL 09“类图IV"
  关联已完成。 类图什么时候是好的类图？
  (幻灯片（带注释），2个以上,6以上,记录)
• 米，28.11.：VL 10“核心状态机I"
  基本UML状态机（语法、以太、信号事件）;中期（naja）评估
  (幻灯片（带注释），2个以上,6个以上,记录)
• Di，4.12.：教程3
• 米，5.12.：VL 11“核心状态机II"+练习表4联机
  基本UML状态机（续）（系统配置、变压器、创建的重用语义）
  (幻灯片（带注释），2个以上,6个以上,记录)
• Di，11.12.：VL 12“核心状态机III"
  基本UML状态机（续）(运行到完成：丢弃、分派、开始）.对行为的反思性描述和建设性描述之间的差异。
  (幻灯片（带注释），2个以上,6个以上,记录)
• 米，12.12.：VL 13“核心状态机IV"
  基本UML状态机（续）(环境交互，错误)
  (幻灯片（带注释），2个以上,6个以上,记录)
• Di，18.12：教程4
  
• 米，19.12.：VL 14“核心状态机V"+练习表5联机
  基本UML状态机已完成(环境交互，错误)、初始状态、模型语义
  (幻灯片（带注释），2个以上,6个以上,狂想曲-项目,记录)
• 第8页。1.：VL 15“层次状态机I"
  通用（分层）UML状态机
  (幻灯片（带注释），2个以上,6以上,记录)
• 米，9岁。1.：VL 16“层次状态机II"
  层次状态机（续）：复合状态
  (幻灯片（带有注释），2个以上,6个以上,记录)
• 迪，15。1.：教程5
• 米，16岁。1.：VL 17“现场序列图I"+练习表6联机
  剩余的伪状态.动态反射描述、交互、序列图、LSC语法
  (幻灯片（带注释），2个以上,6个以上,记录,狂想曲项目)
• 狄，22。1.：VL 18“实时序列图II"
  符号Büchi自动机；模型语言；信号和属性表达式
  (幻灯片（带注释），2个以上,6个以上,记录)
• 米，23岁。1.：VL 19“实时序列图III，延迟事件，行为特征"
  LSC抽象语法；基于符号Büchi自动机的语义
  (幻灯片（带注释），2个以上,6个以上,记录)
• 第29页。1.：教程6
• Mi，30岁。1.：VL 20“继承I"+练习表7联机
  延迟事件，行为特征，被动对象；继承语法；D类电子感应加热继承的语义：Liskov替换原则
  (幻灯片（带注释），2个以上,6个以上,记录)
• 迪，5。2.：VL 21“继承II"
  D类omain包含与上行链路语义、思想和原则
  (幻灯片（带注释），2个以上,6个以上,记录)
• 米，6岁。2.：VL 22“元建模"
  如何阅读UML标准文件
  (幻灯片（带注释），2个以上,6个以上,记录)
• 第12页。2.：教程7
  
• 米，13岁。2.：“总结+问题"
  (幻灯片（带注释），2个以上,6个以上,记录)

链接和文献

• 标准
  • 统一建模语言（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，Votintseva：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进行分析和设计。奥尔登堡Auflage，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网及其在建模任务中的使用。