Title :
The research of formalizing UML diagram based on HCPNs
Author_Institution :
Inst. of Inf. Eng., Inner Mongolia Univ. of Technol., Huhhot, China
Abstract :
For Unified Modeling Language (UML) is a semiformal language whose semantics is described mostly by natural language, it is difficult to analyze and verify the models by metric and qualitative means. Howerver, being a modeling tool based on mathematics, Coloured Petri Nets (CPNs) have rigorous formal semantics and analysis methods. Through transforming the given UML models to corresponding Petri Nets, analysis and verification of the system can be performed. Mainly for UML class diagram and activity diagram, this paper presents a method of how to transform UML diagram to CPNs, and uses an instance to explain.
Keywords :
Petri nets; Unified Modeling Language; formal verification; graph colouring; mathematics computing; natural language processing; UML class diagram formalization; Unified Modeling Language; activity diagram; coloured Petri nets; formal semantic analysis method; natural language; semiformal language; system verification; Analytical models; Color; Computational modeling; Mathematical model; Object oriented modeling; Petri nets; Unified modeling language; HCPNs; Object-Oriented; UML; class diagram; modeling;
Conference_Titel :
Software Engineering and Service Sciences (ICSESS), 2010 IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
978-1-4244-6054-0
DOI :
10.1109/ICSESS.2010.5552312
