论文部分内容阅读
统一建模语言（UML）中的状态图用于描述类的对象所有可能的状态及事件发生时状态的转移条件，从而进行系统动态分析。针对现有关于UML状态图形式化语义研究中存在的不足，该文提出基于统一程序设计理论的对象精化演算系统，用于描述UML状态图的形式化语义，给出与类图、序列图的一致性检验，为模型驱动开发提供了可行性。