Mémoires de Fin d’Etudes
Etablissement
Université de Béjaia - Abderrahmane Mira
Affiliation
Département d’Informatique
Auteur
SKLAB, Youcef
Directeur de thèse
Tari A/ Kamel (Maitre de conférence)
Co-directeur
Talantikite Hassina (Maitre de conférence)
Filière
Informatique
Diplôme
Magister
Titre
Spécification d’un Modèle Formel pour le Contexte Utilisateur
Mots clés
Contexte; Profil; Sensibilité au contexte; Modèle formel;
Résumé
ce travail consiste à : Etudier la notion de contexte et de profil (identification, définition, comparaison). Etudier et comparer les modèles formels existants (ensemble de paires, orienté modèle, orienté objet, formalisme logique, ...). Proposer un modèle formel pour le contexte utilisateur ( Syntaxe, Sémantique, Mécanismes d’interprétation, La validation et l’expérimentation de la proposition dans le cadre des Web Services Sémantiques)
Statut
Vérifié