A mathematical semantics for architectural connectors

J. L. Fiadeiro; A. Lopes; M. Wermelinger

doi:10.1007/978-3-540-45191-4_5

A mathematical semantics for architectural connectors

J. L. Fiadeiro
, A. Lopes
, M. Wermelinger

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

36 Citations (Scopus)

Abstract

A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen's categorical approach to General Systems Theory and other algebraic approaches to specification, concurrency, and parallel program design. This semantics is, essentially, ADL-independent, setting up criteria against which formalisms can be evaluated according to the support that they provide for architectural design. In particular, it clarifies the role that the separation between computation and coordination plays in supporting architecture-driven approaches to software construction and evolution. It also leads to useful generalisations of the notion of connector, namely through the use of multiple formalisms in the definition of the glue and the roles, and their instantiations with programs or system components that can be implemented in different languages or correspond to "real-world" components.

Original language	English
Title of host publication	A Mathematical Semantics for Architectural Connectors
Place of Publication	Berlin
Publisher	Springer Verlag
Chapter	5
Pages	178-221
Number of pages	44
ISBN (Electronic)	9783540451914
ISBN (Print)	9783540201946
DOIs	https://doi.org/10.1007/978-3-540-45191-4_5
Publication status	Published - 2003

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
Volume	2793
ISSN (Print)	0302-9743

Keywords

Software Architecture
Architectural Design
Linear Temporal Logic
Output Channel
Input Channel

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-540-45191-4_5

Cite this

@inbook{246cc538f552444e95a3b4c20a82042b,

title = "A mathematical semantics for architectural connectors",

abstract = "A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen's categorical approach to General Systems Theory and other algebraic approaches to specification, concurrency, and parallel program design. This semantics is, essentially, ADL-independent, setting up criteria against which formalisms can be evaluated according to the support that they provide for architectural design. In particular, it clarifies the role that the separation between computation and coordination plays in supporting architecture-driven approaches to software construction and evolution. It also leads to useful generalisations of the notion of connector, namely through the use of multiple formalisms in the definition of the glue and the roles, and their instantiations with programs or system components that can be implemented in different languages or correspond to {"}real-world{"} components.",

keywords = "Software Architecture, Architectural Design, Linear Temporal Logic, Output Channel, Input Channel",

author = "Fiadeiro, \{J. L.\} and A. Lopes and M. Wermelinger",

year = "2003",

doi = "10.1007/978-3-540-45191-4\_5",

language = "English",

isbn = "9783540201946",

series = "Lecture Notes in Computer Science",

publisher = "Springer Verlag",

pages = "178--221",

booktitle = "A Mathematical Semantics for Architectural Connectors",

address = "Germany",

}

TY - CHAP

T1 - A mathematical semantics for architectural connectors

AU - Fiadeiro, J. L.

AU - Lopes, A.

AU - Wermelinger, M.

PY - 2003

Y1 - 2003

N2 - A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen's categorical approach to General Systems Theory and other algebraic approaches to specification, concurrency, and parallel program design. This semantics is, essentially, ADL-independent, setting up criteria against which formalisms can be evaluated according to the support that they provide for architectural design. In particular, it clarifies the role that the separation between computation and coordination plays in supporting architecture-driven approaches to software construction and evolution. It also leads to useful generalisations of the notion of connector, namely through the use of multiple formalisms in the definition of the glue and the roles, and their instantiations with programs or system components that can be implemented in different languages or correspond to "real-world" components.

AB - A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen's categorical approach to General Systems Theory and other algebraic approaches to specification, concurrency, and parallel program design. This semantics is, essentially, ADL-independent, setting up criteria against which formalisms can be evaluated according to the support that they provide for architectural design. In particular, it clarifies the role that the separation between computation and coordination plays in supporting architecture-driven approaches to software construction and evolution. It also leads to useful generalisations of the notion of connector, namely through the use of multiple formalisms in the definition of the glue and the roles, and their instantiations with programs or system components that can be implemented in different languages or correspond to "real-world" components.

KW - Software Architecture

KW - Architectural Design

KW - Linear Temporal Logic

KW - Output Channel

KW - Input Channel

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

U2 - 10.1007/978-3-540-45191-4_5

DO - 10.1007/978-3-540-45191-4_5

M3 - Chapter

AN - SCOPUS:0142219261

SN - 9783540201946

T3 - Lecture Notes in Computer Science

SP - 178

EP - 221

BT - A Mathematical Semantics for Architectural Connectors

PB - Springer Verlag

CY - Berlin

ER -

A mathematical semantics for architectural connectors

Abstract

Publication series

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this