Synthesis Of Behavioral Models Based On Scenarios

Requirement engineering, whose goal is to obtain precise description of requirement and the limit of the result, is of great importantance in the initial stage of software engineering. As requirement engineering is developing, requirement elicitation based on scenarios is gradually taken seriously. And the methods and tools for requirement elicitation come into being.This dissertation, which is based on the study of requirements elicitation, scenario, scenario synthesis at present, focuses on how to systhesize behavioral models from scenarios that stakeholders provide. This paper firstly analyzes the present scheme of scenarios, and then imports imporved MSC which supports state conditions. We translate MSC description into Finite State Process, and then synthesis an LTS model from an FSP description by Labeled Transition System.The value of the dissertatio: With the development of the requirements engineering, developers realize that only end users take part in the process of development and play the leading role, can problems be solved effectively, the wide gap between computer and application be smoothed away. We should find an effective way to improve the quality of the requirements engineering and shorten the distance of theories and application. Synthesis of behavioral models from scenarios, which places emphasis on user participation, helps build a common ground between stakeholders and developers. And it is able to detect and analyze the scenarios and the relation between scenarios, so as to improve the quality and efficiency of requirement engineering.