The thesis defines a Compositional model for multi-flow architectures based on "composable" components.
This comprises
- the definition of a description formalism and introduction of the
concept of "composable" components
- the definition of a requirements driven automatic composition strategy
It is used for:
- building self-customizable systems through automatic composition of
components
- semantic verification of a component composition.
The approach is application-domain independent, it approaches the composition problem at the architectural level - addresses the systems that have a multi-flow architecture. Application domains where this compositional model was deployed are self-customizable network protocols and intelligent virtual instrumentation applications.