Specification of software Architecture

摘要

Over the past several years, software architecture representation an analysis has be- come and active area of research. However, most approaches to software architecture reepresentation and analysis have been informal. We postulate through formality, the term "architecture" can be precisely defined and important properties of system, such as semantic compatibility between connect entities, can be investigate with pre- cision. In this paper, we use category theory and algebraic specifications to develop a formal definition of architecture and show how architecture theory can be used in the construction of software specifications.