Please wait a minute...
New Technology of Library and Information Service  2004, Vol. 20 Issue (2): 37-41    DOI: 10.11925/infotech.1003-3513.2004.02.10
Current Issue | Archive | Adv Search |
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)
Export: BibTeX | EndNote (RIS)      

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.

Key wordsSoftware engineering      Model building      Colored Petri nets(CPN)      Objectoriented techniques      Unified modeling language      Object Petri net Model(OPM)     
Received: 02 August 2003      Published: 06 January 2004


Corresponding Authors: Zhu Xiaoxiao     E-mail: xiao
About author:: Zhu Xiaoxiao,Dong Luming

Cite this article:

Zhu Xiaoxiao,Dong Luming. Colored Petri Net Based Method  for the Validation of UML Pattern. New Technology of Library and Information Service, 2004, 20(2): 37-41.

URL:     OR

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

[1] Wang Hao . System Modeling of E-Government Based on Unified Modeling Language[J]. 现代图书情报技术, 2006, 1(7): 66-72.
[2] Wu Longji. Software Engineering Method of Making the Distributed Library Automation System for Third Generation[J]. 现代图书情报技术, 2002, 18(1): 20-24.
  Copyright © 2016 Data Analysis and Knowledge Discovery   Tel/Fax:(010)82626611-6626,82624938