31 results about "Activity diagram" patented technology

The invention discloses an embedded system integration test case multiplexing method and system, and the method is characterized in that the multiplexing of a test case is carried out based on the existing software assets: firstly, based on the existing software requirements and the test case, an existing requirement-test case tracking chain is constructed; performing demand change analysis on the new demand activity graph information; performing change influence range analysis based on a change analysis result in combination with a demand-test case tracking chain, and determining a test case reuse and generation scheme; and finally, executing the test case multiplexing and generating scheme. According to the method, the tracking relation between existing requirements and test case assets is established, meanwhile, the execution cost of downstream test tasks caused by requirement change is reduced through multiplexing, and the test efficiency of integration testing is improved.

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.

The invention discloses a manned space mission scene design and orbit analysis interaction method, which comprises the steps of S1, defining a space mission scene, and defining a mission target, a mission range and a mission constraint; s2, an MBSE model is constructed according to the scene, and modeling of a system architecture, function requirements and performance indexes is achieved; s3, generating an activity graph and an executable script based on the MBSE model, and establishing script execution logic; s4, starting simulation according to the activity graph and the script; s5, realizing linkage of MBSE simulation and track analysis software, and constructing a joint simulation environment; and S6, generating an orbit analysis scene in joint simulation, simulating a spacecraft trajectory, and generating a visual result and a parameter report. According to the method, a data link between the MBSE model and an orbit analysis tool is broken through, the problems of low manual construction efficiency, asynchronous parameters and insufficient verification are solved, the space mission scene design efficiency, model consistency and simulation reliability are remarkably improved, and effective support is provided for rapid design and optimization of complex manned space missions.

The present application belongs to the technical field of model-based system engineering, and relates to a laser fusion superfast imaging instrument logic design method and system based on MBSE, which comprises: based on the demand information of the superfast imaging instrument, system indexes of the superfast imaging instrument are obtained through operation analysis; based on the system index identification, components required to achieve the system indexes are obtained, and component indexes are configured through decomposition of the system indexes; based on the component index identification, modules required to achieve the component indexes are obtained, and module indexes are configured through decomposition of the component indexes. The method establishes a multi-level two-way traceable relationship matrix in the collaborative development of the superfast imaging instrument, establishes a two-way traceable link among user demand, service use case and indexes at each level, ensures that any modification can be subjected to impact analysis, and improves information consistency; through standardized and visualized models such as service use case and activity diagram, a common understanding basis without ambiguity is provided for different teams, and team collaboration is promoted.

The application provides an aero-engine design method based on SysML activity diagram native driving and AI autonomous decision, and belongs to the technical field of aero-engines, and comprises the following steps: constructing a SysML model integrating engine architecture and behavior, wherein the SysML model is constructed based on a SysML activity diagram; loading the SysML model by a diagram explanation engine based on asynchronous event driving, and driving a simulation calculation process by managing the life cycle of a token; when the simulation calculation is performed, performing AI autonomous decision and pruning strategy based on Bayesian inference, including dynamic pruning based on a sensitivity matrix and autonomous optimization based on Gaussian process regression; and associating the simulation calculation result with the attributes of the SysML model by the system automation to complete integration. The scheme reduces the communication and maintenance cost of a complex system, improves the process observability and debugging efficiency, and realizes intelligent scheduling and data alignment based on an architecture context.

The embodiment of the invention discloses a safety-critical software test modeling method and device fused with an STPA method.According to the embodiment of the invention, firstly, system boundary definition and demand collection are carried out, then a three-view model composed of a control composite structure diagram, a state machine diagram and an activity diagram is constructed, the control composite structure diagram is based on the MARTE specification and the STAMP theory, and the state machine diagram and the activity diagram are combined. A system component and a control feedback relation thereof are defined. Six kinds of unsafe control behaviors and 23 kinds of cause scenes are systematically recognized by integrating time and reliability constraints of MARTE and combining an STPA method, and model iteration and verification are carried out. According to the method, the problems of non-systematic security analysis, insufficient time constraint management and poor model consistency in the prior art are solved, the test coverage rate and the system security are remarkably improved, and the resource utilization and development efficiency is optimized.

