SysML static model conversion system based on QVT-O

Abstract

The invention discloses a QVT-O-based SysML static model conversion system, relates to the technical field of software development, and solves the technical problem that efficient and automatic conversion from a SysML static model to a dynamic model cannot be realized in the prior art. The system comprises an information extraction module which is used for analyzing and extracting necessary information from an obtained SysML static model, wherein the necessary information comprises the action and relation of key attributes in system dynamic behaviors; the rule definition module is used for defining a conversion rule based on QVT-O according to the necessary information, and determining a corresponding relation between elements in a static model of SysML and elements of a time sequence diagram in a dynamic model; the execution module is used for automatically converting the SysML static model into a dynamic model according to a conversion rule, and the dynamic model is expressed as a time sequence diagram; the effect verification module is used for verifying the consistency of the static model and the dynamic model; through automatic conversion and accurate dynamic model generation, the system development period can be remarkably shortened, repeated work is reduced, and the subsequent system maintenance and updating process is simplified.

Description

Technical Field

[0001] The present invention relates to the technical field of software development, and in particular to a SysML static model conversion system based on QVT-O. Background Art

[0002] SysML is a general-purpose modeling language used to describe complex systems. Its static model usually uses Block Definition Diagrams (BDDs) to represent the structure and components of the system. However, in actual system development, it is crucial to understand the dynamic behavior and interaction of the system, which is usually described in a sequence diagram.

[0003] Currently, the conversion from SysML static models to dynamic models and the mapping between the two models are not direct or automated. System modeling mainly relies on the individual ability level of engineers, which not only has low modeling efficiency, but also cannot avoid model errors and inconsistencies caused by human errors.

[0004] QVT (Query / View / Transformation) is a standard for model transformation, which defines a formal language for describing transformation rules between models. QVT Operation Language (QVT-O) is part of the QVT standard and supports model transformation between models. QVT-O provides a standardized method to define the transformation process between models, allowing the automatic transformation of one model to another based on the rules of model elements.

[0005] When processing SysML model conversion, QVT-O may face more complex syntax and expression difficulties, debugging and verification challenges, and performance optimization difficulties compared to ATL. However, QVT-O also has its unique flexibility and powerful operational conversion capabilities, which is suitable for scenarios that require precise control of the conversion process. Summary of the invention

[0006] In order to solve the above problems existing in the prior art, the present invention provides a SysML static model conversion system based on QVT-O, which solves the technical problem that the prior art cannot achieve efficient and automatic conversion from SysML static model to dynamic model.

[0007] A SysML static model conversion system based on QVT-O, comprising an information extraction module, a rule definition module, an execution module and an effect verification module;

[0008] The information extraction module is used to analyze and extract necessary information from the acquired SysML static model, wherein the necessary information includes the role and relationship of key attributes in the dynamic behavior of the system, and the key attributes include modules, interfaces, and connections;

[0009] The rule definition module is used to define conversion rules based on QVT-O according to necessary information, and to clarify the correspondence between each element in the static model of SysML and each timing diagram element in the dynamic model;

[0010] The execution module is used to automatically convert the SysML static model into a dynamic model according to the conversion rule, and the dynamic model is represented as a timing diagram;

[0011] The effect verification module is used to verify the consistency of the static model and the dynamic model, including the correctness of the interaction mode, message transmission and timing. If there are any problems in the verification, they will be fed back to the rule definition module.

[0012] Furthermore, the conversion rules include message mapping, interaction logic and debugging rules.

[0013] Furthermore, the message mapping defines how interfaces and connections are converted into information in the timing diagram, analyzes the type of interface and the direction of connection, and constructs the message sequence.

[0014] The interaction logic is written in detail according to the connection relationship and module functions in the module definition diagram to ensure that the order and direction of the messages in the timing diagram are correct;

[0015] The debugging rules are to debug and optimize the existing conversion rules according to the problems fed back by the effect verification module to handle model conversion in complex or special situations.

[0016] Furthermore, the transformation rules use explicit conditions and mapping relationships to ensure fine-grained control over model elements.

