Active graph simulation execution visualization method and system based on fUML specification driving

Abstract

The invention discloses an activity graph simulation execution visualization method and system based on fUML specification driving, and relates to the technical field of computer software, the method extracts core activity business data such as nodes and streams from a SysML activity graph model, converts the core activity business data into semantic data conforming to fUML and ALF standards, and then generates a standardized XMI format simulation file. And a simulation engine strictly following the fUML specification loads and analyzes the simulation file, converts the simulation file into an internally executable fUML instance model, and completes semantic check. And controlling a simulation engine to execute the model through an event-driven mechanism, issuing a state event in real time in the execution process, and driving a user interface to dynamically render the execution process of the activity graph in an animation form. According to the method, seamless connection of the SysML activity diagram from static design to dynamic executable verification is realized, the standard conformity of simulation semantics is ensured, and the verification efficiency and intuition of system function logic are improved.

Description

TECHNICAL FIELD

[0001] The present application relates to the technical field of computer software, in particular to an activity diagram simulation execution visualization method and system based on fUML specification driving. BACKGROUND

[0002] As a key tool in the field of system engineering, SysML plays a core role in the system requirement analysis and architecture design stage, and its activity diagram is a core behavior model for describing the system function logic, operation process and data flow. However, there is a significant shortcoming in the existing SysML modeling practice: the constructed activity diagram is essentially a static graphical description, which can only reflect the expected logical structure of the system, and cannot be dynamically executed like software code. This makes it impossible for system architects and designers to intuitively observe, verify and debug the correctness, integrity and performance of the function logic in the model design stage, resulting in design defects that are often discovered in the later coding or integration testing, causing high rework costs and project risks. Although the Object Management Organization has released the fUML specification to provide precise and unambiguous executable semantics standards for UML / SysML activity diagrams, aiming to realize the vision of "model as executable specification", the existing commercial or open-source modeling tools supporting SysML have varying degrees of support for the fUML specification. Most tools still focus on the drawing and browsing of static graphics, and lack built-in simulation engines that strictly follow the fUML standard; even some tools that claim to support model execution often need to rely on manual coding or scripting for behavior binding, or use private and non-standard execution semantics, resulting in a serious dependence of model executability on specific tools or developers, which undermines the initial intention of lossless exchange and collaborative verification based on standard models, and makes it impossible to provide intuitive and interactive simulation process visualization. Therefore, there is a serious lack of a verification environment that can directly perform high-fidelity dynamic simulation on SysML activity diagrams that conform to industry standards and visualize the execution state in real time at each step, which is the core technical problem to be solved by the present application. SUMMARY

[0003] In view of the defects in the prior art, the present application aims to provide an activity diagram simulation execution visualization method and system based on fUML specification driving, which realizes the seamless connection of SysML activity diagram from static design to dynamic executable verification and ensures the standard compliance of simulation semantics.

[0004] To achieve the above-mentioned purpose, the present application provides the following technical solutions:

[0005] The embodiment of the application provides a fUML specification driven activity diagram simulation execution visualization method, comprising the following steps: S1, extracting activity business data from a SysML activity diagram model, and generating an XMI simulation file conforming to a fUML standard; S2, a fUML simulation engine loads and parses the XMI simulation file, converts the XMI simulation file into an internally executable fUML instance model, and performs semantic checking on the fUML instance model; S3, controlling the fUML simulation engine to execute the fUML instance model, and driving a user interface according to state changes in the execution process, so that the execution process of the activity diagram is rendered in an animation form.

[0006] Further, the S1 comprises: S11, extracting activity business data from the SysML activity diagram model, wherein the activity business data comprises node element data constituting the activity diagram and flow element data connecting the node elements; S12, converting the node element data and the flow element data into semantic data conforming to the fUML standard and an ALF standard; S13, according to a semantic order of activity execution, serializing the semantic data into a standard XMI simulation file, wherein the node elements and the flow elements are represented by different XMI tags in the XMI simulation file.

