Abstract FR:

Cette thèse décrit l'architecture fonctionnelle d'un atelier de spécification défini dans le projet Mars. L'objectif est de concevoir un atelier logiciel ouvert enchainant les phases de spécification, de validation et de génération de systèmes. Notre proposition d'architecture résulte, d'une synthèse des besoins spécifiques de modélisation et d'analyse de systèmes, et de l'étude des principales composantes des ateliers de génie logiciel. Nous détaillons plus particulièrement les composantes systèmes. Notre architecture repose sur une gestion multi-utilisateurs et multisessions dans un environnement distribué hétérogène. L'utilisation d'un meta-modèle facilite l'intégration de nouvelles applications. Nous présentons la réalisation d'un prototype: l'atelier ami (atelier de modélisation interactif) regroupant des services allant de la modélisation graphique à la génération de code à partir de spécifications orientées réseaux de pétri. L'atelier possède un programme d'interface utilisateur Macao, basé sur un meta-modèle de graphes, assurant l'introduction des données et la visualisation graphique des résultats dans des formalismes extensibles.