Research on UML Model Based on Object Colored Petri Net

WANG Hong-ying,ZHANG Gui-xu
DOI: https://doi.org/10.3969/j.issn.1673-629x.2007.04.050
2007-01-01
Abstract:UML is widely used in software modeling which has a problem on model checking.By using formal method to analyze and check UML models,the design problems can be found in early phase so as to improve the quality of UML models.To solve the problems of model checking of UML models,introduces a high-level Petri net called object colored Petri net which is not only a graphical modeling tool but also a kind of formal method.And by invoking event token,a method of transforming UML model to object colored Petri net is improved when mapping UML statechart diagrams and collaboration diagrams to object colored Petri net.Then analysis and verification of the model are illustrated to verify a series of properties.
What problem does this paper attempt to address?