This invention provides a method for automatic test case generation and requirement verification based on SysML activity diagrams, comprising the following steps: S1, requirement formalization and simulation verification; S2, SysML activity diagram structure analysis; S3, SysML activity diagram modularization; S4, test path generation; S5, test data generation; S6, test case generation. This invention also provides a readable storage medium. The beneficial effects of this invention are: it provides a method and readable storage medium for automatic test case generation and requirement verification based on SysML activity diagrams, effectively filling the gaps in current modeling software support for MBT and requirement verification, forming a highly automated, versatile method capable of supporting the generation and optimization of test cases for complex activity diagrams, verifying whether the model design correctly reflects user needs, improving system security and reliability, and reducing modeling and testing costs.

The invention belongs to the technical field of model-based system engineering, and relates to an MBSE-based laser fusion ultrafast imaging instrument logic design method and system, and the method comprises the steps: obtaining system indexes of an ultrafast imaging instrument through operation analysis based on the demand information of the ultrafast imaging instrument; based on system index identification, acquiring components required for achieving the system indexes, and configuring component indexes by decomposing the system indexes; modules required for achieving component indexes are obtained based on component index identification, and module indexes are configured by decomposing the component indexes. According to the method, a multilevel bidirectional traceable relation matrix is established in ultrafast imaging instrument collaborative development, bidirectional traceable links are established among user requirements, service cases and indexes of all levels, and it is ensured that any modification can be subjected to influence analysis, so that information consistency is improved; through standardized and visual models such as service cases and activity diagrams, an unambiguous common understanding basis is provided for different teams, and team cooperation is promoted.

The application relates to the technical field of model configuration, in particular to a software architecture framework configuration and generation method based on UML meta-model extension technology. The application proposes the following scheme: a UML activity diagram is constructed to depict function execution flow, and UML interaction constraint conditions containing time sequence, concurrency, branching and interface constraint are generated from the activity diagram; under the constraint of the interaction constraint, a UML component meta-class is extended, meta-attributes such as framework semantic type, running environment and generation configuration are introduced, and an initial software architecture framework model is constructed; in combination with a component knowledge graph library, an outwardly-biased distribution strategy is adopted to distribute activity nodes to reusable components or newly-built components, and a software architecture framework meeting interaction consistency and generation constraint is generated. The application can improve the traceability, reuse stability and engineering generability of architecture configuration.

The invention discloses a modeling and verification method and system for a multi-level system functional architecture of complex equipment. The method comprises the following steps: by establishing a traceability relation matrix of use cases and demands, ensuring the integrity of demand coverage; carrying out platform-level function logic flow modeling based on the activity graph and an OODA ring; generating a plurality of alternative architecture schemes; performing quantitative optimization by using a comprehensive evaluation function fusing the function coupling degree, the interface complexity and the information flow efficiency; function requirements and interface requirements are automatically mapped to a first-level system module; constructing a unified time state interaction graph model and compiling to generate an executable code; closed-loop verification is carried out through human-in-loop testing in a digital twin environment; and the verified accurate demand is output in a structured manner. According to the method, the problems that in complex equipment development, demand tracing is difficult, architecture design depends on experience, and verification and design are disjointed are solved, automation, modeling and precision of the whole process from demand to verification are achieved, and design efficiency and system reliability are remarkably improved.

A machine learning and inference system for generating personalized activity plans includes: a trained world context knowledge base; a trained personal digital memory bank; the target engine is used for establishing a moving target; an activity decomposition engine to decompose the activity into connected logically consistent sub-activities; a weight allocation engine to allocate value weights to the potential sub-activities; a graphics generation engine to generate a multi-layer weighted graph to train a model of personalized results of the sub-activities according to value weights; a scene generation engine to analyze a network of logically consistent potential sub-activities connected by paths to determine a selected scene path to the activity target according to a model that at least personalizes the user results; a feedback engine to apply learning from the scene generation engine to a world context knowledge base and / or a personal digital memory bank; and an output channel for outputting a personalized activity plan comprising recommended actions for implementing the selected scene path.

A system and method for generating an activity graph for cybersecurity threat detection is presented. The method includes detecting an activity in a computing environment, the activity including a plurality of event records; detecting a plurality of components in the plurality of event records; detecting in a security graph a plurality of representations, each representation corresponding to a component, wherein the security graph further includes a representation of the computing environment; and generating a visualization based on the plurality of event records and the plurality of representations.

