@inproceedings{6d068809de3549699ca19a095a62dc8e,
title = "Synthesising interconnections",
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.",
keywords = "Synthesis, interconnection, Incremental development, complex systems",
author = "Fiadeiro, {Jos{\'e} Luiz} and Ant{\'o}nia Lopes and Maibaum, {T. S. E.}",
year = "1997",
language = "English",
isbn = "9781504128773",
series = "IFIP Advances in Information and Communication Technology",
publisher = "Springer ",
pages = "240--264",
editor = "Bird, {R. S. } and L. Meertens",
booktitle = "Algorithmic Languages and Calculi",
note = "IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, ; Conference date: 17-02-1997 Through 22-02-1997",
}