ArchiMed : un canevas pour la détection et la résolution des incompatibilités des conversations entre services web
Institution:
Université Joseph Fourier (Grenoble)Disciplines:
Directors:
Abstract EN:
Web service interactions rely on message ex changes, modelling Web service aims at describing messages as weil from the structural point of view : as from the behavioural point of view. With this setting, a Web service's interface is defined as the set of messages it can receive and send, and the inter-dependencies between these messages. When a Web service evolves, its interface is more likely to be modified too. This leads to the situation where the provided interface of a service does not correspond to the one its partners expect. Ln this thesis, we introduce our techniques for the detection and the resolution of incompatibilities. Our contribution is the framework, namely ArchiMed. We analyse versions of a service interface in order to detect changes that cause clients using any of the earlier versions not to interact property with a i later version. We focus on behavioural incompatibilities and adopt the notion of simulation as a basis for determining if a new version of a service is 1 behaviourally compatible with a previous one. Our technique does not simply check if the new version of the service simulates the previous one, but: it goes on to identify other incompatibilities. The framework, has been tested on a collection of interfaces of standard business-to-business choreographies. The same service has to expose as many provided interfaces as collaborations it is involved in. This solution consists in supplying a mediator which is capable of matchmaking each of the required interfaces with the provided interface. The selection of the suitable mediator is based on the similarity measure between the provided interface an the required interface by the client.
Abstract FR:
La technologie des services web est aujourd'hui largement utilisée comme support de l'interopérabilité entre les applications. Dans ce cadre, les interactions entre deux applications encapsulées par des services web sont réalisées par le biais d'un ensemble d'échanges de messages appelé conversation. Une conversation peut échouer parce que l'interface fournie d'un participant a été modifiée et n'est plus compatible avec celle requise par l'autre participant. L'étude rapportée dans cette thèse porte sur la réconciliation de telles conversations. La solution proposée est le canevas ArchiMed. Dans un premier temps, une modélisation des interfaces comportementales par des automates est adoptée. Bans cette modélisation, seul le comportement externe (comportement observable) est considéré. Une fois les interfaces comportementales décrites en automates, une étape de détection des incompatibilités entre les différentes définitions de l'interface d'un service est réalisée. La détection des incompatibilités est automatique et portent sur des changements élémentaires dans les interfaces qui sont: l'ajout, la suppression et la modification d'opérations. Le canevas maintient les descriptions des versions successives de l'interface du service ainsi que l'ensemble minimal de médiateurs pour les clients puissent interagir avec le service au travers de l'une de ses versions. La sélection du médiateur est basée sur une mesure de similarité entre les interfaces afin de découvrir la description de l'interface fournie qui est conforme avec l'interface requise du client. La validation expérimentale du canevas, a été effectuée par le traitement d'une collection de tests.