14 results about "Statechart diagram" patented technology

A system and method of exposing debugging information in a graphical modeling and execution environment is disclosed. The present invention allows a user to view debugging information in the same window as the graphical view of the model being executed. Debugging data is associated with relevant components of the model displayed in the graphical view. A separate execution list view shows the methods called during the execution of the block diagram in the current time step up until the current point in execution. User-set breakpoints and conditional breakpoints may be set in both the model view and the execution list view. Values may be obtained for all of the displayed methods. The debugging tool may be implemented by using it in conjunction with a graphical modeling and execution environment, such as a block diagram environment or state diagram environment.

A system and method of exposing debugging information in a graphical modeling and execution environment is disclosed. The present invention allows a user to view debugging information in the same window as the graphical view of the model being executed. Debugging data is associated with relevant components of the model displayed in the graphical view. A separate execution list view shows the methods called during the execution of the block diagram in the current time step up until the current point in execution. User-set breakpoints and conditional breakpoints may be set in both the model view and the execution list view. Values may be obtained for all of the displayed methods. The debugging tool may be implemented by using it in conjunction with a graphical modeling and execution environment, such as a block diagram environment or state diagram environment.

Various embodiments of a system and method enabling a user to create a statechart and select an event mode for the statechart are disclosed. The statechart may be created in a graphical manner in response to user input and displayed on a display. A graphical user interface enabling a user to select from a plurality of event modes for the statechart may be displayed. The plurality of event modes may include both a synchronous mode and an asynchronous mode. The statechart may be configured to receive events from an external program either synchronously or asynchronously, depending on which event mode the user selects.

A system and method for automatically generating a graphical data flow program from a statechart are disclosed. The statechart may be created in a graphical manner in response to user input, e.g., in response to the user arranging state icons on a display and creating interconnections representing transitions among the respective states. The statechart may include at least one hierarchical state, where each hierarchical state includes one or more sub-states. A graphical data flow program may be automatically generated from the statechart. The graphical data flow program may include a plurality of interconnected nodes that visually indicate functionality of the graphical data flow program, where connections among the nodes visually indicate data flow among the nodes. The graphical data flow program may be executable to implement the functionality of the statechart.

A Unified Debugger that enables the debugging of graphical models with combinations of entities from multiple domains such as time-based block diagrams, statecharts, and physical system models, with additional features for the debugging of hand-written and automatically generated code is disclosed. A view of the entity being executed that is consistent with the type of the modeling domain to which the entity currently being executed belongs is automatically generated for a user. Rather than requiring a user to manually transition from one debugger to the next, the Unified Debugger applies the appropriate debugging features from each modeling domain. The Unified Debugger also enables integration of diagnostic information from a multitude of modeling domains into a central user interface. In addition, a standard diagnostic interface which spans a plurality of modeling domains is defined that enables the customization of debug behavior.

Disclosed herein is an online platform for facilitating the development of software applications based on an executable statechart using a microservices architecture, in accordance with some embodiments. Accordingly, the online platform may include a communication device, a processing device, and a storage device. Further, the communication device may be configured for transmitting a software application design interface to a user device. Further, the communication device may be configured for receiving a plurality of design commands, through the software application design interface, from the user device. Further, the processing device may be configured for generating an executable statechart design based on the plurality of design commands. Further, the storage device may be configured for storing the at least one executable statechart design.

System and method for converting a statechart from a first statechart development environment to a second statechart development environment. A first statechart may be received. The first statechart may be created in a first statechart development environment. The first statechart may implement a first functionality. The first statechart may be parsed to determine a plurality of elements of the first statechart. A markup language representation of the first statechart may be generated. The markup language representation may represent the plurality of elements of the first statechart. A second statechart may be generated based on the markup language representation. The second statechart may be in a second statechart development environment. The second statechart may implement the first functionality. The second statechart may be stored.

The present application discloses a security target decomposition and modeling method and related equipment, which are used to improve the accuracy of the security target decomposition and improve the reliability of the formal verification of the security target. The method of the present application includes: according to at least one of the unified modeling language sequence diagram and the state diagram of the security policy, obtaining N-type entity information of the security policy, the N is a positive integer not less than 2, and the entity information is Each process of the security policy and at least one of the channels between processes, data and activity flow; determine the verifiability of each type of entity information in the N types of entity information according to the verifiable attribute type in the security attribute description library Attributes: generate a mathematical logic formula for each type of entity information according to a mathematical logic formula template and each type of entity information, and the mathematical logic formula template corresponds to the verifiable attributes of each type of entity information.

