Abstract
It is suggested that Category Theory provides the right level of mathematical abstraction to address languages for describing software architectures. Contrarily to most other formalisations of SA concepts, Category Theory does not promote any particular formalism for component and connector description but provides instead the very semantics of the concepts that are related to the gross modularisation of complex systems like "interconnection", "configuration", "instantiation" and "composition". Two examples, a category of programs for a parallel program design language and a category of temporal logic specifications, together with comparisons with other work, namely by Allen and Garlan, and Moriconi and Qian, are adduced to justify this claim.
Original language | English |
---|---|
Title of host publication | Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996 |
Publisher | Association for Computing Machinery |
Pages | 46-55 |
Number of pages | 10 |
ISBN (Print) | 0818673613 |
DOIs | |
Publication status | Published - 22 Mar 1996 |
Event | 8th International Workshop on Software Specification and Design, IWSSD 1996 - Velen, Germany Duration: 22 Mar 1996 → 23 Mar 1996 |
Conference
Conference | 8th International Workshop on Software Specification and Design, IWSSD 1996 |
---|---|
Country/Territory | Germany |
City | Velen |
Period | 22/03/96 → 23/03/96 |
Keywords
- Software tools
- Software architecture
- Connectors
- Logic design
ASJC Scopus subject areas
- Software