Synthesising interconnections

José Luiz Fiadeiro, Antónia Lopes, T. S. E. Maibaum

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


In the context of the modular and incremental development of complex systems, viewed as interconnections of interacting components, new dimensions and new problems arise in the calculation of programs from specifications. A particularly important aspect for extending existing methods to address composite systems is the ability, given programs that realise component specifications, to synthesise the interconnections between them in such a way that the system specification is realised. Taking our cue from earlier work on General Systems Theory (Goguen, 1973) and more recent work on parallel program design (Fiadeiro and Maibaum, 1996), we discuss, characterise and provide solutions for the synthesis of interconnections using a categorical framework in which components are modelled as objects (either specifications or programs) and morphisms are used to express interconnections between components.
Original languageEnglish
Title of host publicationAlgorithmic Languages and Calculi
EditorsR. S. Bird, L. Meertens
Number of pages25
ISBN (Electronic)9780387352640
ISBN (Print)9781504128773
Publication statusPublished - 1997
EventIFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, - Alsace, France
Duration: 17 Feb 199722 Feb 1997

Publication series

NameIFIP Advances in Information and Communication Technology


ConferenceIFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi,


  • Synthesis
  • interconnection
  • Incremental development
  • complex systems


Dive into the research topics of 'Synthesising interconnections'. Together they form a unique fingerprint.

Cite this