[0007] Further, in the S2, the semantic checking comprises verifying the association correctness of the activity model elements and the executable of the behavior actions.

[0008] Further, in the S3, the fUML simulation engine adopts a token manager to track data tokens, and adopts a central scheduler based event driven cycle to manage the execution of simulation steps.

[0009] Further, the token manager uses a thread safe data structure to manage the data tokens and the data carried by the data tokens.

[0010] Further, the S3 comprises: S31, the fUML simulation engine publishes node state events and token flow transfer events in the execution process; S32, a user interface subscribes to the node state events and the token flow transfer events, and updates the color and highlight state of corresponding activity diagram graph elements according to the node state events and the token flow transfer events, so as to dynamically display the execution progress and the data flow direction.

[0011] Further, the fUML specification driven activity diagram simulation execution visualization method further comprises: S4, when the SysML activity diagram model comprises an ALF text description behavior, compiling the ALF text into an executable structure conforming to the fUML semantics by using an ALF compiler, so as to be executed by the fUML simulation engine.

[0012] Correspondingly, the application also provides an activity diagram simulation execution visualization system driven by fUML specification, comprising: an XMI file generation module configured to extract activity business data from a SysML activity diagram model and generate an XMI simulation file conforming to the fUML standard; a simulation engine core module configured to load and parse the XMI simulation file by an fUML simulation engine, convert the XMI simulation file into an internally executable fUML instance model, and perform semantic checking on the fUML instance model; an execution and rendering module configured to control the fUML simulation engine to execute the fUML instance model and drive a user interface according to state changes during execution to render the execution process of the activity diagram in the form of animation.

[0013] Further, the system further comprises: an ALF processing module configured to, when the SysML activity diagram model contains an ALF text description, compile the ALF text into an executable structure conforming to the fUML semantics by an ALF compiler for execution by the fUML simulation engine.

[0014] The application has the following beneficial effects: the execution of the activity diagram is presented in real time in the form of animation, the execution order of the nodes, the flow path of the data, and the interaction relationship between the elements are clearly shown, the developer can intuitively find logical loopholes, process breakpoints and other problems in the early design stage, and the modification cost and development risk are greatly reduced; secondly, the simulation is driven by the fUML industry standard, breaking the field limitation of the prior art, so that different types and different scenarios of SysML activity diagrams can follow uniform execution semantics for simulation, not only reducing the adaptation cost of cross-system simulation, but also making the interaction and understanding of different teams based on the model more smooth, greatly improving the reusability and portability of the model; by constructing the complete process of "data extraction-model conversion-simulation execution-visualization display", the activity view, the activity element and the simulation instance data are kept consistent throughout the process, the simulation result distortion caused by data disconnection is avoided, the formal verification of the system function logic is realized, and the credibility of the verification result is improved. BRIEF DESCRIPTION OF DRAWINGS

[0015] Fig. 1 A process schematic diagram of an activity diagram simulation execution visualization method based on the fUML specification driven by the embodiment of the application is provided;

[0016] Fig. 2 A structure schematic diagram of an activity diagram simulation execution visualization system based on the fUML specification driven by the embodiment of the application is provided. DETAILED DESCRIPTION

[0017] The specific implementation of the embodiments of the present application is described in detail below with reference to the accompanying drawings. It should be understood that the specific implementation described herein is only used to illustrate and explain the embodiments of the present application, and is not used to limit the embodiments of the present application.

[0018] With the evolution of the system to a complex body of deep coupling of "hardware-software-mechanical-personnel-environment", the traditional development mode has been difficult to cope with the design complexity and risk. Although SysML as the core modeling language can realize the static architecture description, the existing technology has significant limitations: on the one hand, it is only applicable to specific fields such as avionics systems, lacks universality, and cannot adapt to the activity diagram simulation needs of various complex systems; on the other hand, it only emphasizes the executability of the activity diagram, and does not explicitly define the simulation execution semantics and dynamic execution effect, resulting in that the SysML activity diagram model is always in a static state, and it is difficult to intuitively verify the correctness of the function logic at the early stage of system design, and it is difficult to avoid design risks in advance.

