| Titre : |
Modélisation et vérification formelles de compositions de services. Une approche fondée sur le raffinement et la preuve |
| Type de document : |
thèse |
| Auteurs : |
Idir AIT SADOUNE, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Jacques JULLIAND, Rapporteur ; Michael LEUSCHEL, Rapporteur ; Dominique MERY, Rapporteur ; Egon BÖRGER, Examinateur ; Régine LALEAU, Examinateur ; Virginie WIELS, Examinateur |
| Année de publication : |
2010 |
| Importance : |
211 p. |
| Note générale : |
NNT 2010ESMA0016
Table des matières
Introduction générale
Bibliographie
Annexes
Table des figures
Liste des tableaux
Résumé
Mots clés |
| Langues : |
Français (fre) |
| Catégories : |
Services Web
SOA
|
| Résumé : |
CONTEXTE
Contexte de l'étude : les architecture SOA
Approches formelles de vérification de composition de services Web : Etat de l'art
CONTRIBUTION
Origine de nos travaux
Expression de composition de services BPEL par des modèles B événementiel
Méthodologie de conception de services Web avec B événementiel
Vérification des propriétés de services Web
IMPLEMENTATION
BPEL2B : un outil d'aide à la vérification de la composition de services Web
CONCLUSION ET PERSPECTIVES |
|
Faire une suggestion Affiner la rechercheModélisation et vérification formelles de compositions de services. Une approche fondée sur le raffinement et la preuve
