Research On Refinement Of Architecture Description Language Based On B Method

As the size and complexity of software increase, the overall system structure is becoming more and more complicated. Consequently, software design has its focus shifted from algorithm and data structure to software architecture. Software architecture has become one of the important factors in assuring software system qualities and one of the key technologies to the development of software product line. Therefore, it is emerging as a discipline of intense research in software engineering.Architecture Description Language (ADL) is one of the core problems of software architecture research. It is not only a basic tool to formalize description language of software architecture, but also a prerequisite and indispensable factor for refinement, checking, evolution and analysis of software architecture. Recently, many ADLs for architecture modeling have been proposed. And based on these ADLs developed, Medvidovic and Taylor proposed a frame for cataloging and comparing ADLs and took it to analyze the advantages and disadvantages of ten kinds of ADLs. They pointed out that nowadays the ADLs usually offer formalized symbolic description component, connector and system configure. It also offered tools to formalize and visualize software architecture. But it doesn' t perform well in refining software architecture, dynamic Software architecture, Software architecture analysis and realizing Software architecture. Little has been studied in these fields.According to this, the paper chooses ABC/ADL, which is an architecture description language lacking formalized semantic platform, uses B method, which is a kind of formalized method through event mechanism extension, to accurately describe ABC/ADL language. And using these methods, the paper puts forward component and connector observation models, based onwhich the definition of component and connector can be brought forward. Moreover, the paper puts special analysis to the refinement method on components and connector based on Software architecture description language. The main processes of this method are: firstly to describe the observation models of the initial components and connector with ABC/ADL;secondly to refine them until they can be coded. With an example about a database system that adopts the process of modeling, the practicability of this method is proved by its description and refinement. In the end, the paper concludes and forecasts the perspectives of this domain.