The research of formalizing UML diagram based on HCPNs

Author

Baojun, Tian

Author_Institution

Inst. of Inf. Eng., Inner Mongolia Univ. of Technol., Huhhot, China

fYear

2010

Firstpage

523

Lastpage

526

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering and Service Sciences (ICSESS), 2010 IEEE International Conference on

Conference_Location

Beijing

Print_ISBN

978-1-4244-6054-0

Type

conf

DOI

10.1109/ICSESS.2010.5552312

Filename

5552312