UML图转有色Petri网图文法

J4 ›› 2011, Vol. 29 ›› Issue (4): 356-364.

UML图转有色Petri网图文法

吴海¹|孙永雄²|付庆兴²|徐佳琪²

1. 长春电信工程设计院股份有限公司|长春 130012；
2. 吉林大学计算机科学与技术学院|长春 130012

出版日期:2011-07-25 发布日期:2011-11-28
作者简介:吴海(1963—)|男|沈阳人|长春电信工程股份有限公司副总工程师|主要从事移动通信城域传送网技术、通信网络优化研究|（Tel）86-13943069708（E-mail）13943069708@139.com
基金资助:
吉林省发改委高新技术基金资助项目(20106421)

Mapping UML Diagram to Colored Petri Net for Analysis and Verifcation

WU Hai¹|SUN Yong-xiong²|FU Qing-xing²|XU Jia-qi²

1.Changchun Telecom Engineering Design Institute Company Limited,Changchun 130012, China；
2.College of Computer Science and Technology, Jilin University, Changchun 130012, China

Online:2011-07-25 Published:2011-11-28

摘要/Abstract

摘要：

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

关键词: 统一建模语言, Petri网, 形式化验证

Abstract:

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.

Key words: unified modeling language(UML), Petri net, formal semantics

中图分类号:

TP301

吴海, 孙永雄, 付庆兴, 徐佳琪. 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.

[1]	尹铁岩, 韩江霞, 李静波. 基于UML的高校选课系统优化分析[J]. 吉林大学学报(信息科学版), 2013, 31(4): 437-442.
[2]	郝尚富, 李英, 钱国栋. 基于UML的计算机组成原理虚拟实验系统[J]. J4, 2012, 30(6): 634-638.
[3]	王立君, 郭晓冬. 基于Petri网工作流过程模型合理性验证方法[J]. J4, 2011, 29(6): 590-594.
[4]	赵晓明,高宪军,梁广东. 基于HTPN战时通信装备维修保障系统建模[J]. J4, 2009, 27(04): 412-.
[5]	肖军\|邓海鸿\|高允锋\|周春贵\|刘雷. 基于Petri网的工作流建模及时间性能分析[J]. J4, 2009, 27(01): 104-.