| UML活动图到Petri网映射方法的研究与实现 |
| |
| 引用本文： | 王成军,王星星.UML活动图到Petri网映射方法的研究与实现[J].微计算机信息,2009,25(6). |
| |
| 作者姓名： | 王成军 王星星 |
| |
| 作者单位： | 西安建筑科技大学信息与控制工程学院,陕西西安,710055
|
| |
| 摘 要： | UML活动图缺乏精确的语义描述.难以对其正确性进行分析,而CPN模型有严格的数学定义和分析方法,可用于验证模型的正确性.基于CPN模型的这一特性.本文给出了一种UML活动图到CPN模型的映射方法.首先根据UML活动图模型的形式化描述,将活动图划分成子模块,利用提出的活动图基本结构到CPN模型的映射方法将子模块映射为CPN模型,最后组合为整个活动图的CPN模型,并用实例证明UML活动图能快速地映射为CPN模型.
|
| 关 键 词： | UML活动图 有色Petri网 建模 |
Research and Realization of Mapping Method UML Activity Diagram to Petri Nets |
| |
| WANG Cheng-jun,WANG Xing-xing.Research and Realization of Mapping Method UML Activity Diagram to Petri Nets[J].Control & Automation,2009,25(6). |
| |
| Authors: | WANG Cheng-jun WANG Xing-xing |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
