Research On Pi-calculus-Based Software Architecture Refinement

Along with the adding of user's requirement to software systems, the complexity of software systems becomes higher. In order to ensure the reliability of software systems, the developers set out to pay more and more attention to software architecture. Software architecture becomes the key factor of determining the software quality, and then becomes a hot topic in software engineer. But the initial software architecture just only contains some main functions of software, and another non-function attributes and details should be added to it as refinement is coming out, so that software refinement is seemed as a very important task.Architecture refinement is such a complicated and difficult task that only giving the concrete software architecture to abstract software architecture is not enough. It should provide with rules to make sure that the architecture refinement is correct. To be more specific, architecture refinement concerns on two primary aspects. One is the method of architecture refinement. The appropriate method is to be used to get the concrete architecture from the abstract architecture with some approach. The other is the rules of software refinement. They are used to guide architecture refinement, and provide with powerful support for correct architecture refinement.With the description framework of D-ADL, we propose the method of architecture refinement based on pi-calculus. At the same time, we think the key of software refinement is to make sure that the refinement satisfies for the constraints between the abstract system and concrete system. Firstly, it elaborates the refinement method, process and rules from the three sides namely structure, behavior and attribute. Secondly, it uses the behavior equivalence theory and MWB of pi-calculus to verify and detect the architecture refinement. Finally, it explains the validity of the above-mentioned refinement method with an ordering ticket system.