Approche orientée modèles pour la vérification et l'évaluation de performances de l'interopérabilité et l'interaction des services

Résumé : De nos jours, les services Web sont très utilisés notamment par les entreprises pour rendre accessibles leurs métiers, leurs données et leurs savoir-faire via le Web. L'émergence des services Web a permis aux applications d'être présentées comme un ensemble de services métiers bien structurés et correctement décrits, plutôt que comme un ensemble d'objets et de méthodes. La composition automatique de services est une tâche complexe mais qui rend les services interopérables, ainsi leur interaction permet d'offrir une valeur ajoutée dans le traitement des requêtes des utilisateurs en prenant en compte des critères fonctionnels et non fonctionnels de la qualité de service. Dans ce travail de thèse, nous nous intéressons plus précisément aux services à base de localisation (LBS) qui permettent d'intégrer des informations géographiques, et de fournir des informations accessibles depuis des appareils mobiles via, les réseaux mobiles en faisant usage des positions géographiques de ces appareils. L'objectif de ce travail est de proposer une approche orientée modèles pour spécifier, valider et mettre en œuvre des processus de composition automatique de services à des fins de sécurité routière dans les transports. Cette approche est basée sur deux outils formels à savoir les Réseaux de Petri (RdP) et l'algèbre (max,+). Pour cela, nous préconisons l'utilisation des workflow patterns dans la composition, où chaque pattern est traduit par un modèle RdP et ensuite par une équation mathématique dans l'algèbre (max,+). Les modèles formels développés ont conduits, d'une part, à la description graphique et analytique des processus considérés, et d'autre part, à l'évaluation et la vérification quantitatives et qualitatives de ces processus. Une plateforme, appelée TransportML, pour la collaboration et l'interopérabilité de services à base de positionnement a été implémentée. Les résultats obtenus par la simulation des modèles formels sont comparés à ceux issus des simulations du fonctionnement de la plateforme et des expérimentations sur le terrain.Cette thèse est effectuée dans le cadre des projets Européens FP7 ASSET (2008-2011) et TeleFOT (2008-2012).
Type de document :
Thèse
Ordinateur et société [cs.CY]. Université de Technologie de Belfort-Montbeliard, 2012. Français. <NNT : 2012BELF0182>


https://tel.archives-ouvertes.fr/tel-00720657
Contributeur : Abes Star <>
Soumis le : mercredi 25 juillet 2012 - 12:17:13
Dernière modification le : jeudi 9 octobre 2014 - 23:21:09
Document(s) archivé(s) le : vendredi 26 octobre 2012 - 02:40:42

Fichier

These_AIT-CHEIK-BIHI_-_Wafaa_U...
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-00720657, version 1

Collections

Citation

Wafaa Ait-Cheik-Bihi. Approche orientée modèles pour la vérification et l'évaluation de performances de l'interopérabilité et l'interaction des services. Ordinateur et société [cs.CY]. Université de Technologie de Belfort-Montbeliard, 2012. Français. <NNT : 2012BELF0182>. <tel-00720657>

Exporter

Partager

Métriques

Consultations de
la notice

784

Téléchargements du document

1308