The application belongs to the field of comprehensive radio frequency system, and particularly relates to a comprehensive radio frequency system model based on a meta model and a comprehensive radio frequency system design method, the system model comprising: a concept model, a logic model and a data model; the concept model comprising a use case model and a composition model; the use case model being used to describe a top layer operation architecture and a system boundary of the system, and being described by a use case diagram of a SysML language; the composition model being used to describe a concept composition relationship of the system, and being described by a block definition diagram of the SysML language; the logic model comprising activities and interfaces; the activities being basic elements for describing behaviors of the system, and being described by an activity diagram of the SysML language; the interfaces being basic elements for describing elements transmitted externally by different forms, and being described by an internal block diagram of the SysML language; the data model comprising system form elements and physical data; the system form elements being basic elements for instantiating concept of the system, and being described by a block definition diagram of the SysML language; and the physical data being basic elements for describing interactions between systems, and being described by an internal block diagram of the SysML language.

The invention discloses a SysML model-to-code generation method and device, and belongs to the technical field of model-driven development, and the method comprises the steps: firstly, generating configuration parameters and a semantic structure of a target programming language by expanding SysML model embedded codes; then constructing a model element instance warehouse containing model element instances and association relationships thereof, and carrying out validity verification; converting the SysML model element instances passing the verification into an abstract syntax tree of a target programming language by utilizing a conversion engine; and finally, filling the syntax tree which is verified to be correct into a predefined code template through a template engine, and generating an executable code. According to the method, structure and behavior semantic mapping from the system model to the code is achieved, automatic code generation of dynamic behaviors such as a state machine and an activity graph is supported, and the code generation efficiency and the system development quality are remarkably improved.

The application discloses a kind of SysML model to code generation method and device, belong to model-driven development technical field, including: first, by embedding code generation configuration parameter and the semantic structure of target programming language through extending SysML model;Then, the model element instance repository containing model element instance and its associated relationship is built and validity check is carried out;Subsequently, the SysML model element instance that passes through check is converted into the abstract syntax tree of target programming language using conversion engine;Finally, the correct syntax tree of verification is filled to pre-defined code template, and executable code is generated.By the application, the structure and behavior semantic mapping of system model to code is realized, the code automatic generation of dynamic behavior such as state machine, activity diagram is supported, and the code generation efficiency and system development quality are significantly improved.

The invention relates to a SysML-based system function architecture model automatic generation and real-time synchronization method and system, and the method comprises the steps: receiving a function demand text inputted by a user through a demand analysis module, and generating a structured set containing function demand elements and attribute relationships thereof; and mapping the structured demand into a SysML activity diagram, and optimizing the node layout through a dynamic programming algorithm. The matching degree of active nodes and system modules is calculated based on a multi-objective optimization algorithm (improved NSGA-II), and automatic allocation is realized by taking module coupling degree minimization and function cohesion maximization as principles. And generating an interface definition between the system modules according to the data flow relationship. And the consistency of multi-user collaborative modeling is guaranteed by operating a conversion conflict resolution algorithm. And performing formalized verification on the generated state machine diagram by adopting a sequential logic model detection technology. According to the method, full-automatic generation and real-time synchronization of the model from the demand to the complete system function architecture model are realized, and the modeling efficiency, the model quality and the collaborative reliability are remarkably improved.

A cooperation mode mining method based on activity graph, comprising: step 1, constructing an activity graph; step 2, extracting user activity data and extracting all attributes therefrom to obtain a k-item cooperation mode set Lk; step 3, generating a candidate (k+1)-item cooperation mode set C(k+1); step 4, taking a candidate cooperation mode I from C(k+1) and embedding it into the activity graph to obtain an embedding Π, and pruning; step 5, constructing an activity set A(Π) from the pruned set Π, mapping I to the activity set A(Π) to obtain a set φ, and pruning; step 6, counting the support degree of the occurrence in the set φ, and discarding the occurrence with a count value lower than a minimum support degree threshold; step 7, letting i=i+1, and repeating steps 4-6 until all candidate cooperation modes are checked; step 8, taking a set of all (k+1)-item cooperation modes as Lk, letting k=k+1, and repeating steps 3-7 until no cooperation mode can be obtained any more; and step 9, outputting a result; the application has the advantage of improving the yield rate in various industries.

