|
扩展功能
|
|
| 本文信息 | |
 |
Supporting info |
|
PDF(0KB) |
|
[HTML全文](KB) |
|
参考文献[PDF] |
|
参考文献 |
| 服务与反馈 | |
|
加入引用管理器 |
|
引用本文 |
|
Email Alert |
| 本文关键词相关文章 | |
 |
软件工程 |
|
建模 |
|
着色Petri网 |
|
面向对象技术 |
|
统一建模语言 |
|
对象Petri网模型 |
| 本文作者相关文章 | |
| PubMed | |
着色Petri网在UML建模中的应用
朱筱筱1 董路明2
1(中国科技大学计算机科学与技术系 合肥230027)
2(中兴通信南京研究所 南京 210012)
介绍了一种用着色Petri网分析和验证UML模型的方法。该方法把面向对象技术和Petri网理论相结合，构成一种面向对象的着色Petri网模型，简称OPM；并给出了它和UML模型之间相互转换的方法，使得验证分析复杂信息系统的动态行为特征成为可能，是一种具有数学和图形方式相结合的形式化描述。
Colored Petri Net Based Method for the Validation of UML Pattern
Zhu Xiaoxiao1 Dong Luming2
1(University of Science and Technology of China,Hefei 230027,China)
2(Nanjing Research and Development Centre,Zhongxing Telecom Equipment Corp.,Nanjing 210012,China)
An approach for validation of UML based system modeling by CPN(Colored Petri Net) is described. The Object Oriented Petri net is constructed by combining objectoriented techniques with Petri net theory. In this article,the author also bring out a set of methods on how to mapping UML diagram to ObjectOriented CPN.The modeling of the OO Petri net not only can reduce the complexity of the model, but also make the modeled system with reusability and easy maintainability.
N945.12
１蔡希尧,陈平.面向对象技术.西安：西安电子科技大学出版社，1995
２Lee Y K,Park S J.OPNets:an objectoriented highlevel Petri net model for realtime system modeling.J Systems Software,1993,20(1):69～86
３Kurt Jensen , Colored Petri nets,SpringVerlag,Berlin 1992
４Wendy Boggs, Michale Boggs,邱仲潘等译．UML with Rational Rose从入门到精通，电子工业出版社， 2000