A Study On Statecharts Modeling Framework Based On SMP2

To improve the capability of SMP2 on behavior modeling, we transform Statecharts models, which are widely used to represent the behavior of systems in the field of modeling and simulation, to SMP2 models, building a Statecharts modeling framework based on SMP2.What have been done in this paper can be summed up into the following four aspects:1) Building a metamodel of Statecharts for SMP2In this article, according to the metamodel of UML State Machines, we build a metamodel of Statecharts for SMP2 after studying some of its metamodels built by other researchers and its syntaxes and semantics.2) Designing a mechanism for mapping from the metamodel of Statecharts to that of SMP2After comparing the two different metamodels, we find out their corresponding parts from the aspects of elements, relationship and simulation respectively, and finally design a mechanism for mapping the metamodel of Statecharts to that of SMP2. Considering that Statecharts models can only descripe the behavior of systems and other information is always needed to be filled to get a full SMP2 model, we design the Statecharts Object Structure Model in the article, based on which Statecharts models have been transformed to SMP2 models with behavior models, generating documents including Catalogues which descripe the structure of the generated SMP2 model and XMLs which record the behavior.3) Putting forward a framework on how to make SMP2 models of Statecharts executableFor realizing automatical code generation, we build a sharing library called StateLib, which includes base classes of the entire states,pseudo states,transitions,generated SMP2 models, and event manager class,state manager class.4) Developing a tool for transformation from Statecharts models to SMP2 modelsIn this article, we build a tool called SMES, which is short for"Statecharts Modeling and Executing Studio", for Statecharts models editing, object structure models editing and C++ code generation.