The application discloses an embedded system integration test case reuse method and system, which is essentially based on existing software assets to reuse test cases: firstly, based on existing software requirements and test cases, a tracking chain between the existing requirements and test cases is constructed; next, requirement change analysis is performed on new requirement activity diagram information; based on the change analysis result, combined with the requirement-test case tracking chain, change influence range analysis is performed to establish a test case reuse and generation scheme; finally, the test case reuse and generation scheme is executed. The method not only establishes the tracking relationship of the existing requirements and test case assets, but also reduces the execution cost of the downstream test task caused by the requirement change through reuse, and improves the test efficiency of the integration test.

The application provides a model-based power system failure mode and effect analysis method, and relates to the technical field of failure mode and effect analysis, and comprises the following steps: obtaining development requirements of a power system, and constructing a system model of the power system based on the development requirements; wherein the system model comprises an activity graph, a parameter graph model, a module definition graph and an internal module graph; identifying power system failure modes based on the system model; wherein the power system failure modes comprise functional failure modes, performance deviation failure modes and structural failure modes; identifying failure transmission relationships of the power system failure modes based on the system model; modeling the failure transmission relationships to obtain a failure transmission relationship matrix; and generating power system FMEA entries based on the power system failure modes and the failure transmission relationship matrix. The application improves the accuracy and analysis efficiency of power system failure mode and effect analysis.

The embodiment of the application relates to the technical field of software engineering and artificial intelligence, and discloses a process modeling method for human-machine cooperation and related equipment, the method comprising: constructing a hierarchical recursive process model, the process model comprising a process domain layer, an activity layer and a task layer; using an eight-tuple model to formally describe each task, the eight-tuple model comprising a task identifier, an input artifact set, an execution logic, an output artifact set, a role performer, a constraint set, a cognitive level and a deterministic classification, defining four types of role performers for the process model, including a human role, an agent role, a system role and a hybrid role, and based on the four types of role performers and the eight-tuple model, rendering each activity of the process model as an activity graph on a preset workbench interface through differentiated visual lanes, and in this way, the embodiment of the application effectively realizes modeling of AI tasks under the framework of organizational system constraints and standard specifications in a human-machine cooperation scenario.

The invention belongs to the technical field of electromechanical management, and discloses an MBSE-based electromechanical integrated management system air conditioner control software design method, which comprises the following steps of: 1, analyzing the requirements of benefit-critical people to obtain helicopter air conditioner control related use cases; step 2, according to the obtained use case, developing an activity diagram layer by layer to obtain a function which needs to be realized by the electromechanical integrated management system; step 3, according to the architecture of the electromechanical integrated management system, carrying out lane activity diagram development on functions needing to be realized by the electromechanical integrated management system; 4, docking with an environment control system, and combining the functions obtained in the steps 1-3 to obtain software requirements; 5, building a software model according to the software requirements; 6, performing model testing on the software control model; 7, the MBSE model and the software control model are combined to achieve model in-loop test verification; and 8, generating an air conditioner control software source code. According to the method, the problems of low software development readability and inheritance of a traditional electromechanical integrated management system are solved, and the readability is enhanced and the system is more visual.

The application provides a modeling and model conversion method for automatic driving demand analysis, comprising the following steps: step 1, defining a UML extension meta-model; step 2, obtaining an intermediate model; and step 3, generating a target extension model. The application combines the abstracted concepts with the UML analysis model by analyzing and extracting the automatic driving related terms and concepts and the behavior characteristics of the automatic driving vehicle, realizes the extension of the UML class diagram and the activity diagram in the automatic driving field, formulates the model conversion rules according to the automatic driving concepts of the automatic driving system limited use case modeling language, and realizes the model conversion method based on the model conversion engine written in the Java language, so that the defects that the general model conversion method cannot process the RUCM4ADS model are made up, the efficiency and accuracy of the model conversion in the automatic driving field are promoted, the subsequent analysis and testing of the system demand are facilitated, and the accuracy of the demand modeling in the automatic driving field is improved.

