Quotient de spécifications pour la réutilisation de composants

par Jean-Baptiste Raclet

Thèse de doctorat en Informatique

Sous la direction de Éric Badouel.

Soutenue en 2007

à Rennes 1 .


  • Résumé

    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.

  • Titre traduit

    Residual of specifications for component reuse


  • Résumé

    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.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (II-94 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 91-94

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 2007/180
  • Bibliothèque : Centre de recherche INRIA Rennes - Bretagne Atlantique. Service IST.
  • PEB soumis à condition
  • Cote : D.2 - RAC
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.