QVT-Based SysML v2 Model Version Difference Transformation

In order to address the issue of model version incompatibility in supporting the implementation of Model-Based Systems Engineering (MBSE) with SysML v2, this paper first elucidates a feasible engineering modelling method based on the SysML v2 specification. Subsequently, leveraging model transformation concepts, a v2 model version conversion method based on the QVT Relations Language is proposed. Various potential compatibility scenarios and implementation paths are meticulously analysed. On this foundation, a design scheme for program modules ensuring version full transitivity is presented. Finally, the proposed methods and programs are validated through case studies involving version conversion under two different scenarios. The results indicate that the proposed approach effectively resolves SysML v2 model version compatibility issues arising from changes in syntax or semantic patterns.