UML顺序图的自动验证

• 作者: 王璐珍 董威 陈火旺
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: UML 顺序图 模型检验 SPIN XML
• 年，卷（期）: 2003,（29）
• 所属期刊栏目: 学术探讨
• 页码范围: 80-83
• 页数: 4页
• 分类号: TP311.5
• 字数: 2810字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2003.29.025

摘要

UML顺序图反映了系统中并发对象之间的消息交互及顺序,在软件建模中占有重要地位.该文对UML顺序图模型的自动验证方法进行了研究,在把UML顺序图转换为Promela语言后,使用模型检验器SPIN来验证系统设计模型是否满足某些关键性质需求.为了加强该方法的适用性,采用可扩展的标记语言XML文件格式定义顺序图模型的外部表示形式,该表示方法遵从0MG的XMI标准,从而使验证过程适用于不同的UML建模环境.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈火旺	国防科技大学计算机学院	56	1155	18.0	33.0
2	董威	国防科技大学计算机学院	25	165	6.0	12.0
3	王璐珍	国防科技大学计算机学院	1	34	1.0	1.0