Algebraic Model and Formal Description Language of Software Architecture

From software architecture perspective, the software architecture is described by layer. We propose a model which is used abstract data type to formal describe elements of each layer of software architecture. Using the model mainly describes the relationship among elements of the software architecture. Based on the abstract data type theory, we can make operation on the model and we divide software architecture into four layers, which make the deep analyse and construction for the architecture easier. We also design a software architecture description language SADL which can be transformed into Java framework finally. SADL combines UML graphics and supports layer-description and refinement. All above work set up the basic of research for the software architecture.