Research On Requirement Acquirement About Complex System Formal B Method

Acquirement software requirement is a crucial step in the process of software development. Typical software requirement acquirent methods mainly included in the traditional requirement acquirement and the modern requirement acquirements. The traditional requirements acquirement included in the survey, interviews, analysis of existing documents,and so on. The moderen requirement acquirement mainly included scern-based,prototype-based,knowledge-based, and so on.These requirements acquirement technology is mainly face-to-face interaction,this method needs analysis experts in the field or through consultations such as chat or a group of system users from the original requirement acquirement information. Well,If you want to describe the life systems,biological systems,or social systems,the above-mentioned methods does not seem to fit to obtain these requirements,we are unable to conduct a survey,interviews,etc.Since the 1998,the study of complex network simplifys complex systems to nodes and lines. Complex network that is true of a large number of real-world network system to simplify the description of an ideal,with the in-depth study of network physical meaning and mathematical properties,it was found that many real networks have a common nature,that is,the structure ---Community. To reveal the community structure of network is very important for the understanding of network structure and analysis of network characteristics.Based on this,this paper present a requirement acquirment method based on the community division of complex network,the current the algorithm of community division has a lot. In this article we select a few representatives of the algorithm to study and compare,and present a new algorithm thinking based on time and space.This paper made the following works:(1) Make a summary of the existing requirement acquirement methods: Make a analysis and summary about modern requirement acquirment methods.(2) Propose a new algorithm think based on the time-space function: We study the community algorithm of complex network, and made a comparative analysis of several algorithms, and proposed an algorithm based on the time-space function, and have done an algorithm comparison by case study.(3) Community algorithm as a new requirements acquirement:We described complex system by complex network, and proposed requirements acquirement by community algorithm, then describe the requirement information by formal B. This can avoid the ambiguity of requirement.(4) The description of immune system case:Make a model of the humoral immune system by UML. We acquire requirement by complex network technology, then describe the requiremen with B machine.(5) The refinement and implementation of immune system case:We refine the B machine and realize the simulation by JAVA.Finally,in this paper,we give an case study of the immune system,we use community algorithm to obtain software requirement,and then use the UML diagram to describe the results of the requirement. And we use formal B method to describe UML diagram. And then we use Atelier-B tools supported by the B method to dynamic analysis and model checking in order to ensure the accuracy of specifications and reliability,and realize immune system simulation program. This thinking provide a new simulation method for life systems.