[0017] Furthermore, the verification includes manual verification and automatic verification. The manual verification includes carefully checking the timing diagram to verify whether it accurately reflects the dynamic behavior of the corresponding system and checking whether the order, direction of messages and the interaction between participants meet the system requirements; the automatic verification includes checking the consistency and correctness of the timing diagram by using eclipse validity check.

[0018] Furthermore, if the effect verification module finds problems during the verification process, it will feedback to the rule definition module. The rule definition module adjusts the conversion rules according to the feedback content and sends them to the execution module. The execution module re-executes the model conversion, generates a dynamic model for the second time and sends it to the effect verification module. If problems are found during the verification process, the aforementioned content is repeated. If the verification is correct, the corresponding dynamic model is output. The problems include message loss and participant errors.

[0019] Furthermore, the SysML static model represents the structure and components of the system with a module definition diagram.

[0020] Furthermore, it also includes a model construction module, which is used to create and maintain a SysML static model according to the composition, function and interaction requirements of the system, and input the SysML static model into the information extraction module.

[0021] The beneficial effects of the present invention include:

[0022] (1) Efficiency and accuracy: The use of QVT-O language can greatly improve the automation of the conversion process, thereby significantly improving the efficiency and accuracy of the conversion. QVT-O can ensure the rigor and consistency of the conversion rules.

[0023] (2) Preserving semantic and structural consistency: By defining precise transformation rules, this method can preserve the semantic and structural features in the SysML static model and effectively map these features to the generated dynamic model, helping to ensure that the dynamic model can accurately reflect the actual behavior and interaction patterns of the system.

[0024] (3) Enhanced system understanding and analysis capabilities: The generated timing diagrams more intuitively display the dynamic behavior and interaction process of the system, enabling system designers and analysts to more clearly understand and analyze the operation mode and characteristics of the system.

[0025] (4) Improve development and maintenance efficiency: Through automated conversion and accurate dynamic model generation, the system development cycle can be significantly shortened, duplication of work can be reduced, and subsequent system maintenance and update processes can be simplified.

[0026] (5) Compared with using ATL to implement the conversion from requirement diagram to use case diagram and then to sequence diagram, directly using QVT-O to implement the conversion from requirement diagram to sequence diagram has several significant advantages: A. Directness and simplicity: QVT-O can define the conversion rules directly on the requirement diagram model, avoiding the introduction and conversion steps of intermediate models, so it is more direct and concise. B. Reduce information loss: Without the conversion of intermediate models, the possibility of information loss can be reduced, and more semantics and structure of the original model can be retained. C. Performance: QVT-O is usually better than ATL in execution efficiency, especially when dealing with large and complex models, it can provide better performance and response speed. In summary, QVT-O can provide a more direct, efficient and fidelity model conversion solution in the process of directly converting from SysML requirement diagram to sequence diagram, which is more suitable for scenarios with high requirements for model accuracy. BRIEF DESCRIPTION OF THE DRAWINGS

[0027] Figure 1 This is a workflow diagram of a SysML static model conversion system based on QVT-O.

[0028] Figure 2 This is the module definition diagram of the SysML static model before conversion.

[0029] Figure 3 Configure information for the Model Translator.

[0030] Figure 4 It is the timing diagram of the converted dynamic model. DETAILED DESCRIPTION

[0031] In order to make the purpose, technical scheme and advantages of the embodiments of the present application clearer, the technical scheme in the embodiments of the present application will be clearly and completely described below in conjunction with the drawings in the embodiments of the present application. Obviously, the described embodiments are only part of the embodiments of the present application, rather than all of the embodiments. Therefore, the following detailed description of the embodiments of the present application provided in the drawings is not intended to limit the scope of the application for protection, but merely represents the selected embodiments of the present application. Based on the embodiments of the present application, all other embodiments obtained by those skilled in the art without making creative work belong to the scope of protection of the present application.

[0032] A SysML static model transformation system based on QVT-O, such as Figure 1 As shown, it includes an information extraction module, a rule definition module, an execution module and an effect verification module;

[0033] The information extraction module is used to analyze and extract necessary information from the acquired SysML static model, wherein the necessary information includes the role and relationship of key attributes in the dynamic behavior of the system, and the key attributes include modules, interfaces, and connections;

