A mathematical toolbox for the software architect

J. L. Fiadeiro, T. Maibaum

Research output: Chapter in Book/Report/Conference proceedingConference contribution

30 Citations (Scopus)

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 languageEnglish
Title of host publicationProceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996
PublisherAssociation for Computing Machinery
Pages46-55
Number of pages10
ISBN (Print)0818673613
DOIs
Publication statusPublished - 22 Mar 1996
Event8th International Workshop on Software Specification and Design, IWSSD 1996 - Velen, Germany
Duration: 22 Mar 199623 Mar 1996

Conference

Conference8th International Workshop on Software Specification and Design, IWSSD 1996
CountryGermany
CityVelen
Period22/03/9623/03/96

Keywords

  • Software tools
  • Software architecture
  • Connectors
  • Logic design

Fingerprint Dive into the research topics of 'A mathematical toolbox for the software architect'. Together they form a unique fingerprint.

Cite this