UML图转有色Petri网图文法

• 作者: 付庆兴 吴海 孙永雄 徐佳琪
• 来源期刊: 吉林大学学报（信息科学版）
• 学科: 工学
• 关键词: 统一建模语言 Petri网 形式化验证
• 年，卷（期）: 2011,（4）
• 所属期刊栏目: 计算机科学与技术
• 页码范围: 357-365
• 分类号: TP301
• 字数: 5970字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-5896.2011.04.012

摘要

为解决由于UML(Unified Modeling Language)缺少精准的语义表达,使其在系统建模过程中不能给出形式化的验证和分析的问题,提出了UML模型转Petri网模型的图文法,利用Petri网的分析验证技术,实现了对UML模型的正确性验证.在设计阶段即发现系统的缺陷,从而减少软件开发后期发现设计的错误而带来的损失,提高系统的正确性和安全性.实验表明了该转换算法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙永雄	吉林大学计算机科学与技术学院	15	68	5.0	8.0
2	付庆兴	吉林大学计算机科学与技术学院	5	33	3.0	5.0
3	吴海		3	6	1.0	2.0
4	徐佳琪	吉林大学计算机科学与技术学院	1	5	1.0	1.0