实时系统动态行为模型的一种形式分析方法

摘要：

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

关键词：实时系统、动态行为模型、时间约束、统一建模语言UML2.0、对象自动机

所属期刊栏目：26

分类号：TP311(计算技术、计算机技术)

资助基金：江苏省高校自然科学基金资助项目08KJB520010,05KJB520119;重庆市自然科学基金资助项目2006BB2259

在线出版日期：2009-11-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：3365-3368