UML状态图的检测算法生成

作者：王佳婧; 冯长宝; 佟鑫ha自动生成kripke自动生成检测规则算法实现

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社