Abstract FR:

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