Title :
Formal modelling and validation for software process based on CPN
Author_Institution :
Inst. of Inf. Eng., Inner Mongolia Univ. of Technol., Huhhot, China
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;
Conference_Titel :
Software Engineering and Service Science (ICSESS), 2012 IEEE 3rd International Conference on
Conference_Location :
Beijing
Print_ISBN :
978-1-4673-2007-8
DOI :
10.1109/ICSESS.2012.6269412
