Sciweavers

ECOOPW
1999
Springer

Correct Composition of Design Components

13 years 9 months ago
Correct Composition of Design Components
In this paper, we describe a method for the composition of components that are relatively correct under a particular criterion. The notion of composition pattern is also introduced to reuse composition solutions to routine component composition problems. Once a composition pattern is proven correct, its instances can be reused many times. Thus, we propose reusing compositions as well as reusing components. The main points are illustrated by an example of the composition of two design patterns as design components. A proof of the correctness of two design patterns is provided.
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
Added 04 Aug 2010
Updated 04 Aug 2010
Type Conference
Year 1999
Where ECOOPW
Authors Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
Comments (0)