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

第 25 卷第 1 期 .2ω8 年 1 月 微电子学与计算饥 39 基于扩展层次自动机的 UML 状态图完备性和一致性检验 刘晓建 1.2 ，李战怀 2 (1 山东省科学院自动化研究所，山东济南 25∞ 14; 2 西北工业大学计算机学院，陕西西安 71∞72) 摘要: UML 状态图是 UML 中重要的建模元素之一，用以描述软件系统的离散行为 。 完备性和一致性是 UML 状态图模型最重要的性质之-.是进-步验证模型行为正确性的前提。给出 7 状态图模型完备 性 和-款性的定 义，研究了对完备性和 - 致性进行检楼的方法 。 该方法首先把状态图模型变换成扩展层次自动机(日1A).然后对 EHA 进行分析。因-IA中间格式消除了状态围的复杂性.简化了冲突迁移的优先级判 刻 ，便于设计筒徒有效的算法 对完备性和一致性进行後验。该方法的主要优点是利用了 EHA 的特性，给出了组合状态上迁移的传撞事法，解决 了完备性和一致性分析的难点。 关.词 :UML 状态围;完备性.-敖性;扩展的层次自动机 申图分.号: 1刊 1 文献标识Q:A 文章编号: 1(削 -7180(2∞8)01- ∞39-06 Using EHS to Check Completeness and Consistency of UML Statemachines LIU Xiao-jianl 气 LI Zhan-huai2 (1 Institute of Aut0m8ti∞. shan缸18 Acaderny of 每ience ， jinan 25∞ 14. 。咀118; 2 School of 臼npu田. Nor由W宿t Pol只echni值I University. Xi阻 71∞η. 。咀118) Abstr回去 UML (Unifying Modeling l..a咆旧ge) i.s a de- facω 悦目对ard for tI四出边gn of syst由苗，回d has been widely 础。d to 取到fy 坦Iety-cri tical reactive oontrol s只. terns. In(X)l咀pletene国 and inoonsistency are r:wo oomrnon 等时ification fJa晴 in U扣住 State- m皿hines n