How to Make Invasive Composition Reliable

  • Uwe Aßmann


The first sections of this chapter present several formal features of compositions in invasive composition systems, of which many apply to other composition systems as well. We deal with criteria for sound invasive composition, discuss an extended information-hiding principle, list some criteria for termination of compositions, and apply the composition to the configuration and system build management. These criteria provide the basis for composition tools that check whether compositions are sound and do not destroy semantics of components, check whether composed systems are configured correctly, and check whether composed systems can be executed.


Product Family Information Hiding Abstract Syntax Composition System Composition Class 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Uwe Aßmann
    • 1
  1. 1.Dept. of Computer Science (IDA), Programming Environments Laboratory (PELAB)Linköpings UniversitetLinköpingSweden

Personalised recommendations