1. The name of the design product: driver sign-in activity graphical user interface for electronic equipment. 2. The use of the design product: electronic equipment. 3. The design points of the design product: in the graphical user interface. 4. The picture or photo that best indicates the design points: design 1 front view. 5. Design 1 is designated as the basic design. 6. The use of the graphical user interface: the design graphical user interface is the interactive interface of the driver sign-in activity. Design 1 front view is the sign-in interface. When the user completes the task and can sign in, click the "Sign in immediately" button, a sign-in success popup window pops up, if there is a reward today, the reward content is displayed in the popup window, and the design 1 interface change state diagram 1 is displayed; in design 1 interface change state diagram 1, click the "Happy take down" button to close the popup window, return to the sign-in page after receiving the reward, the sign-in button is grayed out, and design 1 interface change state diagram 2 is displayed. Design 2 front view is the sign-in interface. When the user completes the task and can sign in, click the "Sign in immediately" button, a sign-in success popup window pops up, if there is no reward today, design 2 interface change state diagram 1 is displayed; in design 2 interface change state diagram 1, click the "I know" button to close the popup window, return to the sign-in page, the sign-in button is grayed out, and design 2 interface change state diagram 2 is displayed. Design 3 front view is the sign-in interface. When the user has not completed the task, click the "Complete task sign-in" button, a prompt window pops up, and design 3 interface change state diagram is displayed. Design 4 front view is the sign-in interface. When the user has a sign-in, click the "Sign in immediately" button, a sign-in success popup window pops up, and design 4 interface change state diagram 1 is displayed; in design 4 interface change state diagram 1, if the user closes the popup window directly, return to the sign-in page, the "Sign-in reward" button is displayed for the unobtained reward, and design 4 interface change state diagram 2 is displayed. Design 5 front view is the sign-in interface. When the user has a sign-in, click the "One-key sign-in" button, a sign-in success popup window pops up, if there are multiple prizes, the user can slide left and right in the popup window to view all the prizes, and design 5 interface change state diagram 1 is displayed; in design 5 interface change state diagram 1, click the "Happy take down" button to close the popup window, return to the sign-in page after receiving the reward, the sign-in button disappears, and design 5 interface change state diagram 2 is displayed. Design 6 front view is the sign-in interface. When the user has a sign-in, click the "One-key sign-in" button, a sign-in success popup window pops up, if there is only one prize, design 6 interface change state diagram is displayed. Design 7 is a sign-in interface. When the user needs to sign in, the user clicks the "one-click sign-in" button. If the user has won a prize, a pop-up window appears to show the prize. If the user has not won a prize, a pop-up window appears to show an encouraging message. Design 7 shows the interface change state diagram. Design 8 is a sign-in interface. When the user successfully signs in for a consecutive period, the button displays "consecutive sign-in successful, big prize won". Design 9 is a historical activity interface. After the activity ends, the interface shows the prize won by the user. If the user fails to sign in consecutively, the button displays "consecutive sign-in failed, no big prize won". Design 10 is a historical activity interface. After the activity ends, if the user needs to sign in, the user clicks the "sign-in to win a prize" button. After the user successfully signs in, the button displays "consecutive sign-in successful, big prize won". Design 10 shows the interface change state diagram. In each view, the characters represented by the letter 'X' can be replaced, and the number of the letter 'X' does not constitute a limitation on the number of replaced characters. The blank part of the interface is a content screen.

An enterprise network has network assets, with each network asset having a network interface. A network graph has the network assets as nodes and connections between network interfaces of network assets as edges. An activity graph has nodes and edges, with each node representing a logical resource that performs an activity on the enterprise network, and each edge representing a relationship between the logical resources. Subgraphs of the activity graph are aligned to subgraphs of the network graph to create a mapping based on network assets associated with activities. Activity subgraphs that are aligned to the same network subgraph are compared for similarity to detect anomalous activities. The network graph is displayed at different hierarchical levels as a visualization on a display screen, with risk assessments overlayed on corresponding nodes on the visualization.

The present disclosure provides a method and apparatus for process orchestration initialization, a computing device, a computer-readable storage medium, and a computer program product. The method comprises: acquiring an activity diagram code describing the workflow. The method further comprises: parsing the activity diagram code to generate a syntax tree structure corresponding to the workflow. In addition, the method further comprises: performing process orchestration initialization on the basis of the syntax tree structure.

