A mathematical semantics for architectural connectors

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

Research output: Chapter in Book/Report/Conference proceedingChapter

28 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 languageEnglish
Title of host publicationA Mathematical Semantics for Architectural Connectors
Place of PublicationBerlin
PublisherSpringer Verlag
Chapter5
Pages178-221
Number of pages44
ISBN (Electronic)9783540451914
ISBN (Print)9783540201946
DOIs
Publication statusPublished - 2003

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
Volume2793
ISSN (Print)0302-9743

Keywords

  • Software Architecture
  • Architectural Design
  • Linear Temporal Logic
  • Output Channel
  • Input Channel

Fingerprint

Dive into the research topics of 'A mathematical semantics for architectural connectors'. Together they form a unique fingerprint.

Cite this