公共文化服务平台

共 1 条记录，以下是 1-1

全选清除导出

排序方式：

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

全选清除导出

共1页<1>

国家自然科学基金(60736017F0202)