1. The name of the design product: activity display module of order display graphical user interface for electronic device. 2. The use of the design product: an electronic device. 3. The design points of the design product: the part in the graphical user interface, the part outside the dashed line is the claimed part. 4. The picture or photo that best shows the design points: design 1 front view. 5. Design 1 is designated as the basic design. 6. The use of the graphical user interface: for displaying order list, the use of the claimed part is for displaying related recommended activities on order page. 7. The human-computer interaction mode of the graphical user interface: in design 1, the user can click the "enjoy discount" control in the interface of design 1 front view to view the discount activity details. In design 2, the user can click the "go and see" control in the interface of design 2 front view to view more shop list, or automatically play the content of the left closed coupon module, or can expand the content of the left closed coupon module by clicking. In design 3, the user can click the "enjoy discount" control in the interface of design 3 front view to view the discount activity details. In design 4, the user can click the "go and see" control in the interface of design 4 front view to view more shop list. In design 5, the user can click the "go and see" control in the interface of design 5 front view to view more discount activities. In design 6, when the user clicks the "frequently purchased good store" module on the right side of the interface of design 6 front view, the module content can be expanded to view details, and the interface changes from design 6 front view to design 6 interface change state diagram. In design 7, when the user clicks the "frequently purchased good store" module on the right side of the interface of design 7 front view, the module content can be expanded to view details, and the interface changes from design 7 front view to design 7 interface change state diagram. In design 8, when the user clicks the "frequently purchased good store" module on the right side of the interface of design 8 front view, the module content can be expanded to view details, and the interface changes from design 8 front view to design 8 interface change state diagram 1. When the user clicks the discount module on the right side of design 8 interface change state diagram 1, the module content can be expanded to view details, and the interface changes from design 8 interface change state diagram 1 to design 8 interface change state diagram 2.

The invention provides a helicopter transmission system modeling method based on MBSE, which applies MBSE to design of a helicopter transmission system, and comprises the following steps of: firstly, establishing an entries-based helicopter transmission system demand, carrying out system context description, establishing a system context module definition graph and a use case graph, converting a use case into an executable function flow, refining the use case, and carrying out modeling on the use case; constructing a transmission system black box activity diagram; establishing a transmission system logic architecture module definition diagram and a physical architecture module definition diagram according to the interface requirements and the activity diagram; and modeling the transmission system component to realize helicopter transmission system modeling. According to the method, the digital system model is constructed, the model is used as a drive, the demand is used as a traction, and the activities of gradually supporting system demand, design, analysis, verification, confirmation and the like starting from a concept design stage are supported, so that the research and development efficiency can be remarkably improved, and the problems of difficult collaboration, demand tracing deficiency and the like in a traditional document-driven development mode are solved.

The invention discloses a secondary radar embedded software development framework based on a unified modeling language, and relates to the technical field of secondary radar software development. The framework comprises a system requirement modeling module used for obtaining system function requirements through a use case graph based on system functions and external interaction; the architecture design modeling module is used for separating the embedded software development framework into a hardware abstraction layer, a signal processing layer and an application function layer by utilizing a package diagram and a class diagram based on system function requirements, and determining interfaces among the three layers; the behavior logic modeling module is used for presenting interaction and execution processes among the three layers through a sequence diagram and an activity diagram; and the operation mechanism modeling module is used for presenting the switching relation among the working mode, the state switching and the abnormal recovery through the state diagram. According to the invention, the development efficiency is improved, the operation stability is enhanced, and the whole life cycle cost of the system is reduced in the development process.

The invention provides a structured demand-based missile-borne embedded software test modeling automatic generation method, which comprises the following steps of: aiming at the characteristics of missile-borne embedded software, describing the behaviors of a missile-borne embedded software system by adopting a structured mode to form a structured demand-based standard expression template, establishing a mapping rule corresponding to the structured demand and the activity graph; the method comprises the following steps: according to a test demand and a standard expression template of a missile-borne embedded software system, filling in a structured demand template capable of completely expressing test demand information, and storing the structured demand template as an XML document; reading and analyzing the XML document, and converting the structured demand template into an activity graph according to a mapping rule, namely generating a test model; according to the method, behaviors of a missile-borne embedded software system can be described on the basis of a structured mode, meanwhile, the relation between structured demand elements and an activity graph is established, and a relevant conversion algorithm is designed to achieve automatic generation from the structured missile-borne embedded demand to a test demand model.

The invention discloses a SysML activity diagram verification method and system based on a big language model collaborative intelligent agent, and belongs to the technical field of formal verification. The method comprises the following steps: extracting a structured description of a SysML activity diagram; performing semantic analysis on the natural language constraint and the structured description based on a large language model, and generating a semantic framework and a PlantUML code according to a semantic analysis result; the PlantUML code is provided for a large language model, and a PRISM model is generated; providing the SysML activity diagram and the semantic framework for a large language model, and generating a PCTL rule; and verifying the PRISM model according to a PCTL rule to obtain a verification result of the SysML activity diagram. According to the method, efficient, accurate and explainable automatic verification of the SysML activity diagram can be realized.