Synthesising interconnections

12 years 1 months ago
Synthesising interconnections
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.
José Luiz Fiadeiro, Antónia Lopes, T
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 1997
Where ALC
Authors José Luiz Fiadeiro, Antónia Lopes, T. S. E. Maibaum
Comments (0)