UML顺序图与状态图的一致性检查

• 作者: 窦万峰 陈卉
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 统一建模语言 模型检验 有限状态自动机
• 年，卷（期）: 2008,（18）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 62-64
• 页数: 3页
• 分类号: TN911.73
• 字数: 4289字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2008.18.022

摘要

用户可使用UML从不同角度对系统进行建模,但不同视图间存在信息冗余,可能导致视图不一致问题.该文针对具有多种逻辑语义的顺序图提出分析方法,为复杂层次结构的状态图引入有限状态自动机,利用自动机分解算法得到自动机树.制定新的顺序图和状态图一致性检查准则和Promela代码结构,用模型检验工具SPIN进行顺序图及其相关状态图的一致性检验.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	窦万峰	南京师范大学虚拟地理环境教育部重点实验室	60	293	9.0	14.0
2	陈卉	南京师范大学数学与计算机科学学院	2	24	1.0	2.0