A mathematical toolbox for the software architect

J. L. Fiadeiro; T. Maibaum

doi:10.1109/IWSSD.1996.501146

A mathematical toolbox for the software architect

J. L. Fiadeiro
, T. Maibaum

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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	https://doi.org/10.1109/IWSSD.1996.501146
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

Access to Document

10.1109/IWSSD.1996.501146

Cite this

@inproceedings{815f7014b81d46e694111689bb1847f9,

title = "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 Allen and Garlan, and Moriconi and Qian, are adduced to justify this claim.",

keywords = "Software tools, Software architecture, Connectors, Logic design",

author = "Fiadeiro, \{J. L.\} and T. Maibaum",

year = "1996",

month = mar,

day = "22",

doi = "10.1109/IWSSD.1996.501146",

language = "English",

isbn = "0818673613",

pages = "46--55",

booktitle = "Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996",

publisher = "Association for Computing Machinery",

note = "8th International Workshop on Software Specification and Design, IWSSD 1996 ; Conference date: 22-03-1996 Through 23-03-1996",

}

Fiadeiro, JL & Maibaum, T 1996, A mathematical toolbox for the software architect. in Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996. Association for Computing Machinery, pp. 46-55, 8th International Workshop on Software Specification and Design, IWSSD 1996, Velen, Germany, 22/03/96. https://doi.org/10.1109/IWSSD.1996.501146

TY - GEN

T1 - A mathematical toolbox for the software architect

AU - Fiadeiro, J. L.

AU - Maibaum, T.

PY - 1996/3/22

Y1 - 1996/3/22

N2 - 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.

AB - 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.

KW - Software tools

KW - Software architecture

KW - Connectors

KW - Logic design

UR - https://www.scopus.com/pages/publications/84921812690

U2 - 10.1109/IWSSD.1996.501146

DO - 10.1109/IWSSD.1996.501146

M3 - Conference contribution

SN - 0818673613

SP - 46

EP - 55

BT - Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996

PB - Association for Computing Machinery

T2 - 8th International Workshop on Software Specification and Design, IWSSD 1996

Y2 - 22 March 1996 through 23 March 1996

ER -

A mathematical toolbox for the software architect

Abstract

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this