DocumentCode
2979722
Title
Formal modelling and validation for software process based on CPN
Author
Baojun, Tian
Author_Institution
Inst. of Inf. Eng., Inner Mongolia Univ. of Technol., Huhhot, China
fYear
2012
fDate
22-24 June 2012
Firstpage
89
Lastpage
92
Abstract
Currently, many modelling methods for software process are semiformal. It is difficult to analyze semantics and verify correctness for a key system. Coloured Petri Net (CPN) based on mathematics is an executable model, which has rigorous formal semantics and analysis methods. This paper presents a method of formal modelling and validation for software process that transforms UML model based on RUP to CPN and uses simulation to investigate the behaviour of modelled system.
Keywords
Petri nets; Unified Modeling Language; formal verification; programming language semantics; CPN; RUP; UML model; coloured Petri net; formal modelling; formal semantics; formal validation; semantics analysis method; software process; Analytical models; Unified modeling language; CPN; RUP; formal; modelling; simulation;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering and Service Science (ICSESS), 2012 IEEE 3rd International Conference on
Conference_Location
Beijing
Print_ISBN
978-1-4673-2007-8
Type
conf
DOI
10.1109/ICSESS.2012.6269412
Filename
6269412
Link To Document