Des informations générales:

Master II

Le niveau
Sémantique Formelle du BPEL avec K Framework

Titre
Systèmes Embarqués et Temps Réel

SPECIALITE

Page de garde:

Sémantique Formelle du BPEL avec K Framework

Sommaire:

Introduction Générale Chapitre 1: Le Langage BPEL Introduction I. Structure des processus BPEL II. Relation entre BPEL et ses partenaires III. Etat d’un processus BPEL IV. Comportement d’un processus BPEL 1. Fournir et consommer des services web 2. Structuration de la logique des processus 3. Activités répétitives 4. Traitement parallèle 5. Manipulation des données 6. Traitement des exceptions V. Raffinement de la structure d’un processus 1. Cycle de vie d’un scope 2. Gestion d’erreur d’un scope 3. Terminaison d’un travail en court d’exécution 4. Annulation d’un travail terminé 5. Gestion d’événements VI. Conclusion Chapitre 2: La Logique de Réécriture et le Système Maude Introduction I. La logique de réécriture 1. Théorie de réécriture 2. Déduction dans la logique de réécriture 3. Réécriture concurrente II. Extension de la logique de réécriture III. Réflectivité et stratégie de réécriture IV. Système MAUDE 1. Modules Fonctionnels 2. Modules systèmes 3. Modules orientés objet 4. Modules prédéfinis V. Exécution et analyse formelle sous Maude 1. Analyse formelle et vérification des propriétés 2. Le Model Checker LTL de Maude VI. Conclusion Chapitre 03 K Framework Introduction I. K Framework Ecrire la première définition K 1. Les ingrédients de base 2. Syntaxe du langage 3. La sémantique du langage 4. L’exécution de programme avec krun II. Travaux de Vérification du BPEL 1. Vérification du BPEL avec Spin/Promela 2. Vérification du BPEL avec divers autres outils 3. Synthèse III. Conclusion Chapitre 4: Implémentation Introduction I. Définition de la Syntaxe du BPEL II. Sémantique du BPEL III. Compilation et exécution IV. Conclusion Conclusion Générale Bibliographie Webographie

Télécharger: