Le modèle IFO2 : de la modélisation comportementale à la dérivation

par Maguelonne Teisseire

Thèse de doctorat en Informatique et mathématiques

Sous la direction de Jacques Le Maître.

    mots clés mots clés


  • Résumé

    Les modeles traditionnels repondant mal aux besoins des nouvelles applications, de nombreux travaux de recherche s'interessent a la definition d'approches de modelisation capables de repondre aussi bien aux besoins des applications traditionnelles qu'a ceux des applications avancees. La difficulte s'accroit si l'on en considere les deux aspects, structurel et comportemental. Le travail presente dans cette these s'inscrit dans ce contexte et propose une approche uniforme pour la conception de bases de donnees avancees. En proposant le modele formel ifo#2, extension du modele ifo de s. Abiteboul et r. Hull, l'objectif fixe est de concilier les modelisations structurelle et comportementale qui partagent les memes qualites conceptuelles. Ifo#2 percoit les notions d'objet et d'evenement comme des concepts symetriques et transpose, en les adaptant, les concepts structurels dans le cadre comportemental. De plus, un langage de specification permettant d'expliciter des conditions extremement precises sur les enchainements entre evenements et les associations entre objets propose. L'aspect modelisation est complete par la definition d'une composante de derivation vers un modele de bases de donnees actives montrant ainsi la faisabilite de l'implantation des specifications. Par la perception originale du comportement des applications que nous proposons et les choix de representation effectues, ifo#2 permet de repondre aux objectifs suivants: souplesse de conception, fidelite au reel, vision globale, modularite et re-utilisabilite des specifications, independance vis-a-vis des systemes cibles et possibilites de derivation

  • Titre traduit

    ˜Tje œIFO2 model: from behavioural modelling to derivation


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (179 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr.: p. 169-179

Où se trouve cette thèse ?

  • Bibliothèque : Université Aix-Marseille (Marseille. Luminy). Service commun de la documentation. Bibliothèque de sciences.
  • Disponible pour le PEB
  • Cote : 23719
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.