摘要:
为解决由于UML(Unified Modeling Language)缺少精准的语义表达,使其在系统建模过程中不能给出形式化的验证和分析的问题,提出了UML模型转Petri网模型的图文法,利用Petri网的分析验证技术,实现了对UML模型的正确性验证。在设计阶段即发现系统的缺陷,从而减少软件开发后期发现设计的错误而带来的损失,提高系统的正确性和安全性。实验表明了该转换算法的有效性。
中图分类号:
吴海, 孙永雄, 付庆兴, 徐佳琪. UML图转有色Petri网图文法[J]. J4, 2011, 29(4): 356-364.
TUN Hai, SUN Yong-Xiong, FU Qiang-Xin, XU Jia-Qi. Mapping UML Diagram to Colored Petri Net for Analysis and Verifcation[J]. J4, 2011, 29(4): 356-364.