Caractérisation et détection automatique d'interactions de services à partir de spécifications graphiques
Auteur / Autrice : | Hélène Jouve |
Direction : | Pascale Le Gall |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance en 2003 |
Etablissement(s) : | Evry-Val d'Essonne |
Mots clés
Mots clés contrôlés
Résumé
Cette thèse propose une méthode automatique de calcul d'interactions entre services en télécommunications par analyse statique de leurs spécifications. Chaque service est décrit par une arborescence étiquetée dont les arcs formalisent des échanges de messages entre les téléphones concernés et un équipement de gestion abstrait. Il existe deux types d'étiquettes de sommets. Les unes réprésentent les états du système et les autres formalisent la réutilisation de parties de diagrammes, fondée sur un ordre de création des services. Une spécification est formée d'un tel diagramme et d'invariants exprimant des compatibilités d'états. Un premier algorithme permet l'extraction des données caractéristiques d'un service, à partir de sa spécification, par comparaison avec celle de son service sous-jacent. Un second algorithme exploite ces données afin de déterminer les interactions. La méthode est implantée en Prolog et a été validée par études de cas.