Contribution à l'étude de l'optimisation de requêtes de services Web : une approche centrée utilisateur / Zahira CHOUIREF

Titre : Contribution à l'étude de l'optimisation de requêtes de services Web : une approche centrée utilisateur Type de document : thèse Auteurs : Zahira CHOUIREF, Auteur ; Allel HADJALI, Directeur de thèse ; Karim BENOUARET, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Salima BENBERNOU, Rapporteur ; Ludovic LIETARD, Rapporteur ; Daniela GRIGORI, Examinateur Importance : 169 p. Note générale : NNT 2017ESMA0016 Remerciements Résumé Abstract Table des matières Introduction générale Liste des figures Liste des tableaux Bibliographie Catégories : Bases de données:Interrogation Conception centrée sur l'utilisateur Consommateurs:Comportement Informatique sensible au contexte Logique floue Profilage des consommateurs Services Web Résumé : CONCEPTS ET NOTIONS DE BASE Services Web Préférences et requêtes à préférences Profil Contexte Ontologies Conclusion ENSEMBLES FLOUS Concepts fondamentaux Représentation pratique Opérations floues Modélisation de préférences Conclusion ETAT DE L'ART Introduction Approches de sélection syntaxique versus sémantique Approches de sélection basée sur les propriétés fonctionnelles et/ou non fonctionnelles Approches de sélection basée sur les attributs du contexte Approches de sélection basée sur le profil Approches de sélection basée sur les préférences Limites de ces approches et discussion Conclusion SELECTION PERSONNALISEE ET CONTEXTUELLE DE SERVICES WEB : UNE APPROCHE FONDEE SUR LA SIMILARITE Introduction Formalisation et notations Notion de matching et mesures de similarités Architecture de sélection de services Web Mesure de similarité hybride Algorithme de matching et phase de classement Evaluation expérimentale et discussion Conclusion SELECTION COOPERATIVE DE SERVICES WEB : UNE APPORCHE GUIDEE PAR L'INFERENCE Introduction Modélisation floue de service et des préférences Traitement des requêtes à préférences sensibles au profil contextuel Evaluation expérimentale et discussion CONCLUSION GENERALE ET PERSPECTIVES

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
TH-17 CHO	CHO	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Modélisation et vérification formelles de compositions de services. Une approche fondée sur le raffinement et la preuve / Idir AIT SADOUNE

Titre : Modélisation et vérification formelles de compositions de services. Une approche fondée sur le raffinement et la preuve Type de document : thèse Auteurs : Idir AIT SADOUNE, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Jacques JULLIAND, Rapporteur ; Michael LEUSCHEL, Rapporteur ; Dominique MERY, Rapporteur ; Egon BÖRGER, Examinateur ; Régine LALEAU, Examinateur ; Virginie WIELS, Examinateur Année de publication : 2010 Importance : 211 p. Note générale : NNT 2010ESMA0016 Table des matières Introduction générale Bibliographie Annexes Table des figures Liste des tableaux Résumé Mots clés Langues : Français (fre) Catégories : Services Web SOA Résumé : CONTEXTE Contexte de l'étude : les architecture SOA Approches formelles de vérification de composition de services Web : Etat de l'art CONTRIBUTION Origine de nos travaux Expression de composition de services BPEL par des modèles B événementiel Méthodologie de conception de services Web avec B événementiel Vérification des propriétés de services Web IMPLEMENTATION BPEL2B : un outil d'aide à la vérification de la composition de services Web CONCLUSION ET PERSPECTIVES

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00008583	TH-10 AIT	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

---

1 (1 - 2 / 2) Par page : 25 50 100 200