UML状态图的检测算法生成

作     者：王佳婧 冯长宝 佟鑫 

作者机构：吉林动画学院吉林省长春市130012 

出 版 物：《电子技术与软件工程》 (ELECTRONIC TECHNOLOGY & SOFTWARE ENGINEERING)

年 卷 期：2017年第19期

页      码：129-130页

摘      要：在软件系统设计中,经常应用UML状态图对系统行为进行完整建模,其正确性尤为重要。在其他文献中虽然已提出基于HA和EMC的检测规则,但是并未给出具体算法。因此根据算法生成的关键问题主要探讨:基于状态图HA的自动生成及存储、基于HA的Kripke自动生成、以及基于Kripke结构和EMC检测规则的算法实现。

主 题 词：HA自动生成 Kripke自动生成 检测规则算法实现 

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

馆 藏 号：203268220...