| UML活动图到Petri网的转换方法及实现研究 |
| |
| 引用本文： | 赵俊峰,周建涛,邢冠男.UML活动图到Petri网的转换方法及实现研究[J].计算机科学,2014,41(7):143-147. |
| |
| 作者姓名： | 赵俊峰 周建涛 邢冠男 |
| |
| 作者单位： | 内蒙古大学计算机学院 呼和浩特010021;内蒙古大学计算机学院 呼和浩特010021;内蒙古大学计算机学院 呼和浩特010021 |
| |
| 基金项目： | 本文受国家自然科学基金资助 |
| |
| 摘 要： | 统一建模语言UML缺乏形式化语义,由其描述的模型难以进行动态的分析和验证。而Petri网在具有丰富而严格语义的同时,又有严谨的数学分析方法。综合运用Petri网和UML能够提高软件描述的全面性、一致性、精确性和完整性。研究了UML活动图向Petri网的转换规则,并依据转换规则实现了模型转换工具APConverter。此工具能有效地将活动图转换为Petri网模型并生成PNML文件,进而更好地对UML模型进行分析和验证。
|
| 关 键 词： | UML 活动图 Petri网 PNML 转换规则 |
| 收稿时间： | 4/8/2013 12:00:00 AM |
| 修稿时间： | 2013/5/27 0:00:00 |
Research of Translating UML Activity Diagram to Petri Net |
| |
| ZHAO Jun-feng,ZHOU Jian-tao and XING Guan-nan.Research of Translating UML Activity Diagram to Petri Net[J].Computer Science,2014,41(7):143-147. |
| |
| Authors: | ZHAO Jun-feng ZHOU Jian-tao and XING Guan-nan |
| |
| Affiliation: | College of Computer Science,Inner Mongolia University,Hohhot 010021,China;College of Computer Science,Inner Mongolia University,Hohhot 010021,China;College of Computer Science,Inner Mongolia University,Hohhot 010021,China |
| |
| Abstract: | |
| |
| Keywords: | UML Activity diagram Petri net PNML Transformation rule |
| 本文献已被 CNKI 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
