UML状态机的形式化语义研究

摘要

目前,很多机构和个人都在从事UML的形式语义研究,他们试图通过对UML的研究来对UML的未来产生影响.这些机构和个人所采用的方法主要是补充法和具有面向对象扩展的形式语言方法.这两种方法各具有优点,但是也存在不足.在补充法中所使用的形式化语言不具有面向对象的特征,不能很好地和当前实践相结合,而具有面向对象扩展的形式语言方法又不能直接对UML模型的语义进行形式化,影响了读者对UML模型形式化的理解.针对以上不足,作者将上述两种方法结合起来,提出了一种新的形式化状态机语义的方法,即首先对UML状态机的元模型的语法结构进行分析,然后通过具有面向对象特征的RAISE(Rigorous Approach to Industry SoftwareEngineering)的说明语言RSL(RAISE Specification Language)直接对UML状态机的操作语义进行形式化.其中在对语法结构分析这一部分中,作者通过提出一个状态层次结构对UML状态机的各种状态及其间的相互关系进行分析,然后依次对事件、转换的结构进行分析,最后对UML状态机的语法结构进行了总结性形式化描述.在对UML状态机的

目录

文摘

英文文摘

第一章前言

第二章UML

2.1UML的概貌

2.2UML的语言结构

第三章RAISE

第四章UML状态机的形式语义研究

4.1 UML状态机的抽象语法

4.1.1状态

4.1.2事件

4.1.3转换

4.1.4状态机

4.2对UML State Machine的操作语义进行形式化

4.2.1触发事件的产生

4.2.2转换的成立

4.2.3转换冲突

4.2.4转换优先权

4.2.5转换选择

4.2.6运行到完成

第五章实例

第六章结论及进一步的研究

参考文献

致谢