Abstract
When several components are interconnected to form a complex system, they may exhibit more properties (individually) than they had when considered in isolation. When we consider a category SPEC of component specifications taken as theories in some logic, properties are expressed as sentences of the underlying logic, and emergence of properties can be characterised by the fact that the morphisms that connect component specifications to the system specification are not conservative. Depending on the relationship that can be established between SPEC and a corresponding category PROG of programs, we show that such emergence phenomena can be interpreted in more than one way: (1) considering an individual component, the rest of the system is acting as a “regulator” for that component which, therefore, has a more constrained behaviour and exhibits more properties; (2) the overall good behaviour of the system requires cooperation of the components (some sort of sociability with regard to the rest of the system) which gives rise to the emergence of new properties. Some of these forms of sociability are characterised and related to well known properties of concurrent systems such as fairness and, more generally, to the assumptions that are made on the environment in rely-guarantee styles of specification.
This work was partially supported by the Esprit WG 8319 (MODELAGE), the HCM Scientific Network CHRX-CT92-0054 (MEDICIS), and contract PRAXIS XXI 2/2.1/MAT/46/94 (ESCOLA)
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
M.Abadi and L.Lamport, “Composing Specifications”, ACM TOPLAS 15(1), 1993, 73–132.
R.Back and R.Kurki-Suonio, “Distributed Cooperation with Action Systems”, ACM TOPLAS 10(4), 1988, 513–554.
N.Barreiro, J.Fiadeiro and T.Maibaum, “Politeness in Object Societies”, in R.Wieringa and R.Feenstra (eds) Information Systems — Correctness and Reusability, World Scientific Publishing Company 1995, 119–134.
L.Bougé and N.Francez, “A Compositional Approach to Superimposition”, in Proc. 15th ACM Symposium on Principles of Programming Languages”, ACM Press 1988, 240–249.
R.Burstall and J.Goguen, “Putting Theories together to make Specifications”, in R.Reddy (ed) Proc Fifth International Joint Conference on Artificial Intelligence, 1977, 1045–1058.
K.Chandy and J.Misra, Parallel Program Design-A Foundation, Addison-Wesley 1988.
P.Collette, “Application of the Composition Principle to UNITY-like Specifications”, in M.C.Gaudel and J.P.Jouannaud (eds) TAPSOFT'93, LNCS 668, Springer-Verlag 1993, 230–242.
J.Fiadeiro and T.Maibaum, “Temporal Theories as Modularisation Units for Concurrent System Specification”, Formal Aspects of Computing 4(3), 1992, 239–272.
J.Fiadeiro and T.Maibaum, “Interconnecting Formalisms: supporting modularity, reuse and incrementality”, in G.E.Kaiser (ed) Proc. 3rd Symp. on Foundations of Software Engineering, ACM Press 1995, 72–80.
J.Fiadeiro and T.Maibaum, Categorical Semantics of Parallel Program Design, Technical Report, available at http://www.di.fc.ul.pt/∼llf
N.Francez and I.Forman, “Superimposition for Interacting Processes”, in CONCUR'90, LNCS 458, Springer-Verlag 1990, 230–245.
J.Goguen, “Mathematical Representation of Hierarchically Organised Systems”, in E.Attinger (ed) Global Systems Dynamics, Krager 1971, 112–128.
J.Goguen, “Categorical Foundations for General Systems Theory”, in F.Pichler and R.Trappl (eds) Advances in Cybernetics and Systems Research, Transcripta Books 1973, 121–130.
J.Goguen and R.Burstall, “Institutions: Abstract Model Theory for Specification and Programming”, Journal of the ACM 39(1), 1992, 95–146.
J.Goguen and S.Ginali, “A Categorical Approach to General Systems Theory”, in G.Klir (ed) Applied General Systems Research, Plenum 1978, 257–270.
R.Goldblatt, Logics of Time and Computation, CSLI 1987.
S.Katz, “A Superimposition Control Construct for Distributed Systems”, ACM TOPLAS 15(2), 1993, 337–356.
R.Kurki-Suonio and H.Järvinen, “Action System Approach to the Specification and Design of Distributed Systems”, in Proc. 5th Int. Workshop on Software Specification and Design, IEEE Press 1989, 34–40.
Z.Manna and A.Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag 1991.
D.Sannella and A.Tarlecki, “Building Specifications in an Arbitrary Institution”, Information and Control 76, 1988, 165–210.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fiadeiro, J.L. (1996). On the emergence of properties in component-based systems. In: Wirsing, M., Nivat, M. (eds) Algebraic Methodology and Software Technology. AMAST 1996. Lecture Notes in Computer Science, vol 1101. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014331
Download citation
DOI: https://doi.org/10.1007/BFb0014331
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61463-0
Online ISBN: 978-3-540-68595-1
eBook Packages: Springer Book Archive