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