Identifiant pérenne de la notice : 247844594
Notice de type
Notice de regroupement
Note publique d'information : L'intégration d'applications dépeint les interactions dans lesquelles les processus
engagés participent afin d'atteindre un objectif commun, ainsi que les dépendances
entre les interactions. En conséquence, cette thèse concerne l'intégration des applications
par les processus à l'aide des systèmes multi-agents dits communiquants, c'est-à-dire
dont les agents interagissent par l'envoi de messages, en utilisant un langage de
communication de haut niveau. Dans ce travail de recherche, nous proposons un cadre
conceptuel et une démarche méthodologique couvrant les principales phases pour la
modélisation de l'intégration d'applications basée sur les protocoles d'interaction.
Cette démarche est basée conjointement sur l'utilisation de la notation AUML, et aussi
sur le langage BPEL4WS.Nous définissons par la suite un guide permettant de passer
à partir de descriptions semi-formelles des protocoles d'interaction, vers des spécifications
formelles de réseaux de Petri colorés (RdPC) tout en mettant l'accent sur le contrôle
et la dynamicité des interactions. Le modèle de RdPC permet de couvrir les aspects
de modélisation et de validation des protocoles.
paprika.idref.fr
data.idref.fr
Documentation
