Research On Requirements Modeling Based On Scenarios

With the rapid development of time, People have already begun to realize the importance of software engineering. The current challenge is whether software system of high quality can be provided at a rate that keeps up with users' needs and at competitive prices. Experiences in developing software indicate that precise understanding of user requirements is the key to the successful creation of a new software system. This thesis focuses on the problem of modeling user requirements. The leading instructional ideology in this thesis is that software requirement must truly reflect the users' needs. By so doing, scenario is adopted to capture user requirements in the early phase and documented with Interface Automaton (IA) in the later phase. Thus, the formal requirement specification paves the way to the success of the software system under development. The following topics are discussed in this thesis:Specifically, this article briefly discusses the main scenes and formal methods of knowledge. Details of the scene, said a new law IA - UCM. Formal methods are introduced to the concept, classification, formal specification language, the use and evaluation of the status quo, based on formal methods of software development processes. Finally, a brief overview of the two standard formal description techniques, namely the message sequence chart (MSC) and interface automata, and then the introduction of fluid variables and the interface message sequence chart automata introduced annotated with message sequence chart and annotated with interface automata. An automaton-based software interface needs of the entire process of modeling methods, focusing on how to obtain the requirements and how to capture the needs and software requirements for formal recognition and validation of the Statute and other issuesIn this paper, the contributions of this thesis are presenting a UCM&IA based method to model software requirement, discussing the process in detail and describing the requirements of a small real-time system (Automated Teller Machine, ATI). The problems raised by this thesis's discussion include combining the method and the UML modeling language and further research on case study on a large scale.