摘要
提出了一种基于统一建模语言UML 2.0的实时系统动态行为模型的形式分析方法。首先给出了UML顺序图的形式化描述,分析了UML顺序图中事件之间的关系;在此基础上,给出一种对象自动机来描述每个对象在UML顺序图描述的场景中所参与的事件序列的方法,并将该方法扩展到带有组合片段的UML 2.0顺序图;最后通过分析UML 2.0顺序图中的时间建模机制,给出了从UML 2.0顺序图中提取时间约束得到时间自动机的算法。
This paper introduced a formal analysis for dynamic behavioral models of real-time systems based on unified modeling languages （UML 2.0）. Firstly, presented the formal specification of UML sequence diagrams, and studied the relationship between the events in the sequence diagram, after that introduced an automata to describe the events that every object partici- pated in the scenario that the sequence diagram depicts. Then extended the automata to describe the UML 2.0 sequence diagram that contains combined fragment. Finally, analyzed the time modeling mechanism in UML 2.0 sequence diagram, after that introduced an algorithm to extract the timing constraints from UML 2.0 sequence diagram and translated the object automata which got in the last step into timed automata.
出处
《计算机应用研究》
CSCD
北大核心
2009年第9期3365-3368,共4页
Application Research of Computers
基金
江苏省高校自然科学基金资助项目(08KJB520010
05KJB520119)
重庆市自然科学基金资助项目(2006BB2259)
