Semantics of architectural connectors

José Luiz Fiadeiro, Antónia Lopes

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

39 Citations (Scopus)


A categorical semantics is proposed for the notion of architectural connector in the style defined by Allen and Garlan which adopts notions of parameterisation similar to those developed for Abstract Data Type specification, and adapts them to formalisms for parallel program design. We show how many of the claims made in [1] can be formally substantiated, and generalised to formalisms other than CSP. Finally, we show how the categorical formalisation lends itself to useful generalisations of the notion of connector, namely through the use of multiple formalisms in the definition of the glue and the roles.
Original languageEnglish
Title of host publicationTAPSOFT '97
Subtitle of host publicationTheory and Practice of Software Development
EditorsM. Bidoit, M. Dauchet
Place of PublicationBerlin
PublisherSpringer Verlag
Number of pages17
ISBN (Electronic)9783540685173
ISBN (Print)9783540627814
Publication statusPublished - 1997
EventTAPSOFT'97: Theory and Practice of Software Development: 7th International Joint Conference CAAP/FASE - Lille, France
Duration: 14 Apr 199718 Apr 1997

Publication series

NameLecture Notes in Computer Science


ConferenceTAPSOFT'97: Theory and Practice of Software Development


  • Linear Temporal Logic
  • Parallel Composition
  • Full Embedding
  • Connector Type
  • Program Design Language

Fingerprint Dive into the research topics of 'Semantics of architectural connectors'. Together they form a unique fingerprint.

Cite this