UML时间顺序图的自动验证技术

• 作者: 唐文彬 陆慧娟 陈建国 陈江
• 来源期刊: 中国计量学院学报
• 学科: 工学
• 关键词: UML时间顺序图 自动验证 系统建模
• 年，卷（期）: 2010,（2）
• 页码范围: 124-129
• 分类号: TP18
• 字数: 2862字
• 语种: 中文
• DOI: 10.3969/j.issn.1004-1540.2010.02.008

摘要

UML顺序图反映对象之间的消息交互顺序,在系统建模中应用十分广泛.对顺序图进行时间扩展得到UML时间顺序图,使其具备对实时系统建模的能力.在此基础上研究了UML建模工具和模型验证工具UPPAAL的接口信息,将UML时间顺序图模型转化为时间自动机模型,并对该系统模型进行形式化验证.设计和实现了基于XML的UML时间顺序图自动验证工具.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陆慧娟	中国计量学院信息工程学院	101	716	13.0	20.0
2	唐文彬	中国计量学院信息工程学院	4	17	2.0	4.0
3	陈建国	中国计量学院信息工程学院	6	26	3.0	4.0
4	陈江	中国计量学院信息工程学院	4	14	2.0	3.0