Une approche pour la modélisation, le raisonnement et l'adaptation d'applications dépendantes du contexte

Amja, Anne-Marie (2017). « Une approche pour la modélisation, le raisonnement et l'adaptation d'applications dépendantes du contexte » Thèse. Montréal (Québec, Canada), Université du Québec à Montréal, Doctorat en informatique.

Fichier(s) associé(s) à ce document :

Prévisualisation	PDF Télécharger (29MB)

Résumé

Avec l'avènement des appareils mobiles et des réseaux mobiles et sans fil, divers paradigmes de l'informatique tels que l'informatique ubiquitaire, ambiante, sensible au contexte et autonome ont pris naissance. Ces paradigmes partagent tous la notion de contexte qui joue un rôle important et révèlent des comportements intelligents qui entourent les utilisateurs de ces environnements. La nature du contexte peut prendre plusieurs formes, à savoir, spatial (localisation, orientation, vitesse) temporel (date, temps, saison), environnemental (lumière, température ambiante, bruit) et social (utilisateurs, ses préférences et activités) (Brézillon et Gonzalez, 2014). En conséquence, l'implication du contexte entraîne l'apparition d'applications sensibles au contexte. Dans la présente thèse, nous proposons une méthode de modélisation de contexte qui se penche sur l'analyse relationnelle de concepts pour les systèmes dépendants du contexte. Nous nous sommes intéressés à proposer un modèle qui fonctionne main en main avec un moteur de raisonnement. Pour ce faire, nous avons utilisé la logique descriptive puisqu'il existe des règles de correspondance entre les entités de l'analyse relationnelle de concepts et la logique de description. Nous montrons notre approche grâce aux outils suivants : RCAExplore, Protégé, et le raisonneur Pellet. Nous présentons également deux techniques d'adaptation. D'une part, nous proposons une adaptation par composition. Ainsi, nous présentons un modèle sémantique, basé sur des composants, qui permet de spécifier le comportement d'un système en fonction de ses composants. La composition décrit une architecture exprimée à l'aide d'opérateurs qui expriment le comportement des actions que chaque composant peut effectuer et leurs effets sur le comportement global de l'ensemble. Nous exploitons également l'utilisation de contraintes pour restreindre le comportement global d'un système selon le contexte. D'autre part, nous proposons une adaptation basée sur l'inclusion ou l'exclusion de features d'un modèle de variabilité, c'est-à-dire les fonctionnalités qu'un système peut offrir selon le contexte actuel. Nous modélisons le modèle de variabilité en ontologie et montrons l'ajout et la modification de configurations. Nous validons le modèle de variabilité et ses configurations avec le raisonneur Pellet. Nous avons construit des règles de contexte en utilisant un langage de règle pour le web sémantique, plus précisément SWRL, dans le but d'associer ces règles à leurs configurations correspondantes. Finalement, nous proposons d'utiliser le modèle de référence de la boucle de contrôle MAPE-K pour effectuer soit l'adaptation par composition, soit l'adaptation par features d'un système. Nous avons implanté les différentes activités de cette boucle en Prolog, à savoir les activités d'observation, d'analyse, de planification et d'exécution, et leurs interactions avec la base de connaissances, pour les deux méthodes d'adaptation proposées. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : modélisation de contexte, raisonnement sur le contexte, composants, opérateurs de composition, modèle de variabilité, sémantique, auto-adaptation, boucle de contrôle.

Type:	Thèse ou essai doctoral accepté
Informations complémentaires:	La thèse a été numérisée telle que transmise par l'auteur.
Directeur de thèse:	Mili, Hafedh
Mots-clés ou Sujets:	Informatique sensible au contexte / Applications mobiles / Modèles mathématiques / Raisonnement
Unité d'appartenance:	Faculté des sciences > Département d'informatique
Déposé par:	Service des bibliothèques
Date de dépôt:	23 févr. 2018 13:31
Dernière modification:	23 févr. 2018 13:31
Adresse URL :	http://archipel.uqam.ca/id/eprint/10928

Modifier les métadonnées (propriétaire du document)

Statistiques