UML图转有色Petri网图文法

摘要

为解决由于UML(Unified Modeling Language)缺少精准的语义表达,使其在系统建模过程中不能给出形式化的验证和分析的问题,提出了UML模型转Petri网模型的图文法,利用Petri网的分析验证技术,实现了对UML模型的正确性验证.在设计阶段即发现系统的缺陷,从而减少软件开发后期发现设计的错误而带来的损失,提高系统的正确性和安全性.实验表明了该转换算法的有效性.%To solve the problem that UML ( Unified Modeling Language ) cannot support formal verification and analysis because of lacking accurate semantic expressions. Here we transfer UML model into Colored Petri Net and do correctness verification to find the defect. Thus a lot of loss which comes out until the end of software development could be saved. The accuracy and security of system are improved. The result indicates that the efficiency of the algorithm has been improved to certain extent.