Modeling And Verification Of Software Requirements Based On UML Models And Petri Nets

Requirement Analysis (RA) plays a critical role in Software Life Cycle. With the increase of software's scale and complexity, Requirement Analysis is directly related to reliability, cost, and safety of a software system. Therefore, it becomes very important to improve efficiency and quality of Requirement Analysis.In order to enhance the accuracy, completeness and consistency of software requirements, and on the basis of Unified Modeling Language (UML) and Timed and Controlled Petri Net (TCPN), an approach for building and verifying requirement models is proposed in this thesis. Firstly, a scenario language for requirement descriptions is presented, the TCPN is defined and transformation rules for generating Petri net is established. After Requirement Analysis, requirement models based on the use case diagram and TCPN are built. Secondly, for the requirement model being established, the criteria for the requirement quality assessment are defined and requirement models are verified by analyzing the Petri net model established. Finally, based on Model Driven Architecture (MDA), a tool for automatically building requirement models is designed, which is able to elicit requirements efficiently, build requirement models automatically and generate the Software Requirement Specification (SRS) automatically. The practice has shown that the tool can significantly improve the efficiency and quality of Requirement Analysis.