Quotient de spécifications pour la réutilisation de composants
Institution:
Rennes 1Disciplines:
Directors:
Abstract EN:
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.
Abstract FR:
Nous étudions la réutilisation d'un composant à un niveau comportemental plutôt qu’au niveau de sa signature grâce à une opération de quotient de spécifications. Partant des spécifications des comportements du composant à réutiliser et du système global désiré, cette opération calcule la spécification résiduelle caractérisant les systèmes qui, lorsqu'ils sont composés avec la composant de départ, satisfont la spécification globale. Nous définissons le quotient des spécifications modales lorsque la composition est le produit synchrone. Ce travail est étendu aux spécifications à ensembles d'acceptation afin de pouvoir exprimer certaines propriétés de vivacité locale. On définit aussi une opération de quotient lorsque la composition est le produit de mixage avec internalisation d'événements. Ainsi, le système synthétisé peut restreindre le comportement du composant réutilisé mais aussi contribuer à la réalisation de la spécification globale.