[0019] As shown in Figs. 1-2 The embodiments of the present application provide a fUML specification driven activity diagram simulation execution visualization method, which includes the following steps: S1, extracting activity business data from a SysML activity diagram model, and generating an XMI simulation file conforming to the fUML standard; S2, a fUML simulation engine loads and parses the XMI simulation file, converts the XMI simulation file into an internally executable fUML instance model, and performs semantic checking on the fUML instance model; S3, controlling the fUML simulation engine to execute the fUML instance model, and driving the user interface according to the state changes during execution to render the execution process of the activity diagram in the form of animation.

[0020] In another possible embodiment, activity business data is first comprehensively extracted from the constructed SysML activity diagram model, covering all core information such as nodes, flow elements, etc., and then the original data is converted into semantic data conforming to the fUML standard, and the XMI simulation file is generated in a standardized format, providing a standardized data basis for subsequent simulation execution; then the fUML simulation engine loads the generated XMI simulation file, converts it into an fUML instance model that can be directly executed by the engine through a parsing tool, and starts a semantic checking process to verify whether the model completely conforms to the fUML execution specification and eliminate potential problems such as semantic errors; finally, the fUML simulation engine is triggered to execute the fUML instance model through a control module, and various state changes of the model are captured in real time during execution, including the entry and exit of nodes, the generation and flow of tokens, the judgment results of branch conditions, etc. These state changes are synchronized to the user interface through an event delivery mechanism, and the interface renders the execution process of the activity diagram in the form of animation such as marking the current execution node with different colors, dynamically highlighting the data flow path, etc., to realize the visualization of simulation execution.

[0021] By presenting the whole execution process of the activity diagram in real time in the form of animation, the execution order of nodes, the flow path of data, and the interaction relationship between elements are clearly shown, so that developers can intuitively find logical loopholes, process breakpoints, and other problems in the early design stage, without the need to wait until the late stage of system development to verify, thereby greatly reducing the modification cost and development risk. Secondly, relying on the fUML industry standard to drive simulation, the field limitation of the prior art is broken, so that different types and different scenarios of SysML activity diagrams can follow uniform execution semantics for simulation, not only reducing the adaptation cost of cross-system simulation, but also making the interaction and understanding of different teams based on the model more smooth, greatly improving the reusability and portability of the model. By constructing a complete process of "data extraction-model conversion-simulation execution-visualization display", it is ensured that the activity view, activity element, and simulation instance data are consistent throughout the process, avoiding the distortion of simulation results caused by data disconnection, realizing the formal verification of system function logic, and improving the credibility of the verification result.

[0022] The prior art lacks a clear standardized process in the data processing link of activity diagram simulation, does not clearly specify the specific composition of activity business data, and does not establish a unified data conversion and file generation specification, resulting in chaotic simulation data format, poor compatibility, and difficulty for the simulation engine to efficiently parse, which not only affects the startup efficiency of simulation, but also easily causes simulation process errors due to incompatible data format, and cannot meet the fine and efficient needs of complex system activity diagram simulation.

[0023] In the embodiment of the present application, the step S1 comprises: S11, extracting activity business data from the SysML activity diagram model, the activity business data comprising node element data constituting the activity diagram and flow element data connecting the node elements; S12, converting the node element data and the flow element data into semantic data conforming to the fUML standard and the ALF standard; S13, according to the semantic order of activity execution, the semantic data is serialized into a standard XMI simulation file, wherein the node elements and the flow elements are represented by different XMI tags in the XMI simulation file.

