Requirement Analysis Modeling Based On Colored Petri Nets And AiSports System Implementation

With the rapid innovation of IT technology,software development and mobile internet techniques,the scale and complexity of software system have been increasing,which lead to emerging of software quality issues.It becomes a urgent issue that how to ensure the quality and efficiency of software development.Applied to concurrent and asynchronous dynamic analysis system,Colored Petri Nets is a graphical modeling tool that have strictly definition of syntax,which can be used effectively in modeling and model analysis at each stage of system development.In the process of software development.Using Colored Petri Nets to establish requirement model during the phase of requirement analysis can detect and process the flaws in time so that it is able to ensure the accuracy,completeness and validity of software requirement analysis and secure quality and efficiency of software development.Starting with the background of software development and Colored Petri Nets,the current situation of software development model and Colored Petri Nets and Android system architecture and related technology,this thesis the combination of software development process and modeling of Colored Petri Nets to construct the modeling framework of Colored Petri Nets in the development process of APP and modeling approaches of APP requirement analysis based on the Colored Petri Nets through analyzing the advantages and disadvantages of common software development model and researching on the modeling methods of requirement analysis in the development of APP.Then,taking the example of aiSports system development,modeling framework and modeling method of requirements analysis mentioned previously are used for functional requirement modeling at the phase of requirement analysis in the process of this system development.With registration and logining module and homepage module,for example,Colored Petri Nets models in each functional module are established,and after a reasonable verification and analyzing of the model,an accurate and complete requirements analysis and specification will be given,When getting flow chart of functional modules according to the requirements mentioned above,specific functional modules can be designed based on this flow chart and the implementation process of code of registration and logining module and homepage module can be competed,and view effects and testing results of these two modules in the aiSports system then will be presented.The implementation of aiSports system client in practice have proved the correctness and practicality of Colored Petri Nets modeling framework in the process of software development of APP,but also verified the feasibility of modeling approach of requirements analysis of software development based on Colored Petri Nets.