Promotion of specifications

Summary form only given. We are interested in the promotion of algebraic specifications. Generally speaking, promotion is a reuse method that allows benefiting from the functionalities of existing specification components. Promotion propagates the operations in a given specification to make them available for a collection of multiple instances of the original specification. We propose different ways to promote existing operations. We also show that the same operation can be promoted in several ways leading to different new operations. Promotion is illustrated with a real application that consists of propagating the operations in a newsgroup to the global system news.