Automated Modeling And Analysis Of Textual Use Cases Based Software Requirements

In the phase of requirements engineering of software development,user requirements are usually described in natural language.The requirements based on the natural language description are very intuitive,but their correctness can not be verified easily.And,these requirement use cases need to be modeled and analyzed manually.With the continuous evolution of software systems and the increasing complexity of textual requirements,the cost of artificial modeling analysis will also rise rapidly,in order to improve the efficiency of software development and shorten the time of modeling and analysis,we need a method for automatic modeling.In the present research,there are some problems in automatic modeling of text requirements,one is that there are many restrictions on the natural language in the text writing,the other is that the modeling and analysis need human beings participation rather than automatic.In this paper,we propose an approach and its implementation for the automatic establishment of High-level Message Sequence Chart(HMSC)model and model detection for text requirement use case.In our approach,the natural language will not be restricted by prelocating the rules of the syntax matching,and the modeling and validation process are automatic and no excessive human participation is required.The main steps are as follows: 1)we set up a grammar matching rule for the sentence that need to be processed and extract information from the text requirements with the help of existing Natural Language Processing tools,and then we build a static model for textual use cases;2)we proposed a HMSC model and a transformation algorithm from the use case static model to the HMSC model;3)based on the HMSC model,the implementation of the model detection language Promela is generated to complete the validation of the requirements.Morever,in this paper we implements an automatic modeling and analysis tool for text requirements,and two examples “European Integrated Railway Radio Enhanced Network” and “Online Shopping Mall” are used to show how the tool automatic modeling and analysis.The main contributions of this paper are as follows: 1)We proposed a approach for extracting information from the text requirementuse case and establishing a use case static model.2)We propose a HMSC model,and how to transform a use case static model to a HMSC model,and prove its correctness.3)We put forward the transformation rules from the HMSC model to the Promela model,and the implementation algorithm.4)We implement a tool for textual requirement automatic modeling and analysis.