SysML static model conversion based on QVT-O

For the conversion from SysML (System Modeling Language) static model to dynamic model, the mapping between the two models is not direct or automated. A method to implement SysML static model conversion based on QVT-O (Query/Views/Transformation - Operational) is proposed. Extract necessary information from the BDD (Block Definition Diagram) of the SysML static model, and generate a sequence diagram corresponding to the dynamic model based on predefined rules and mapping between models. The effectiveness of this method is verified through a simple system. This automated conversion not only improves modeling efficiency, but also enhances the consistency and accuracy of the model, which has important practical value for system engineers in system design and analysis.