[0024] In another possible embodiment, two types of core data are accurately extracted from the SysML activity diagram model, wherein the node element data covers all node related information of actions, decision nodes, branch nodes and the like constituting the activity diagram, and the flow element data includes control flow, object flow and the like flow transfer related information connecting the nodes, so as to ensure comprehensive coverage of the basic data required for simulation; the extracted node element data and flow element data are uniformly processed through a dedicated data conversion tool, are converted according to the semantic requirements of the fUML standard and the ALF standard, the data format difference is eliminated, and standardized semantic data is formed; finally, the standardized semantic data is sequentially processed according to the semantic logic order of activity execution, and an XMI simulation file conforming to the fUML standard is generated, wherein the flow element data is uniformly identified through an "XMI.edge" tag, and the node element data is uniformly identified through an "XMI.node" tag, so that the file structure is clear and identifiable, and the simulation engine can be quickly parsed.

[0025] By clearly defining that the activity business data includes two categories of node element data and flow element data, it is ensured that no basic data required for simulation is missed in the extraction process, and solid data support is provided for the integrity and accuracy of subsequent simulation, avoiding interruption of simulation process or distortion of results due to data loss; based on the double specifications of the fUML standard and the ALF standard, semantic conversion is performed, the differences between data of different sources and different formats are completely eliminated, the converted data can be recognized and parsed by various simulation tools complying with the fUML standard, the compatibility and reusability of the data are greatly improved, and the adaptation difficulty of cross-tool simulation is reduced; by distinguishing the node element and the flow element through the exclusive XMI tag, the generated XMI simulation file has a clear structure, the simulation engine can quickly locate the required data when parsing, the parsing time is reduced, the simulation startup efficiency is improved, and the file can be conveniently modified, maintained and secondarily developed in the future.

[0026] The existing activity diagram simulation technology does not set a special semantic checking link, but only relies on manual checking of the modeling personnel, which is not only low in efficiency, but also difficult to find implicit problems such as element association errors and unexecutable behavior actions in the activity model, resulting in congenital defects in the simulation model, and prone to abnormal interruption, process disorder and the like in the simulation execution process, and even a simulation result greatly deviating from the actual demand, which cannot realize effective verification of the system function logic.

[0027] In the step S2, the semantic checking includes verifying the association correctness of the activity model elements and the executability of the behavior actions.

[0028] In another possible embodiment, after the fUML simulation engine converts the XMI simulation file into an internally executable fUML instance model, a special semantic checking process is immediately started, which first verifies the association correctness of the activity model elements, checks the connection relationship between the nodes and flow elements one by one to see whether it conforms to the fUML specification, and confirms that there is no invalid connection, circular dependency, contradictory connection logic, etc.; then the executable of the behavior action is verified, which checks whether the calling behavior, decision logic, data processing action, etc. contained in the instance model have legal syntax and semantics, whether there is an unclear execution condition, a logical conflict, etc., to ensure that each behavior action can be normally parsed and executed by the simulation engine, and to completely eliminate various hidden dangers of the model at the execution level.

[0029] Through the special semantic checking link, the hidden problems in the model that are not easy to be found by manual inspection are systematically investigated, including element association errors, behavior logic contradictions, missing execution conditions, etc., which guarantees the correctness of the simulation model from the source and greatly reduces the probability of interruption caused by model problems in the simulation process; the model after semantic checking can conform to the fUML execution specification, avoiding the situation that the simulation cannot continue due to semantic errors when it reaches a specific node, ensuring that the simulation process can proceed stably and continuously, and improving the reliability and integrity of the simulation.

[0030] In existing simulation technology, the management of data tokens does not consider thread safety issues, and ordinary data structures are used to store and operate tokens, which may cause token loss, data conflict, state inconsistency, etc. in the simulation scene of multi-thread concurrent execution, leading to the collapse of the simulation process or the distortion of the simulation results, which cannot meet the needs of complex system high-concurrency simulation and limits the applicable scenarios of the technology.

[0031] In the step S3, the fUML simulation engine uses a token manager to track data tokens, and uses a central scheduler-based event-driven loop to manage the execution of simulation steps.

