Research On The Formalization Of SoftWare Architecture Model

Software architecture (SA) is emerging as one of the primary research areas in software engineering recently and one of the key technologies to the development of large-scale software-intensive system. This result from the facts that since the software systems become more and more complex and they have larger and larger scale, the structure and specification of a whole system become more and more important. People gradually realize that SA play a important role in software development and a good SA is the factor which lead to success of a software system.Research on description of SA is the most active field in research on SA. At present there are many kinds of methods of SA description. Among them Software Architecture Description Language (ADL) is considered as a relatively general way. By use of ADL the developers more clearly describe the software system which they design so that they can communicate with others and avoid the fuzzy and inconsistent comprehension which non-formalized description lead to.There have been several public SA model such as pipe/filter model, client/server (C/S) model and so on. These SA models usually are composed to define the larger system. If these models are described by a certain ADL, developers can understand and use them in order to improve the efficiency of software development. Then developers can find bugs and errors at the stage of system design so as to avoid the occurrence of larger loss.With the popularization and development of information network, three tiers C/S model is widely applied .This paper gives a formal description of three tiers C/S model using Darwin and gives semantics for three tiers C/S model in the π -calculus, the formalization foundationof Darwin .Then we generalize this description and point out the importance of research on the formalization of software architecture model by web-based applied B/S structure.