Affiliation:
1. Air Force Research Laboratory, Information Technology Division, 525 Brooks Road, Rome, New York 13441-4505, USA
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.
Publisher
World Scientific Pub Co Pte Lt
Subject
Artificial Intelligence,Computer Graphics and Computer-Aided Design,Computer Networks and Communications,Software
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Architecture-Based Semantic Description Framework for Model Transformation;2021 5th International Conference on Natural Language Processing and Information Retrieval (NLPIR);2021-12-17
2. MODELING AND VERIFYING COMPOSITE DYNAMIC EVOLUTION OF SOFTWARE ARCHITECTURES USING HYPERGRAPH GRAMMARS;International Journal of Software Engineering and Knowledge Engineering;2013-08
3. MY ARCHITECTURE: A KNOWLEDGE REPRESENTATION META-MODEL FOR SOFTWARE ARCHITECTURE;International Journal of Software Engineering and Knowledge Engineering;2008-11
4. Research on Software Architecture for Expert System in Practice;2008 Third International Conference on Pervasive Computing and Applications;2008-10
5. Formalization of Architecture-Centric Model Mapping Using Category Theory;Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007);2007-07