[0032] In the embodiment of the application, the token manager uses a thread-safe data structure to manage data tokens and the data carried by the data tokens.

[0033] In another possible embodiment, the token manager employs a thread-safe data structure to uniformly manage all data tokens, assigns a unique identification to each data token, and includes the current node information, the carried core data, and the flow state in the token object; all operations on the token, including generation, movement, replication, and destruction, are designed with atomic operation to ensure that the same token is not modified by multiple threads at the same time, and each operation is completely executed and the state is updated synchronously; through this design, data conflicts, token loss, and state inconsistency in the multi-thread scenario are effectively avoided, and the simulation process can be stably and efficiently promoted.

[0034] By using a thread-safe data structure to manage tokens, interference caused by multi-thread concurrency can be effectively resisted, token loss and data overwrite can be avoided, and the simulation process can still run stably in a high-concurrency scenario without interruption or exception caused by thread problems; all operations on the token are designed with atomic operation to ensure that each token movement, replication, and destruction operation is completely executed without being abandoned halfway, and the state change of the token can be accurately recorded and synchronized to ensure the consistency of the simulation instance data.

[0035] In the embodiments of the present application, the step S3 includes: S31, the fUML simulation engine publishes node state events and token flow events during execution; S32, the user interface subscribes to the node state events and token flow events and updates the color and highlight state of the corresponding activity graph graph element accordingly to dynamically display the execution progress and data flow.

[0036] In another possible embodiment, the fUML simulation engine monitors the state change of each node (including the entering, executing, and exiting states of the node) and the flow of data tokens (including the generation, movement, replication, and destruction of tokens) during the execution of the fUML instance model, and encapsulates the event-related information (such as node identification, event type, token flow path, and current state parameters) into standardized node state events and token flow events when these key events occur, and publishes them through the built-in event bus; the user interface has pre-subscribed these two types of events during initialization, and the event listening module of the UI quickly captures the events and analyzes them in the UI thread when the event bus publishes the events, extracts the key information in the events, and then updates the corresponding activity graph graph element according to the preset visual display rules - marks the node currently in the execution state with a specific color, dynamically highlights the flow line path of the token being transferred, and uses differentiated visual effects to distinguish different types of node states, thereby dynamically and intuitively displaying the real-time execution progress and data flow of the simulation to the user.

[0037] By means of visualization such as color change of graphics, path highlighting, etc., abstract node states and data flow are converted into intuitive visual effects, so that developers and non-technical personnel can quickly understand the simulation execution progress, data flow direction, and execution of each node, and the threshold for understanding the system running logic is reduced.

[0038] Existing activity diagram simulation technology only supports graphical modeling to describe behavior logic, does not support ALF text, an action language specially used to describe executable behaviors, and for complex mathematical calculations, multi-layer nested logic, complex algorithm simulation, etc., graphical modeling needs to draw a large number of nodes and connection relationships, which is not only cumbersome to operate and has extremely low modeling efficiency, but also is prone to logic omissions or connection errors, and developers cannot describe logic according to their own familiar text programming habits, which limits the modeling capability of complex business logic and increases the technical use threshold.

[0039] In the embodiment of the present application, the activity diagram simulation execution visualization method driven based on the fUML specification further comprises: S4, when the SysML activity diagram model contains behaviors described by ALF text, the ALF text is compiled into an executable structure conforming to the fUML semantics by an ALF compiler for execution by the fUML simulation engine.

