Catalogue des Mémoires de master
Détail de l'auteur
Auteur Fateh Latrache |
Documents disponibles écrits par cet auteur (2)
Affiner la recherche
Titre : composition automatique des services web basée sur les graphes Type de document : texte imprimé Auteurs : Walid Berrouk, Auteur ; Fateh Latrache, Directeur de thèse Editeur : CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine Année de publication : 2012 Importance : 93 f. Format : 30 cm. Note générale : Une copie electronique PDF disponible au BUC. Langues : Français (fre) Catégories : Informatique Tags : Services Web, Composition automatique, logique de réécriture,
formalisme des graphesIndex. décimale : 004 Traitement de données. Informatique Résumé : Les services Web sont la réalisation la plus efficace de l’Architecture Orientée Service
(AOS). Ce sont des applications modulaires, auto descriptives et faiblement couplées. Ils
fournissent un modèle simple de programmation et de déploiement. Les services web reposent
principalement sur les technologies: SOAP pour la structure et le contenu de messages
échangés, WSDL pour la description des services et UDDI pour la découverte. Le but du
paradigme AOS est de faciliter la création des services à valeur ajoutée en combinant des
services distribués et indépendants les uns des autres.
La composition automatique reste un des défis les plus difficiles, elle consiste Ã
générer le schéma de composition sans l’intervention du développeur.
L’objectif principal de ce travail est de montrer comment le formalisme des graphes
peut améliorer le processus de développement des applications à base de services web. Plus
précisément notre but est de formaliser en utilisant la logique de réécriture et son
implémentation le système Maude un algorithme de composition automatique des services
web à base des graphes inspiré de [KM01].Diplome : Master 2 Permalink : https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7129 composition automatique des services web basée sur les graphes [texte imprimé] / Walid Berrouk, Auteur ; Fateh Latrache, Directeur de thèse . - CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine, 2012 . - 93 f. ; 30 cm.
Une copie electronique PDF disponible au BUC.
Langues : Français (fre)
Catégories : Informatique Tags : Services Web, Composition automatique, logique de réécriture,
formalisme des graphesIndex. décimale : 004 Traitement de données. Informatique Résumé : Les services Web sont la réalisation la plus efficace de l’Architecture Orientée Service
(AOS). Ce sont des applications modulaires, auto descriptives et faiblement couplées. Ils
fournissent un modèle simple de programmation et de déploiement. Les services web reposent
principalement sur les technologies: SOAP pour la structure et le contenu de messages
échangés, WSDL pour la description des services et UDDI pour la découverte. Le but du
paradigme AOS est de faciliter la création des services à valeur ajoutée en combinant des
services distribués et indépendants les uns des autres.
La composition automatique reste un des défis les plus difficiles, elle consiste Ã
générer le schéma de composition sans l’intervention du développeur.
L’objectif principal de ce travail est de montrer comment le formalisme des graphes
peut améliorer le processus de développement des applications à base de services web. Plus
précisément notre but est de formaliser en utilisant la logique de réécriture et son
implémentation le système Maude un algorithme de composition automatique des services
web à base des graphes inspiré de [KM01].Diplome : Master 2 Permalink : https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7129 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MSINF120044 MSINF120044 Document électronique Bibliothèque principale Mémoires Disponible Documents numériques
texte integréAdobe Acrobat PDF
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 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MSINF110042 MSINF110042 Document électronique Bibliothèque principale Mémoires Disponible Documents numériques
texte integréAdobe Acrobat PDF
