On the Emergence of Properties in Component-Based Systems

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

11 Citations (Scopus)

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.
Original languageEnglish
Title of host publicationAMAST 1996
Subtitle of host publicationAlgebraic Methodology and Software Technology
Place of PublicationBerlin
PublisherSpringer Verlag
Pages421-443
Number of pages23
ISBN (Electronic)9783540685951
ISBN (Print)9783540614630
DOIs
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
PublisherSpringer
Volume1101

Conference

ConferenceAMAST 1996
CountryGermany
CityMunich
Period1/07/965/07/96

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

  • Cite this

    Fiadeiro, J. L. (1996). On the Emergence of Properties in Component-Based Systems. In AMAST 1996: Algebraic Methodology and Software Technology (pp. 421-443). (Lecture Notes in Computer Science; Vol. 1101). Springer Verlag. https://doi.org/10.1007/BFb0014331