Thèse soutenue

Caractérisation et détection automatique d'interactions de services à partir de spécifications graphiques

FR  |  
EN
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

FR

Mots clés contrôlés

Résumé

FR  |  
EN

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.