Recherche Avancée

Thèse soutenue

Hyper-agenda : un système d'aide à la réalisation de tâches : Conceptualisation, spécification et représentation

FR  |  
EN
Auteur / Autrice : Slimane Hammoudi
Direction : Claude Boksenbaum
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1993
Etablissement(s) : Montpellier 2

Résumé

FR

Le travail presente dans ce memoire s'integre dans le cadre du projet hyper-agenda dont l'objectif general est de realiser un systeme d'aide a l'organisation et l'accomplissement de taches dans un environnement de travail. Le concept cle sur lequel repose notre etude est celui de tache qui permet de modeliser l'activite d'un employe dans une organisation. Autour de ce concept, notre travail se compose des trois etapes suivantes: 1) la conceptualisation du systeme hyper-agenda; 2) sa specification; 3) et sa representation. La premiere etape de conceptualisation nous a permis de degager un mimimum de concepts et de fonctionnalites de facon a pouvoir batir des outils d'aides assez generaux applicables dans diverses organisations. Les deux outils agenda et interpretation ont ete definis. Dans la seconde etape de notre travail, un langage de specification a ete defini, afin de preciser les proprietes de chaque concept, ainsi que les fonctionnalites du systeme hyper-agenda. Ce langage s'inscrit dans la tradition des types abstraits algebriques, avec une orientation fonctionnelle s'inspirant des travaux de cardelli. La troisieme partie de notre travail, est une representation du systeme hyper-agenda, etape prealable a une implementation. Le langage de representation des connaissances shirka permettant de realiser une implementation specifique est alors propose pour la representation des concepts et fonctionnalites d'hyper-agenda