[0040] In another possible embodiment, when the SysML activity diagram model contains behaviors described by ALF text (such as class operation methods, opaque behaviors, etc.), the system automatically triggers an ALF processing flow, first calls a built-in ALF compiler to perform lexical analysis on the ALF text as input, disassembles it into standardized syntax units, removes redundant characters and labels syntax types; then performs syntax analysis, combines syntax units to build an abstract syntax tree (AST) according to ALF syntax rules and fUML semantic requirements, clearly presenting the logical structure, execution order and conditional judgment relationship of the text description; then the compiler converts the abstract syntax tree into an executable structure conforming to the fUML standard semantics, such as converting the conditional judgment statements in ALF into a combination structure of decision nodes and merge nodes in fUML, converting loop statements into corresponding loop execution logic, and converting complex calculation expressions into a basic action sequence supported by fUML; finally, the converted fUML executable structure is passed to the fUML simulation engine, fused with the model elements generated by graphical modeling, executed by the simulation engine according to the unified fUML standard semantics, and related events are published simultaneously during simulation to drive the UI to render animations, realizing collaborative simulation and visualization of ALF text description behaviors and graphical modeling behaviors.

[0041] The text code is strictly mapped to an executable structure conforming to the fUML standard semantics by the ALF compiler, ensuring that the final execution semantics are completely consistent regardless of graphical modeling or ALF text modeling, avoiding simulation result deviation caused by different description methods, and guaranteeing the accuracy and reliability of simulation.

[0042] The embodiment of the application further provides an activity diagram simulation execution visualization system driven based on fUML specification, comprising: an XMI file generation module configured to extract activity business data from a SysML activity diagram model and generate an XMI simulation file conforming to the fUML standard; a simulation engine core module configured to load and parse the XMI simulation file by an fUML simulation engine, convert the XMI simulation file into an internally executable fUML instance model, and perform semantic checking on the fUML instance model; an execution and rendering module configured to control the fUML simulation engine to execute the fUML instance model and drive a user interface according to state changes during execution to render the execution process of the activity diagram in the form of animation.

[0043] In another possible embodiment, the XMI file generation module first establishes standardized docking with a SysML modeling tool, automatically extracts activity business data including node element data and flow element data from a built SysML activity diagram model, performs cleaning and arrangement on the extracted data, converts the data into semantic data conforming to the fUML standard, and then performs serialization processing according to the semantic order of activity execution to generate a standard XMI simulation file; the simulation engine core module receives the XMI simulation file output by the XMI file generation module, loads and parses the file through a built-in parsing tool, converts the file into an internally executable fUML instance model, then starts a semantic checking program to verify the association correctness of model elements and the executability of behavior actions, and ensures that the model meets simulation requirements; the execution and rendering module sends execution instructions to the simulation engine core module through a control interface to control the simulation engine core module to execute the fUML instance model according to a preset logic, captures various state changes of the model during execution, including node state, token flow, branch selection, etc., publishes these state changes in the form of standardized events through an event bus, and the user interface as an event subscriber safely updates corresponding activity diagram graph elements on a UI thread after receiving the events, including modifying graph element color, highlighting flow path, displaying execution state, etc., to completely render the entire simulation execution process in the form of smooth animation.

[0044] In the embodiment of the application, the ALF processing module is further configured to compile the ALF text into an executable structure conforming to the fUML semantics by an ALF compiler when the SysML activity diagram model contains ALF text description behavior, for execution by the fUML simulation engine.

[0045] In another possible embodiment, when the ALF text description is contained in the SysML activity diagram model, the ALF processing module in the system automatically starts working, first calls the built-in ALF compiler to perform lexical analysis on the ALF text as input, disassembles the text into individual basic syntax units, removes redundant information and labels the syntax type; then performs syntax analysis, combines the syntax units according to the ALF syntax rules to build an abstract syntax tree, clearly presents the logical structure and execution flow of the text description; then the compiler converts the abstract syntax tree into an executable structure conforming to the fUML semantics, such as converting the conditional judgment statement in ALF into a fUML sub-activity diagram containing decision nodes and merging nodes, converting the loop statement into the corresponding loop execution logic; finally, the converted executable structure is passed to the simulation engine core module, and the simulation engine executes according to the fUML standard semantics together with the graphical modeled behavior, and synchronously renders the execution process through the visualization module, realizing the simulation running and visualization display of the ALF text description behavior.

