Specification of Software Architecture

Abstract

Over the past several years, software architecture representation and analysis has become an active area of research. However, most approaches to software architecture representation and analysis have been informal. We postulate that through formality, the term "architecture" can be precisely defined and important properties of systems, such as semantic compatibility between connected entities, can be investigated with precision. 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.

My Architecture: A Knowledge Representation Meta-Model for Software Architecture

“…Software architecture is concerned with constructing software systems based on components (encapsulation of functionality) and connectors (encapsulation of communication) [1][2][3][4][5]. By doing this, it shifts our focus of developing software systems from line-of-code to a higher level, which is a coarser-grained architecture element.…”