A single free face rock plug blasting parameter test numerical simulation prediction method comprises the following steps: analyzing, modeling, acquiring a time threshold value, setting a blast hole and a blasting network, calculating model parameters, simulating blasting, extracting a blasting rock mass and surrounding rock state diagram after blasting, and analyzing whether the state diagram achieves an expected effect or not. Whether the blasting of the construction scheme reaches the designed footage or not and whether complete blasting can be achieved or not can be checked, a basis is provided for design and optimization of formal rock plug blasting, a basis is provided for adjustment of blasting parameters and control of the blasting scale conveniently, it is ensured that formal rock plug blasting achieves the perfect effects of blasting, forming and safety, before engineering blasting, plug blasting parameters need to be determined, and test numerical values are obtained.

The invention discloses a model-based spacecraft controller software test case automatic generation method, which comprises the following steps: 1) carrying out formalized modeling on a spacecraft test demand, and carrying out modeling on the state of a spacecraft in the test demand and conversion thereof by using a UML state diagram to obtain a standard model; 2) preprocessing the standard model, and converting test information contained in the state diagram into a directed graph for storage; 3) test paths under different coverage criteria can be obtained through the directed graph; and 4) dividing system input and output for each test path, and carrying out equivalence class division on the input space of the path. And 5) performing assignment operation on each equivalence class to obtain a sequence of specific test cases on the logic sequence. According to the method, the defect that spacecraft software requirements are lack of a unified description mode is overcome; the defect that the design of the test scene completely depends on the experience of testers in the current test process and cannot ensure that the designed test scene effectively covers all the requirements of autonomous functions is overcome.

A computer-implemented method for automatically transforming a business process model (BPM) into a hierarchical state model is provided. The BPM has a parallel path of at least one diverging node and at least one joining node. The method includes, in response to identifying each of at least one bifurcated node in the BPM in node analysis: (i) generating, for each edge from the at least one bifurcated node, a bifurcated edge sub-state having an initial state and an operating state, and appending the bifurcated edge sub-state to a hierarchical state for the at least one bifurcated node; and (ii) generating a synchronizer sub-state diagram corresponding to each junction node passing through the bifurcated node to receive synchronization events from each bifurcated edge sub-state diagram, and attaching the synchronizer sub-state diagram to the hierarchical state of the at least one bifurcated node to form an intermediate version of the hierarchical state diagram.

The invention belongs to the technical field of aircraft system model simulation test process optimization design, and particularly relates to an aircraft system model simulation test process optimization method, which comprises: a model conversion step: converting a UML state diagram model of an aircraft system into a function / logic model of the aircraft system; a model search step: performing full-coverage search on the function / logic model to find out a branch, corresponding to the UML state diagram model full-flow test sample, of the function / logic model in the limited space; and a branchoptimization step: optimizing each branch by using the process optimization coverage criterion library to obtain an optimized test branch.

The invention provides a text error correction method and device and a storage medium. The method comprises the steps of carrying out the state modeling of a to-be-corrected text, obtaining a state diagram which comprises a plurality of state sets and the distance between the states in the adjacent state sets, wherein the state in the state set comprises a target word contained in the text to be corrected or an easily confused word corresponding to the target word, searching at least one target path in the state diagram, taking a state on the target path as an error correction result to obtain at least one error correction result, wherein the target path is a path of which the path distance is smaller than a distance threshold value, according to the at least one error correction result, determining whether an error exists in the to-be-corrected text, and if the to-be-corrected text has an error, performing error correction on the to-be-corrected text according to the modified word number of the to-be-corrected text according to each error correction result so as to improve the accuracy of text error correction.

The invention discloses a standard model analysis method based on model detection, which is characterized in that a detection method of a formalized model with four types of subproblem structures is adopted to analyze the problems of variable consistency in a class diagram model, constraint consistency in a class diagram and an object diagram model, behavior consistency in a state diagram and a sequence diagram model, and the state logic error existing in the state diagram model. Construction and detection of the model specifically comprise the following steps: 1) designing a standard model according to a template; 2) constructing a formalized model of a sub-problem structure; 3) applying a to-be-analyzed property condition to the sub-problem formalized model; 4, and analyzing whether thesub-problem model meets the property condition or not. Compared with the prior art, the invention has the advantages that the analysis result is highly automatic, credible and reliable, the process ofreplacing low-efficiency manual standard examination is effectively replaced, and the scientificity, normalization and working efficiency of standard design are further improved.