Sciweavers

ECBS
2000
IEEE

Ensuring Structure and Behavior Correctness in Design Composition

14 years 3 months ago
Ensuring Structure and Behavior Correctness in Design Composition
The design of a large component-based software system typically involves the composition of different components. Instead of relying on a free composition of components, we advocate that more rigorous analysis methods to check the correctness of component composition would allow combination problems to be detected early in the development process so that people can save considerable effort of fixing errors downstream. In this paper we describe a rigorous method for component compositionthat can be used to solve combination and integration problems at the (architectural) design phase of the software development lifecycle. In addition, we introduce the notion of composition pattern in order to promote the reuse of composition solutions to solve routine component composition problems. Once a composition pattern is proven correct, its instances can be used in a particular application without further proof. In this way, our proposed method involves reusing compositions as well as reusing ...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
Added 31 Jul 2010
Updated 31 Jul 2010
Type Conference
Year 2000
Where ECBS
Authors Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
Comments (0)