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