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.
Unable to display preview. Download preview PDF.