[0034] Sequence diagrams are often used to describe the dynamic behavior of a system in detail, which is supported and implemented by the static structure defined in the static model. First, import or draw the SysML static model according to the requirements and analyze and extract the necessary information from it. This information includes the role and relationship of modules, interfaces, connections, etc. in the dynamic behavior of the system. Understand the connection relationship and dependency relationship between the components defined in the SysML static model, which will serve as the basis for message passing and interaction in the sequence diagram.

[0035] The rule definition module is used to define conversion rules based on QVT-O according to necessary information, and to clarify the correspondence between each element in the static model of SysML and each timing diagram element in the dynamic model;

[0036] Use QVT-O language to define transformation rules: clarify how static model elements are mapped to timing diagram elements in the dynamic model. Based on these relationships, manually write code rules. These rules are based on the semantics and structure of QVT-O language and SysML model, and specify the logic and association between transformations. For example:

[0037] A. Define the participants and messages in the sequence diagram extracted from BDDs.

[0038] B. Specify how interfaces and connections are represented and interact in sequence diagrams.

[0039] The execution module is used to automatically convert the SysML static model into a dynamic model according to the conversion rule, and the dynamic model is represented as a timing diagram;

[0040] The specific conversion process is as follows Figure 3 As shown in the figure, load the SysML static model and the defined QVT-O conversion rules in the QVT-O conversion tool. Configure the conversion parameters and options, such as output format, error handling, etc. Execute the conversion: trigger the conversion process and let the tool automatically convert the static model into a dynamic model according to the defined rules. View the conversion results: view the generated sequence diagram. Observe and check whether the participants, messages, and interactions in the sequence diagram are as expected.

[0041] The model conversion process is automatically performed according to the defined QVT-O conversion rules. This step can be achieved using tools that support the QVT-O standard or a custom-developed conversion engine.

[0042] The effect verification module is used to verify the consistency of the static model and the dynamic model, including the correctness of the interaction mode, message transmission and timing. If there is a problem in the verification, it will be fed back to the rule definition module. If a problem is found, the rule code corresponding to the specific problem part can be returned to adjust the code and re-execute the conversion.

[0043] In another embodiment, the SysML static model uses a module definition diagram to represent the structure and components of the system, and constructs BDDs using a simple smart home system, such as Figure 2 shown.

[0044] In another embodiment, the conversion rules include message mapping, interaction logic and debugging rules.

[0045] Create a new transformation project, define the basic transformation rule framework, write transformation rules, and actor mapping. Define the actors that map from SysML modules to sequence diagrams. Treat each module as a participant and document its properties and roles.

[0046] In another embodiment, the message mapping defines how interfaces and connections are converted into information in a sequence diagram, analyzes the type of interface and the direction of connection, and constructs a message sequence;

[0047] The interaction logic is written in detail according to the connection relationship and module functions in the module definition diagram to ensure that the order and direction of the messages in the timing diagram are correct;

[0048] The debugging rules are to debug and optimize the existing conversion rules according to the problems fed back by the effect verification module to handle model conversion in complex or special situations.

[0049] During the conversion process, the elements of the static model are mapped to the corresponding elements in the timing diagram. The following pseudo code describes the corresponding conversion relationship between the elements, which is put into the model layer to implement the conversion process from BBDs to timing diagrams:

[0050] modu le SysMLToSequenceDiagram

[0051] imports SysML;

[0052] / / Define mapping rules to convert Block in SysML to SequenceDiagram

[0053]

[0054] In another embodiment, the transformation rules use explicit conditions and mapping relationships to ensure fine-grained control over model elements.

[0055] In another embodiment, the verification includes manual verification and automatic verification. The manual verification includes carefully checking the timing diagram to verify whether it accurately reflects the dynamic behavior of the corresponding system and checking whether the order, direction of messages and interactions between participants meet system requirements; the automatic verification includes checking the consistency and correctness of the timing diagram by using eclipse validity check.

[0056] In another embodiment, if the effect verification module finds problems during the verification process, it will feedback to the rule definition module. The rule definition module adjusts the conversion rules according to the feedback content and sends them to the execution module. The execution module re-executes the model conversion, generates a dynamic model for the second time and sends it to the effect verification module. If problems are found during the verification process, the above content is repeated. If the verification is correct, the corresponding dynamic model is output. The problems include message loss and participant errors. The dynamic model finally output is as follows: Figure 4 shown.

