Veuillez utiliser cette adresse pour citer ce document :
http://dspace.univ-tiaret.dz:80/handle/123456789/4805
Titre: | Sémantique Formelle du BPEL avec K Framework. |
Auteur(s): | ANNANE, Khaled |
Mots-clés: | BPEL, Logique de réécriture, Maude, K Framework |
Date de publication: | 2014 |
Editeur: | Université Ibn Khaldoun -Tiaret- |
Résumé: | Définir une sémantique formelle d’un langage de programmation permet de comprendre le comportement des programmes écrits dans ce langage, ainsi de détecter les erreurs de dysfonctionnement. Cette étape est généralement ignorée et considéré par beaucoup, malheureusement même des programmeurs experts trop coûteux et inutilisable [42]. Notre travail consiste à utiliser le Framework K, un outil de définition et d‘analyse des langages de programmation basé sur la logique de réécriture et le système Maude, pour définir la sémantique formelle du langage BPEL. |
URI/URL: | http://dspace.univ-tiaret.dz:80/handle/123456789/4805 |
Collection(s) : | Master |
Fichier(s) constituant ce document :
Fichier | Description | Taille | Format | |
---|---|---|---|---|
TH.M.INF.FR.2014.04.pdf | 4,07 MB | Adobe PDF | Voir/Ouvrir |
Tous les documents dans DSpace sont protégés par copyright, avec tous droits réservés.