UML2.0顺序图的一种有穷自动机模型

• 作者: 刘传会 张广泉 戎玫
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: UML2.0顺序图 UPPAAL 有穷自动机 时间自动机
• 年，卷（期）: 2008,（12）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 118-121,141
• 页数: 5页
• 分类号: TP311
• 字数: 4987字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2008.12.031

摘要

为了在软件开发早期阶段对UML2.0顺序图模型进行分析和验证,本文给出了UML2.0顺序图的一种有穷自动机模型.首先给出了顺序图在语法和语义上的形式化描述,然后提出了一种使有穷自动机来描述每个对象在顺序图描述的场景中所参与的事件序列的方法,并将该方法扩展到带有组合片段的UML2.0顺序图,最后分析了UML2.0顺序图中的时间建模机制,设计了从UML2.0顺序图中提取时间约束的算法.以上工作为使用模型检测工具UPPAAL对顺序图模型进行进一步的分析与验证奠定了基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张广泉	苏州大学计算机科学与技术学院	147	1056	16.0	25.0
2	戎玫	暨南大学深圳旅游学院	48	418	12.0	18.0
3	刘传会	苏州大学计算机科学与技术学院	2	26	2.0	2.0