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

作     者：刘晓建 李战怀 LIU Xiao-jian;LI Zhan-huai

作者机构：山东省科学院自动化研究所山东济南250014 西北工业大学计算机学院陕西西安710072 

基　　金：国家自然科学重点基金项目(60736017/F0202) 国家自然科学基金项目(60573096) 

出 版 物：《微电子学与计算机》 (Microelectronics & Computer)

年 卷 期：2008年第25卷第1期

页      码：39-44页

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

主 题 词：UML状态图 完备性 一致性 扩展的层次自动机 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.19304/j.cnki.issn1000-7180.2008.01.009

馆 藏 号：203419238...