论文研究实时系统动态行为模型的一种形式分析方法.pdf

提出了一种基于统一建模语言UML2.0的实时系统动态行为模型的形式分析方法。首先给出了UML顺序图的形式化描述，分析了UML顺序图中事件之间的关系；在此基础上，给出一种对象自动机来描述每个对象在UML顺序图描述的场景中所参与的事件序列的方法，并将该方法扩展到带有组合片段的UML2.0顺序图；最后通过分析UML2.0顺序图中的时间建模机制，给出了从UML2.0顺序图中提取时间约束得到时间自动机的算法。