Please use this identifier to cite or link to this item:
http://dspace.univ-tiaret.dz:80/handle/123456789/4805| Title: | Sémantique Formelle du BPEL avec K Framework. |
| Authors: | ANNANE, Khaled |
| Keywords: | BPEL, Logique de réécriture, Maude, K Framework |
| Issue Date: | 2014 |
| Publisher: | Université Ibn Khaldoun -Tiaret- |
| Abstract: | 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: | http://dspace.univ-tiaret.dz:80/handle/123456789/4805 |
| Appears in Collections: | Master |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| TH.M.INF.FR.2014.04.pdf | 4,07 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.