La vérification de la compatibilité des processus métiers
No Thumbnail Available
Date
2018
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
C
es derni`eres ann´ees, le monde des entreprises a connu une croissante uti lisation des architectures logicielles ind´ependantes de la plate-forme et du
langage de d´eveloppement, ce type d’architecture est appel´e architecture orient´ee
services (SOA). L’arriv´ee de cette architecture avec la technologie des services
Web a offert `a la gestion des processus m´etiers une interop´erabilit´e dynamique
aussi bien au niveau intra qu’inter organisationnel. L’utilisation des services Web
permet de r´eduire l’h´et´erog´en´eit´e des applications (en s’appuyant sur des interac tions directes entre services ou bien en passant par une composition de service )
et cela n´ecessite une v´erification de la compatibilit´e des services participants `a la
conversation. Cette derni`ere peut ˆetre traduite par la compatibilit´e des interfaces
en se basant sur les protocoles standards et les fichiers descriptifs de la sp´ecifi cation des services Web tels que SOAP et WSDL, mais ce type de protocoles
installent un cadre minimum pour faire fonctionner un service. En effet, WSDL
affiche l’interface du service ad´equat mais omet une information importante qui
lui permet d’interagir avec d’autres services. Cette information est la s´equence cor recte de messages envoy´es et re¸cus par le service. Pour rem´edier `a ce probl`eme, les
chercheurs ont propos´e un mod`ele formel pour repr´esenter les s´equences correctes
de messages, ce mod`ele est appel´e les protocoles de services ou bien les protocoles
m´etiers (business protocols). Dans cette th`ese, on s’est int´eress´e particuli`erement
`a la l’analyse de la compatibilit´e des business protocoles qui ont un lien avec les
bases de donn´ees, on les appelle les protocoles m´etiers orient´es donn´ees. On a choisi
cet axe de recherche, car la pr´esence des donn´ees repr´esente une source d’infinit´e
et cela repr´esente un probl`eme majeur lors de l’analyse et la v´erification.
Enfin, et dans le but de valider notre analyse th´eorique, nous avons r´ealis´e un v´eri fieur de compatibilit´e bas´e sur des protocoles de services gard´es par des instances
de base de donn´ees.