|
|
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) |
|
|
Abstract 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.
|
Received: 02 August 2003
Published: 06 January 2004
|
|
Corresponding Authors:
Zhu Xiaoxiao
E-mail: xiao xiaozhu-818@hotmal.com
|
About author:: Zhu Xiaoxiao,Dong Luming |
1蔡希尧,陈平.面向对象技术.西安:西安电子科技大学出版社,1995
2Lee Y K,Park S J.OPNets:an objectoriented highlevel Petri net model for realtime system modeling.J Systems Software,1993,20(1):69~86
3Kurt Jensen , Colored Petri nets,SpringVerlag,Berlin 1992
4Wendy Boggs, Michale Boggs,邱仲潘等译.UML with Rational Rose从入门到精通,电子工业出版社, 2000 |
|
Viewed |
|
|
|
Full text
|
|
|
|
|
Abstract
|
|
|
|
|
Cited |
|
|
|
|
|
Shared |
|
|
|
|
|
Discussed |
|
|
|
|