Interopérabilité des services Web Complexes : Application aux systèmes multi-agents / Tarek Melliti ; sous la direction de Serge Haddad

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Intelligence artificielle répartie

Recherche opérationnelle

Web sémantique

Haddad, Serge (1956-....) (Directeur de thèse / thesis advisor)

Université Paris Dauphine-PSL (1968-....) (Organisme de soutenance / degree-grantor)

Relation : Interopérabilité des services Web Complexes : Application aux systèmes multi-agents / Tarek Melliti ; sous la direction de Serge Haddad / , 2004

Relation : Interopérabilité des services Web Complexes : Application aux systèmes multi-agents / Tarek Melliti ; sous la direction de Serge Haddad / Grenoble : Atelier national de reproduction des thèses , 2004

Résumé / Abstract : Ce travail porte sur la formalisation de l'interopérabilité opérationnelle entre deux systèmes communicants et plus particulièrement entre les services Web composites. La formalisation retranscrit la possibilité d'une interaction correcte entre deux systèmes communicant utilisant des spécifications différentes. Cette formalisation se matérialise en trois étapes: Premièrement, nous définissons l'observabilité comme référence d'abstraction pour exprimer la sémantique de différentes spécifications. Ensuite, nous proposons une relation de conformité sur les états de deux systèmes qui retranscrit la notion d'interaction correcte. Enfin, nous définissons un algorithme de synthèse qui, étant données la spécification d'un service composite et sa sémantique observable soit génère un client correct soit détecte une ambiguïté. Le travail a donné lieu à la réalisation d'une plate-forme de gestion d'interaction pour les services composites et un environnement d'intégration de systèmes multi-agents.

Résumé / Abstract : This work concerns the formalization of operational interoperabilility between two communicating systems and particularly between the composite services. Formalization retranscribes the possibility of a correct interaction between two communicating systems using different specifications. This formalization materializes in three steps: Firstly, we define the observability as a reference of abstraction to express the semantics of different specification. Then, we propose a relation of conformity on the states of two systems which retranscribes the concept of correct interaction. Lastly, we define a synthesis algorithm which, being given the specification of a composite service and its observable semantics, either generates a correct client or detect an ambiguous behaviour. This work lead to a realisation of a composite Web services interaction plate-form and an environment of multi-agent systems integration.