Automatic conversion from application scenarios to state diagrams

Application scenarios describe the behavioral execution sequence of system functions using sequence diagrams from the users' point of view; state diagrams give an abstractive illustration of the results of the users' behavior changes from the angle of system. This paper, starting from one application scenario, describing formal definition of sequence diagrams and constraint semantics on objects as the input, studied the automatic conversion from sequence diagrams of the application scenario to state diagrams of objects in the basis of the Unified Modeling Language and the Object Constraint Language. The application scenario instance of an information publishing platform shows that the proposed method can effectively realize the automatic conversion from application scenarios to state diagrams and ensure consistency between models.