Un cadre méthodologique pour l'intégration de services par évitement des interactions
Institution:
Evry-Val d'EssonneDisciplines:
Directors:
Abstract EN:
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.
Abstract FR:
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.