Résumé: 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 generation 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 detaillons plus particulièrement les composantes systèmes. Notre architecture repose sur une gestion multi-utilisateurs et multi-sessions dans un environnement distribue heterogene. L'utilisation d'un meta-modele 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 a la generation de code a partir de spécifications orientées réseaux de pétri. L'atelier possédé un programme d'interface utilisateur macao, base sur un meta-modele de graphes, assurant l'introduction des données et la visualisation graphique des résultats dans des formalismes extensibles

Paris:
Langue: Français
Collation: 294 p. ill. ;30 cm.
Diplôme: Doctorat
Etablissement de soutenance: Paris, Université Pierre et Marie Curie. Institut Blaise Pascal
Spécialité: Informatique
Index décimal 621 .Physique appliquée (électrotechnique, génie civil, génie mécanique, ingénierie appliquée, principes physiques en ingénierie)
Thème Informatique

Mots clés:
Architecture des réseaux d'ordinateurs
Systèmes, Conception de

Note: Bibliogr. pp.[1-9]