摘要
为解决由于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.
出处
《吉林大学学报（信息科学版）》
CAS
2011年第4期357-365,共9页
Journal of Jilin University（Information Science Edition）
基金
吉林省发改委高新技术基金资助项目(20106421)
