文件名称：UML图转有色Petri网图文法 (2011年)
文件大小：788KB
文件格式：PDF
更新时间：2024-06-03 08:45:03
工程技术 论文
为解决由于UML(Unified Modeling Language)缺少精准的语义表达,使其在系统建模过程中不能给出形式化的验证和分析的问题,提出了uML模型转Petri网模型的图文法,利用Petri网的分析验证技术,实现了对uML模型的正确性验证。在设计阶段即发现系统的缺陷,从而减少软件开发后期发现设计的错误而带来的损失,提高系统的正确性和安全性。实验表明了该转换算法的有效性。