Research On Formalization Of Systems Modeling Language Based On RCOS

The Systems Modeling Language (SysML) is a general-purpose graphical modeling language, which is a subset of UML 2.0. Now, SysML becomes the standard in systems engineering domain, but the semantics of SysML is also informal. These informal semantics of language make it difficult for SysML model's reasoning. One way is to use some well-defined Object-oriented formal specification to define SysML metamodels exactly.The majority of the works on formalization support to UML-based development has also existed, but, to our knowledge, there is little work on consistent refinement of SysML models. Therefore the work is very theoretically meaningful and useful in the computer science and software engineering areas.In this paper we try to use rCOS to define SysML metamodels and present a predicative semantic model for integrating models from SysML block definition diagrams and sequence diagrams based on consistency between them. In order to make this work more formal, we first give the semantic models of SysML metamodels, which mainly include the block definition diagrams and sequence diagrams. Then, any verification of SysML models can take place on their corresponding rCOS specifications using reasoning techniques provided by rCOS. With this approach, we provide not only a precise semantic basis for SysML metamodels but also solve the problem of consistency, i.e. the compatibility between syntactic models and semantic models. It paves the way for the model transformation and model refinement.