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

• 作者: 戎玫
• 来源期刊: 计算机应用研究
• 关键词: 实时系统 动态行为模型 时间约束 统一建模语言UML2.0 对象自动机
• 年，卷（期）: 2009,（9）
• 所属期刊栏目: 软件技术研究
• 页码范围: 3365-3368
• 页数: 4页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2009.09.046

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	戎玫	暨南大学深圳旅游学院	48	418	12.0	18.0