Conception et mise en oeuvre d'un environnement système pour la modélisation, l'analyse et la réalisation de systèmes informatiques

Cette these decrit l'architecture fonctionnelle d'un atelier de specification defini dans le projet mars. L'objectif est de concevoir un atelier logiciel ouvert enchainant les phases de specification, de validation et de generation de systemes. Notre proposition d'architecture resulte, d'une synthese des besoins specifiques de modelisation et d'analyse de systemes, et de l'etude des principales composantes des ateliers de genie logiciel. Nous detaillons plus particulierement les composantes systemes. Notre architecture repose sur une gestion multi-utilisateurs et multi-sessions dans un environnement distribue heterogene. L'utilisation d'un meta-modele facilite l'integration de nouvelles applications. Nous presentons la realisation d'un prototype: l'atelier ami (atelier de modelisation interactif) regroupant des services allant de la modelisation graphique a la generation de code a partir de specifications orientees reseaux de petri. L'atelier possede un programme d'interface utilisateur macao, base sur un meta-modele de graphes, assurant l'introduction des donnees et la visualisation graphique des resultats dans des formalismes extensibles