|
|||||
|
|
| UML图转有色Petri网图文法 | |
| 引用本文： | 吴海,孙永雄,付庆兴,徐佳琪. UML图转有色Petri网图文法[J]. 吉林大学学报(信息科学版), 2011, 29(4): 356-364 |
| 作者姓名： | 吴海 孙永雄 付庆兴 徐佳琪 |
| 作者单位： | 1. 长春电信工程设计院股份有限公司,长春 130012； 2. 吉林大学 计算机科学与技术学院,长春 130012 |
| 基金项目： | 吉林省发改委高新技术基金资助项目(20106421) |
| 摘 要： | 为解决由于UML(Unified Modeling Language)缺少精准的语义表达,使其在系统建模过程中不能给出形式化的验证和分析的问题,提出了UML模型转Petri网模型的图文法,利用Petri网的分析验证技术,实现了对UML模型的正确性验证.在设计阶段即发现系统的缺陷,从而减少软件开发后期发现设计的错误而带来... |
| 关 键 词： | 统一建模语言 Petri网 形式化验证 |
Mapping UML Diagram to Colored Petri Net for Analysis and Verifcation |
|
| WU Hai,SUN Yong-xiong,FU Qing-xing,XU Jia-qi. Mapping UML Diagram to Colored Petri Net for Analysis and Verifcation[J]. Journal of Jilin University:Information Sci Ed, 2011, 29(4): 356-364 | |
| Authors: | WU Hai SUN Yong-xiong FU Qing-xing XU Jia-qi |
| Affiliation: | 1.Changchun Telecom Engineering Design Institute Company Limited,Changchun 130012, China； 2.College of Computer Science and Technology, Jilin University, Changchun 130012, China |
| 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. |
| Keywords: | unified modeling language(UML) Petri net formal semantics |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
| 点击此处可从《吉林大学学报(信息科学版)》浏览原始摘要信息 | |
| 点击此处可从《吉林大学学报(信息科学版)》下载全文 | |