A compositional approach to connector construction

Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro

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

8 Citations (Scopus)

Abstract

We develop a notion of higher-order connector towards supporting the systematic construction of architectural connectors for software design. The idea is that individual properties of connectors, such as security and fault-tolerance, can be designed separately as higher-order connectors. Complex connectors can then be described as suitable combinations of higher-order connectors and basic connectors. We use CommUnity, a Unity-like parallel program design language that we have been using for formalising aspects of architectural design, for illustrating our approach to the compositional construction of connectors and also to motivate the categorical semantics of higher-order connectors that we propose.

Original languageEnglish
Title of host publicationRecent Trends in Algebraic Development Techniques
Subtitle of host publication15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Selected Papers
EditorsM. Cerioli, G. Reggio
Place of PublicationBerlin
PublisherSpringer Verlag
Pages201-220
Number of pages20
ISBN (Electronic)9783540456452
ISBN (Print)3540431594, 9783540431596
DOIs
Publication statusPublished - 2002
Event15th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2001, Joint with the CoFI WG Meeting - Genova, Italy
Duration: 1 Apr 20013 Apr 2001

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume2267
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference15th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2001, Joint with the CoFI WG Meeting
Country/TerritoryItaly
CityGenova
Period1/04/013/04/01

Keywords

  • Software Architecture
  • Private Action
  • Compositional Approach
  • Private Variable
  • Program Design Language

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'A compositional approach to connector construction'. Together they form a unique fingerprint.

Cite this