[0057] In another embodiment, a model building module is further included, wherein the model building module is used to create and maintain a SysML static model according to the composition, function and interaction requirements of the system, and input the SysML static model to the information extraction module.

[0058] Taking the smart home system as an example, clarify the modules, specific functions and interaction requirements of the smart home system. ——Choose a tool that supports SysML modeling, the plug-in Papyrus Software Designer 3.1.0 in Eclipse, which is used to create and maintain static model BDDs.

[0059] The results of comparing the model constructed by the present invention with the manually constructed model are as follows. As can be seen from the table, the model constructed by the present invention has obvious improvements in accuracy, time efficiency and consistency over the purely manually constructed model due to the low degree of human involvement, and is more convenient for software developers to use.

[0060] Table 1 Comparison between the model constructed by this system and the model constructed manually

[0061]

[0062] The above-mentioned embodiments only express the specific implementation methods of the present application, and the descriptions thereof are relatively specific and detailed, but they cannot be understood as limiting the protection scope of the present application. It should be pointed out that, for ordinary technicians in this field, several variations and improvements can be made without departing from the technical solution concept of the present application, and these all belong to the protection scope of the present application.

Claims

1. A SysML static model conversion system based on QVT-O, characterized in that: It includes information extraction module, rule definition module, execution module and effect verification module; The information extraction module is used to analyze and extract necessary information from the acquired SysML static model, wherein the necessary information includes the role and relationship of key attributes in the dynamic behavior of the system, and the key attributes include modules, interfaces, and connections; The rule definition module is used to define conversion rules based on QVT-O according to necessary information, and to clarify the correspondence between each element in the static model of SysML and each timing diagram element in the dynamic model; The execution module is used to automatically convert the SysML static model into a dynamic model according to the conversion rule, and the dynamic model is represented as a timing diagram; The effect verification module is used to verify the consistency of the static model and the dynamic model, including the correctness of the interaction mode, message transmission and timing. If there is a problem in the verification, it will be fed back to the rule definition module.

2. The QVT-O-based SysML static model conversion system according to claim 1, characterized in that: The conversion rules include message mapping, interaction logic and debugging rules.

3. The QVT-O-based SysML static model conversion system according to claim 2, characterized in that: The message mapping defines how interfaces and connections are converted into information in a sequence diagram, analyzes the type of interface and the direction of connection, and constructs a message sequence; The interaction logic is written in detail according to the connection relationship and module functions in the module definition diagram to ensure that the order and direction of the messages in the timing diagram are correct; The debugging rules are to debug and optimize the existing conversion rules according to the problems fed back by the effect verification module to handle model conversion in complex or special situations.

4. The SysML static model conversion system based on QVT-O according to claim 1, characterized in that: The transformation rules use explicit conditions and mapping relationships to ensure fine-grained control over model elements.

5. The SysML static model conversion system based on QVT-O according to claim 1, characterized in that: The verification includes manual verification and automatic verification. The manual verification includes carefully checking the timing diagram to verify whether it accurately reflects the dynamic behavior of the corresponding system and checking whether the order, direction of messages and the interaction between participants meet the system requirements; the automatic verification includes checking the consistency and correctness of the timing diagram by using eclipse validity check.

6. The SysML static model conversion system based on QVT-O according to claim 1, characterized in that: If the effect verification module finds problems during the verification process, it will feedback to the rule definition module. The rule definition module adjusts the conversion rules according to the feedback content and sends them to the execution module. The execution module re-executes the model conversion, generates a dynamic model for the second time and sends it to the effect verification module. If problems are found during the verification process, the above content is repeated. If the verification is correct, the corresponding dynamic model is output. The problems include message loss and participant errors.

7. The QVT-O-based SysML static model conversion system according to claim 1, characterized in that: The SysML static model represents the structure and components of the system in the form of a module definition diagram.

8. The QVT-O-based SysML static model conversion system according to claim 1, characterized in that: The system also includes a model building module, which is used to create and maintain a SysML static model according to the composition, function and interaction requirements of the system, and input the SysML static model into the information extraction module.

Images