ملخص: 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:
لغة: فرنسية
الوصف المادي: 294 p. ill. ;30 cm.
الشهادة: Doctorat
مؤسسة مناقشة الرسالة: Paris, Université Pierre et Marie Curie. Institut Blaise Pascal
تخصص: Informatique
الفهرس العشري 621 .الفيزياء التطبيقية (الهندسة الكهربائية ، الهندسة المدنية ، الهندسة الميكانيكية ، الهندسة التطبيقية ، المبادئ الفيزيائية في الهندسة)
الموضوع الإعلام الآلي

الكلمات الدالة:
Architecture des réseaux d'ordinateurs
Systèmes, Conception de

ملاحظة: Bibliogr. pp.[1-9]