Transforming statecharts to SMP2 for simulation modelling of complex systems

Author

Ning Zhu ; Xiaobo Li ; Yonglin Lei ; Weiping Wang

Author_Institution

Inst. of Simulation Eng., Nat. Univ. of Defense Technol. Changsha, Changsha, China

fYear

2012

fDate

29-31 Dec. 2012

Firstpage

1267

Lastpage

1271

Abstract

Modelling and Simulation (M&S) is an important methodology in complex systems research. Complex simulation systems have been developed to study the dynamic behaviors and temporal interactions of complex systems to gain insights in many disciplines. SMP2 is a simulation model standard to promote model portability and reuse and has been successfully used in several applications of complex simulation systems development. However, SMP2 lacks of behavioral modelling capability. In this paper, we integrate Statecharts, a pervasive behavioral modelling formalism, into SMP2-based M&S framework to empower SMP2 for complex simulation system development. We discuss SMP2 metamodel and Statecharts metamodel, design the mapping rules of the metamodels, and implement a prototype tool to transform Statecharts models to SMP2.

Keywords

digital simulation; formal specification; M-and-S methodology; SMP2 metamodel; SMP2 simulation model; Statecharts; Statecharts metamodel; behavioral modelling capability; complex simulation systems development; complex systems research; metamodels mapping rules; model portability; model reuse; modelling-and-simulation methodology; pervasive behavioral modelling formalism; simulation modelling; Metamodel Mapping; Model Transformation; Simulation Model Portability Standards 2 (SMP2); Statecharts;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Science and Network Technology (ICCSNT), 2012 2nd International Conference on

Conference_Location

Changchun

Print_ISBN

978-1-4673-2963-7

Type

conf

DOI

10.1109/ICCSNT.2012.6526154

Filename

6526154