| Titre : |
Un environnement pour la vérification de la composition des Services Web |
| Type de document : |
texte imprimé |
| Auteurs : |
Meriem Ghedjati, Auteur ; Raounek Rebiha Hamani, Auteur ; Fateh Latrache, Directeur de thèse |
| Editeur : |
CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine |
| Année de publication : |
2011 |
| Importance : |
112 f. |
| Format : |
30 cm. |
| Note générale : |
Une copie electronique PDF disponible au BUC. |
| Langues : |
Français (fre) |
| Catégories : |
Informatique
|
| Tags : |
Service Web, logique de réécriture, BPEL. |
| Index. décimale : |
004 Traitement de données. Informatique |
| Résumé : |
L‟architecture orientée service (SOA) est un nouveau paradigme qui vise à faciliter la
création, l‟exposition, l‟interconnexion et la réutilisation d‟applications à base de services.
Les Services Web sont la réalisation la plus importante de ce style architectural.
Les Services Web sont des applications auto descriptives et modulaires, accessibles sur
Internet réalisant chacune une tâche spécifique. Les services web peuvent aussi être
composés pour fournir des applications plus riches et plus intéressantes. Dans ce contexte,
plusieurs langages de composition ont été proposés, le langage BPEL (Business Process
Execution Langauge) s‟est imposé récemment comme un langage standard de composition
des Services Web.
D‟autre part, la logique de réécriture est reconnue comme cadre unificateur de plusieurs
langages de programmations et modèles de concurrences (réseaux de Petri, logiques des
processus, etc.), elle permet de décrire les systèmes concurrents non-déterministes ayant des
états et évoluant en termes de transitions.
L‟objectif de ce travail vise à formaliser les constructions de base du langage BPEL en
utilisant la logique de réécriture, la deuxième étape de ce travail consiste à utiliser le modelchecker du système Maude afin d‟analyser les compositions BPEL décrite dans le formalisme
proposé. |
| Diplome : |
Master 2 |
| Permalink : |
https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7591 |
Un environnement pour la vérification de la composition des Services Web [texte imprimé] / Meriem Ghedjati, Auteur ; Raounek Rebiha Hamani, Auteur ; Fateh Latrache, Directeur de thèse . - CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine, 2011 . - 112 f. ; 30 cm. Une copie electronique PDF disponible au BUC. Langues : Français ( fre)
| Catégories : |
Informatique
|
| Tags : |
Service Web, logique de réécriture, BPEL. |
| Index. décimale : |
004 Traitement de données. Informatique |
| Résumé : |
L‟architecture orientée service (SOA) est un nouveau paradigme qui vise à faciliter la
création, l‟exposition, l‟interconnexion et la réutilisation d‟applications à base de services.
Les Services Web sont la réalisation la plus importante de ce style architectural.
Les Services Web sont des applications auto descriptives et modulaires, accessibles sur
Internet réalisant chacune une tâche spécifique. Les services web peuvent aussi être
composés pour fournir des applications plus riches et plus intéressantes. Dans ce contexte,
plusieurs langages de composition ont été proposés, le langage BPEL (Business Process
Execution Langauge) s‟est imposé récemment comme un langage standard de composition
des Services Web.
D‟autre part, la logique de réécriture est reconnue comme cadre unificateur de plusieurs
langages de programmations et modèles de concurrences (réseaux de Petri, logiques des
processus, etc.), elle permet de décrire les systèmes concurrents non-déterministes ayant des
états et évoluant en termes de transitions.
L‟objectif de ce travail vise à formaliser les constructions de base du langage BPEL en
utilisant la logique de réécriture, la deuxième étape de ce travail consiste à utiliser le modelchecker du système Maude afin d‟analyser les compositions BPEL décrite dans le formalisme
proposé. |
| Diplome : |
Master 2 |
| Permalink : |
https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7591 |
|
Affiner la recherche
