Research And Implementation Of A Verification Tool For Executable Modelbased On SysML

Model Driven Development(MDD) can be applied to system engineering result from Systems Modeling Language(Sys ML) proposed. Because of the supporting of automatic code generation in Model Driven Development(MDD), the position of verification for target system in the entire development lift cycle can be set in the design stage of system. In the field of MDD, model can be divided into Platform Independent Model and Platform Specifical Model. The behavior of the system function can be previewed through the verification of Platform Independent Model(PIM) which leads to the risk-reduction of the project enforcing. In the field of system engineering, validation of platform independent model has the vital significance. Reasonable platform independent model can be organized into reusable components of high cohesion and low coupling, it improves the quality and efficiency of system engineering and greatly reduces time and cost of testing target system. Sys ML extends Unified Modeling Language(UML) and will be widely applied to MDD. However, Sys ML still keeps improving, in the case, it can’t meet the requirement of validation of platform independent model through using original Sys ML to build platform independent model simply. It suffers from a few reasons: On the one hand, Sys ML itself lacks the enforceability, On the other hand, there is still not an efficient Sys ML-based tool prototype supporting the design, analysis and verify for platform independent model. Aiming at these existing problems and needs, the paper carried out relevant research and practice. The main work is as follows:(1) It defines an executable platform independent model on the basis of Sys ML specification. Themodel has a distinct architecture supporting action specification language. Enforceablity is thepremise and foundation of platform independent model validation;(2) Design and realize the modeling tool prototype supporting executable Sys ML model. It can createand validate an executable platform independent model;(3) Implement the function of model verification on the basis of executable model and modeling toolprototype. The prototype system of the paper performs experimentation of a concrete model instance. The experimental results show the feasibility of verification of platform indepent model.