基于扩展层次自动机的UML状态图完备性和一致性检验

• 作者: 刘晓建 李战怀
• 来源期刊: 微电子学与计算机
• 关键词: UML状态图 完备性 一致性 扩展的层次自动机
• 年，卷（期）: 2008,（1）
• 页码范围: 39-44
• 页数: 6页
• 分类号: TP31
• 语种: 中文

摘要

UML状态图是UML中重要的建模元素之一,用以描述软件系统的离散行为.完备性和一致性是UML状态图模型最重要的性质之一,是进一步验证模型行为正确性的前提.给出了状态图模型完备性和一致性的定义,研究了对完备性和一致性进行检验的方法.该方法首先把状态图模型变换成扩展层次自动机(EHA),然后对EHA进行分析.EHA中间格式消除了状态图的复杂性,简化了冲突迁移的优先级判别,便于设计简捷有效的算法对完备性和一致性进行检验.该方法的主要优点是利用了EHA的特性,给出了组合状态上迁移的传播算法,解决了完备性和一致性分析的难点.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李战怀	西北工业大学计算机学院	254	2139	21.0	35.0
2	刘晓建	山东省科学院自动化研究所	4	30	3.0	4.0