Quotient de spécifications pour la réutilisation de composants
Jean-Baptiste Raclet · 2007
The problem of component reuse is studied at a behavioral level rather than at a signature level. We address the behavioral reuse of a component by describing a quotient operation. Starting from the specifications of the behaviors of the component and of the desired overall system, this operation computes the residual specification characteristic of the systems that, when composed with the given component, satisfy the overall specification. We first define a quotient operation when behaviors are given by modal specifications and when the composition is the synchronous product. This work is then extended to acceptance specifications to deal with weak form of liveness properties. We also define a quotient operation when composition allows mixed product and internalization of events. As a result the synthesized system may restrict the behavior of the reused component and also directly contribute to the realization of the global specification.