Un cadre méthodologique pour l'intégration de services par évitement des interactions

par Karim Berkani

Thèse de doctorat en Informatique

Sous la direction de Pascale Le Gall.

Soutenue en 2003

à Evry-Val d'Essonne .


  • Résumé

    Les opérateurs téléphoniques offrent des services dans l'objectif d'autoriser un client à composer son propre bouquet de services. Les attentes exprimées pour chacun des services pris séparément peuvent faire émerger des conflits, nommées interactions. Nous proposons une méthode d'intégration de services à destination d'un expert qui tient compte des interactions détectées. Elle débute par une phase de conception comprenant une assistance outillée suivie par une phase de validation utilisant des techniques de test. La phase de conception est instantiée à l'aide d'un formalisme de type pre-post condition. Des propriétés exprimant des interactions potentielles comme le non-déterminisme ou la violation d'invariants sont à l'origine des heuristiques introduites pour la détection d'interactions. Des scénari d'intégration permettant de guider un expert sont en partie prototypés dans un outil et des études de cas ont été réalisées afin d'illustrer la méthodologie proposée.


  • Résumé

    Telephone operators supply features in order to enable customers to compose their own packages of features. The requirements of these features are expressed separately. However, put altogether, these requirements can yied conflicts, the so-called interaction. To solve this issue, we propose a feature integration method to be used by anexpert. This method takes into account the detected feature interactions. This method is made up of a design step with tool support which precedes a validation step based on testin techniques. An instance of the design step is defined by means of a pre-post condition formalism. Properties that express potential interactions as non-determinism or invariant violation are at the origin of heuristics introduced for the interactions detection. Integration patterns that guide the expert are partly programmed in our tool and several case studies have been used to illustrate our method.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 192 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 189-192

Où se trouve cette thèse ?

  • Bibliothèque : Université d'Evry-Val d'Essonne. Service commun de la documentation. Bibliothèque centrale.
  • Disponible pour le PEB
  • Cote : 004.65 BER cad

Cette version existe également sous forme de microfiche :

Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.