Based On The Research Of B Method Aadl Model Generated

Model-Driven is a widely used method of software development, which can effectively improve the quality and efficiency of software development. Consequently, how to ensure the design model to meet the description of requirement is an urgent un-solved problem. In this paper, we have served AADL model which is constantly used in the development of performance critical systems as the basis, and propose a method using B method to describe the formal specification of requirement description, establish the mapping rules between B method and AADL, and convert requirement description of B method to AADL model, which can keep the correspondence between design model and requirement description.This paper is based on the important863national research project that the laboratory undertaken, focusing on the technologies and issues of AADL model generation on the baais of B method. The main components of paper are as follows:1. Aimed at the problem of how to verify the consistency between the designs models with demand for Model-Driven approach, proposed a development method combining the formal methods with Model-Driven approach. Analyzed the deficiencies of the traditional Model-Driven approach in the non-functional modeling, proposed an extension of Model-Driven approach.2. Described the mechanism of using the B method to describe the functional and non-functional system requirements.3. Researched the relationship between B method and AADL, and established the mapping rules between B method and AADL.4. Designed and implemented the AADL model generation based on B method tool, which can automatically generate part of design model from the demand.