A mathematical toolbox for the software architect
- 23 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
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 R. Allen and D. Garlan (1994), and M. Moriconi and X. Qian (1994), are adduced to justify this claim.Keywords
This publication has 18 references indexed in Scilit:
- Superimposition for interacting processesPublished by Springer Nature ,2005
- Exoskeletal softwarePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Software architecture: practice, potential, and pitfallsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Institutions: abstract model theory for specification and programmingJournal of the ACM, 1992
- A categorical manifestoMathematical Structures in Computer Science, 1991
- Constructing distributed systems in ConicIEEE Transactions on Software Engineering, 1989
- Action system approach to the specification and design of distributed systemsPublished by Association for Computing Machinery (ACM) ,1989
- Distributed cooperation with action systemsACM Transactions on Programming Languages and Systems, 1988
- Reusing and Interconnecting Software ComponentsComputer, 1986
- Fundamentals of Algebraic Specification 1Published by Springer Nature ,1985