A Model Transformation Method Based on Simulink/Stateflow for Validation of UML Statechart Diagram

Abstract

A model extraction and transformation method based on state refinement and semantic mapping is proposed to address the challenges of modeling difficulty and resource consumption in the symbol verification process of software requirement modeling. Considering the characteristics of UML state diagrams, a semantic extraction approach from the statechart diagram to the validation model is proposed in this paper. The mapping of various elements from the state diagram to the validation model was defined in a rule-based manner, composite states were refined to reduce the hierarchical structure, and the effectiveness of the mapping was evaluated. Then, a semantic algorithm based on mapping rules was designed, and model transformation was achieved through a specific feedback process for railway turnout control. Finally, the protocol was detected using the NuSMV validation tool, and faults were injected to validate the transformed validation model. The results indicate that the algorithm has good accuracy and practicality.