On the Emergence of Properties in Component-Based Systems

José Luiz Fiadeiro

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

13 Citations (Scopus)


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.
Original languageEnglish
Title of host publicationAMAST 1996
Subtitle of host publicationAlgebraic Methodology and Software Technology
Place of PublicationBerlin
PublisherSpringer Verlag
Number of pages23
ISBN (Electronic)9783540685951
ISBN (Print)9783540614630
Publication statusPublished - 1996
EventAMAST 1996: 5th International Conference on Algebraic Methodology and Software Technology - Munich, Germany
Duration: 1 Jul 19965 Jul 1996

Publication series

NameLecture Notes in Computer Science


ConferenceAMAST 1996


Dive into the research topics of 'On the Emergence of Properties in Component-Based Systems'. Together they form a unique fingerprint.

Cite this