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

Using EHS to Check Completeness and Consistency of UML Statemachines

作　　者：刘晓建[1] 李战怀[2] 

机构地区：[1]山东省科学院自动化研究所,山东济南250014 [2]西北工业大学计算机学院,陕西西安710072

出　　处：《微电子学与计算机》2008年第1期39-44,共6页Microelectronics & Computer

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

摘　　要：UML状态图是UML中重要的建模元素之一,用以描述软件系统的离散行为。完备性和一致性是UML状态图模型最重要的性质之一,是进一步验证模型行为正确性的前提。给出了状态图模型完备性和一致性的定义,研究了对完备性和一致性进行检验的方法。该方法首先把状态图模型变换成扩展层次自动机(EHA),然后对EHA进行分析。EHA中间格式消除了状态图的复杂性,简化了冲突迁移的优先级判别,便于设计简捷有效的算法对完备性和一致性进行检验。该方法的主要优点是利用了EHA的特性,给出了组合状态上迁移的传播算法,解决了完备性和一致性分析的难点。UML （Unifying Modeling Language） is a de-facto standard for the design of systems, and has been widely used to specify safety-critical reactive control systems. Incompleteness and inconsistency are two common specification flaws in UML State-machines models. The early checking of these errors is crucial for system development. This paper gives the definitions of completeness and consistency, proposing an approach to cheeking the completeness and consistency. Our approach firstly transforms State-machines formalism into a clearer and equivalent intermediate format Extended Hierarchical Automata （EHA）, and then checks EHA model for these properties. The advantages of EHA allow us to develop an efficient and simple algorithm to check completeness and consistency.

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

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]