Research On Automatic Generation Method Of Formal System Model Based On UML Sequence Diagram

Accompanied by the pace of the rapid development of global information,system model application form academia and industry is becoming increasingly common,form modeling system become an important safeguard to build safety systems.Unified Modeling Language is a way to describe the visual system model behavior of visual language.Although both Unified Modeling Language plays a vital role in software design,development and testing process,but due to the graphic visualization of the lack of precise UML semantics description.For demanding system design specifications,model validation is more difficult when designing personnel to bring more challenges.Automatically generate and implement a hot issue to be solved in the form of the model system.In this paper,the main innovation of this work is divided into the following three parts:(1)The system according to the demand of scene model system is given semantic description.System model is Kripke structure,and gives the semantic description of the system in the form of the model.Semantic description of the system model to be extended,semi-formal semantic descriptions are given to describe the system model UML sequence diagram and finite state machine.Within the semantic description by UML sequence diagram of an object,execution deterministic finite state machine(Execution Deterministic Finite State Machine,EDFSM)is described in the form.(2)In UML2.0 sequence diagram already exists on the basis of fragments.A new Stop fragment binds Alt and Neg two fragments proposed system applicable to special scenes,Stop system model fragment for terminating events proceed if necessary.Determine the semantic description of a finite state machine based on UML sequence diagram and execution,it is proposed standard UML sequence diagram and UML sequence diagram with a single fragment of an object to perform deterministic finite state machine generation rules algorithm.(3)Combined UML model semantic description and FSP(Finite State Process,FSP)process algebraic notation,it describes the depth-first search algorithm and its improvements.Improved depth-first search algorithm design and automate output FSP model,using LTSA(Labeled Transition system Analysis)tool to achieve the system automatically generated form of the model object.This selection of the candidates basic online registration system as an example,to achieve the automatic generation system in the form of model-based depth-first search algorithm,and use MCA_ETGBA model checking tool to verify the feasibility of the system in the form of model generation algorithm.Automatic model generation system in the form of semi-formal modeling solves the lack of semantic description insufficient to regulate the high demand system provides an efficient way.