Home
Scholarly Works
A mathematical toolbox for the software architect
Conference

A mathematical toolbox for the software architect

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.

Authors

Fiadeiro JL; Maibaum T

Pagination

pp. 46-55

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Publication Date

January 1, 1996

DOI

10.1109/iwssd.1996.501146

Name of conference

Proceedings of the 8th International Workshop on Software Specification and Design
View published work (Non-McMaster Users)

Contact the Experts team