Synthesising interconnections

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

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

Abstract

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
PublisherSpringer
Pages240-264
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
PublisherSpringer

Conference

ConferenceIFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi,
CountryFrance
CityAlsace
Period17/02/9722/02/97

Keywords

  • Synthesis
  • interconnection
  • Incremental development
  • complex systems

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

  • Cite this

    Fiadeiro, J. L., Lopes, A., & Maibaum, T. S. E. (1997). Synthesising interconnections. In R. S. Bird, & L. Meertens (Eds.), Algorithmic Languages and Calculi (pp. 240-264). (IFIP Advances in Information and Communication Technology). Springer . https://link.springer.com/chapter/10.1007/978-0-387-35264-0_10#citeas