扩展UML用于实时系统建模

摘要

本文的主要工作就是把Esterel和UML的状态图以及顺序图结合的方式来扩展UML，用Esterel程序实现状态图和顺序图。并且对实现状态图和顺序图的Esterel程序通过工具进行了模拟，以证实用Esterel程序可以来替代UML中的状态图以及顺序图来对系统的行为方面作描述。 首先，讨论了实时系统的一些概念以及其建模的基本要求，以及常用的CASE工具。然后，讨论了统一建模语言UML的特点及其扩展机制。最后，把形式化语言Esterel和UML的状态图以及顺序图结合的方式来扩展UML，用Esterel程序实现状态图和顺序图，并且对实现状态图和顺序图的Esterel程序通过工具进行了模拟，以证实用Esterel程序可以来替代UML中的状态图以及顺序图来对系统的行为方面作描述。

目录

文摘

英文文摘

第一章绪论

1.1本文的主要研究内容及创新之处

1.1.1主要研究内容

1.1.2创新之处

1.2论文选题的意义

1.3国内外研究现状

1.4本文的章节安排

第二章实时系统

2.1实时系统概念

2.2实时系统的建模

2.3实时系统建模的CASE工具

第三章统一建模语言UML

3.1 UML简史及应用领域

3.2 UML的基本特点

3.3 UML的扩展机制

3.3.1约束

3.3.2标记值

3.3.3构造型

3.4 UML2.0的新特征

3.4.1框架集

3.4.2结构建模

3.4.3行为建模

3.4.4 UML2.0建模实例

3.4.5 UML2.0实时依赖的缺点

第四章同步命令式语言Esterel

4.1转换，交互和反应系统

4.2 Esterel的应用领域

4.3确定性和非确定性

4.4 Esterel编程风格

4.4.1 Esterel中的信号和传感器

4.4.2 Esterel中常用的语句

4.4.3单纯信号处理：ABRO例子

4.4.4带值信号：SPEED例子

4.4.5带值信号和变量

4.4.6弱和立即中止

4.4.7运用子模块

4.4.8多种形式的时间

4.4.9例外捕获和处理

第五章建模实例

5.1 UML中的状态图

5.1.1状态

5.1.2转换

5.2 Esterel与状态图的结合

5.3空调机例子

5.3.1扩展UML建模

5.3.2实现状态图的Esterel程序及程序模拟

5.3.3程序的模拟

5.4 UML中的顺序图

5.4.1交互

5.4.2顺序图

5.4.3 Esterel与顺序图的结合

5.5数字录音机例子

结束语

参考文献

攻读学位期间发表的学术论文

独创性声明

致谢