| SMP is a simulation model standard based on Model Driven Architecture posed by European Space Agency,aiming at promoting the portability of simulation models.Model design plays a key role in the development of simulation applications.The implementation of model constraints can enhance the accuracy and semantic completeness of models,and reduce semantic ambiguity problem.To address the remaining issues of formalized specification and implementation of several semantics within the SMP Metamodel and SMP based PSM(platform specific model),a SMP model constraints design method based on EMF and OCL is put forward.The main contents of this paper include the specification of SMP meta-model and model constraints,the RCP application supporting constraints validation of SMP metamodel semantics,the Methods and tools supporting constraint definition of PSM,the code generation mechanism of model constraint based on FreeMarker.Contributions of this dissertation include:(1)The analysis of shortcomings of SMP metamodel semantic presence,and the implementation of formalized definition of SMP metamodel static semantics using OCL(Object Constraint Language).(2)The EMF Ecore metamodels of SMP metamodels are created based on EMF.The Complete OCL is ultilized in the SMP metamodeling of constraints,besides a tool named OCLModeling is created for the extensiblity OCL constraints modeling.(3)An RCP application used to develop the SMP model is created based of the EMF code generation mechanism,which facilitates the constraints validation of SMP metamodels.Meanwhile,the SMP metamodel is extended for the definition of SMP PSM constraints by adding a “Constraint” element onto the elements package.(4)A SMP Catalogue is designed for a defense-attack simulation system based on the extended SMP2 Editor,and certain domain-specific model constraints are designed and attached onto the Catalogue document.Finally the C++ codes of models and model constraints are generated based on the FreeMarker template engine. |
PDF Full Text Request