We present a unifying conceptual framework for components, component interfaces,
contracts and composition of components by focusing on the collection of properties or qualities that they must share. A specific property, such as signature, functionality
behaviour or timing is an aspect. Each aspect may be specified in a formal language
convenient for its purpose and, in principle, unrelated to languages for other aspects.
Each aspect forms its own semantic domain, although a semantic domain may be parameterized by values derived from other aspects.
The proposed conceptual framework is introduced by small examples, using UML as concrete syntax for various aspects, and is illustrated by one larger case study based on an industrial prototype of a complex component based system.
|Title of host publication||Mathematical Frameworks for Component Software|
|Editors||Zhiming Liu, Jifeng He|
|Number of pages||27|
|Publication status||Published - 2006|
|Series||Component-Based Software Development|
- software development
- Software technology