[0046] The above describes the optional implementation of the embodiments of the present application in detail in combination with the drawings, but the embodiments of the present application are not limited to the specific details in the above implementation. Within the technical concept range of the embodiments of the present application, the technical solutions of the embodiments of the present application can be variously modified, and these simple modifications all belong to the protection range of the embodiments of the present application.

[0047] In addition, it should be noted that each specific technical feature described in the above specific implementation can be combined in any appropriate manner without contradiction. In order to avoid unnecessary repetition, the present application does not further describe various possible combinations.

[0048] In addition, the various different embodiments of the present application can also be combined in any manner, as long as it does not deviate from the idea of the present application, it should also be considered as disclosed by the present application.

Claims

1. A visualization method for activity graph simulation execution driven by fUML specifications, characterized in that, Includes the following steps: S1. Extract activity business data from the SysML activity diagram model and generate an XMI simulation file that conforms to the fUML standard; S2, the fUML simulation engine loads and parses the XMI simulation file, converts the XMI simulation file into an internally executable fUML instance model, and performs semantic checks on the fUML instance model; S3. Control the fUML simulation engine to execute the fUML instance model, and drive the user interface according to the state changes during execution to render the execution process of the activity diagram in the form of animation.

2. The activity graph simulation execution visualization method based on fUML specification driven according to claim 1, characterized in that, S1 includes: S11. Extract activity business data from the SysML activity graph model. The activity business data includes node element data that constitutes the activity graph and flow element data that connects the node elements. S12. Convert the node element data and stream element data into semantic data that conforms to the fUML and ALF standards; S13. Based on the semantic order of the activity execution, the semantic data is serialized into a standard XMI simulation file, wherein the node elements and stream elements are represented by different XMI tags in the XMI simulation file.

3. The activity graph simulation execution visualization method based on fUML specification driven according to claim 1, characterized in that, In S2, the semantic check includes verifying the correctness of the associations of the activity model elements and the executability of the behaviors.

4. The activity graph simulation execution visualization method based on fUML specification driven according to claim 1, characterized in that, In S3, the fUML simulation engine uses a token manager to track data tokens and employs an event-driven loop based on a central scheduler to manage the execution of simulation steps.

5. The activity graph simulation execution visualization method based on fUML specification driven according to claim 4, characterized in that, The token manager uses thread-safe data structures to manage data tokens and the data carried by the data tokens.

6. The activity graph simulation execution visualization method based on fUML specification driven according to claim 1, characterized in that, S3 includes: S31. The fUML simulation engine publishes node status events and token transfer events during execution; S32. The user interface subscribes to the node status events and token transfer events, and updates the color and highlight status of the corresponding activity graph elements accordingly to dynamically display the execution progress and data flow.

7. The activity graph simulation execution visualization method based on fUML specification driven according to claim 1, characterized in that, The activity graph simulation execution visualization method based on fUML specification also includes: S4. When the SysML activity graph model contains behavior described by ALF text, the ALF text is compiled into an executable structure that conforms to fUML semantics by the ALF compiler, so that the fUML simulation engine can execute it.

8. A visualization system for activity graph simulation execution driven by the fUML specification, characterized in that, include: The XMI file generation module is configured to extract activity business data from the SysML activity diagram model and generate XMI simulation files that conform to the fUML standard. The core module of the simulation engine is configured to load and parse the XMI simulation file, convert the XMI simulation file into an internally executable fUML instance model, and perform semantic checks on the fUML instance model. The execution and rendering module is configured to control the fUML simulation engine to execute the fUML instance model, and drive the user interface according to state changes during execution to render the execution process of the activity graph in the form of animation.

9. The activity graph simulation execution visualization system based on fUML specification driven according to claim 8, characterized in that, Also includes: The ALF processing module is configured to perform actions when the SysML activity graph model contains ALF text descriptions, by using the ALF compiler to compile the ALF text into an executable structure conforming to fUML semantics, for execution by the fUML simulation engine.

Images