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.
KeywordsProduct Family Information Hiding Abstract Syntax Composition System Composition Class
Unable to display preview. Download preview PDF.