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.
KeywordsSynthesis interconnection incremental development complex systems.
- Dimitrakos, T. (1996), The Implementation of PO-specifications, Research Report, Imperial College.Google Scholar
- Fiadeiro, J. (1996) On the Emergence of Properties in Component-Based Systems, in M.Wirsing and M.Nivat (eds) AMAST’96, LNCS 1101, Springer-Verlag, 421–443.Google Scholar
- Fiadeiro, J. and Maibaum, T. (1995) Interrconnecting Formalisms: supporting modularity, reuse and incrementality, in G.E.Kaiser (ed) Proc. 3rd Symp. on Foundations of Software Engineering, ACM Press, 72–80.Google Scholar
- Fiadeiro, J. and Maibaum, T. (1996) Categorical Semantics of Parallel Program Design. Science of Computer Programming, in print.Google Scholar
- Goguen, J. (1973), Categorical Foundations for General Systems Theory, in F.Pichler and R.Trappl (eds) Advances in Cybernetics and Systems Research, Transcripta Books, 121–130.Google Scholar
- Goguen, J. and Ginali, S. (1978) A Categorical Approach to General Systems Theory, in G.Klir (ed) Applied General Systems Research, Plenum, 257–270.Google Scholar
- MacLang, S. (1971) Category Theory for the Working Mathematician. Springer-Verlag.Google Scholar
- Sassone, V., Nielsen, M. and Winskel, G. (1993), A Classification of Models for Concurrency, in E.Best (ed) CONCUR’93, LNCS 715, Springer-Verlag, 82–96.Google Scholar
- Srinivas, Y. and Jüllig, R. (1995), Specware™: Formal Support for Composing Software, in B.Möller (ed) Mathematics of Program Construction, LNCS 947, Springer-Verlag.Google Scholar