Software architecture is a new discipline in computer science, the architecture description language is one of the keys to design and research a software architecture. In this paper, an architecture description language (ZDADL) is put forward, which bases on graphics and has formal description. The CSP theory is chosen as the formal theoretical basis in software architecture description language. ZDADL has usability and validity, not only can describes the static software architecture, but also the dynamic software architecture, and supports several views of software architecture such as logic model, topologic model, dynamic model, physical model and implemented model. In ZDADL, put forward the concept of "link between connectors" which makes connectors description more reasonably, and develop a software architecture graphic sub-language. With ZDADL, we can analyze, design, evaluate, and check heterogeneous software architectures, whether large or small software systems.
展开▼
