Résumé
Dans ce mémoire, nous proposons de définir un nouveau langage de modélisation graphique destiné à la construction de modèles de "parts". Les parts sont des objets physiques développés ou produits par les systèmes manufacturiers. Ce langage emprunte ses concepts au pattern Part défini dans la thèse de Michaël Petit, Formal Requirements Engineering of Manufacturing Systems : A Multi-Formalism and Component-Based Approach, présentée en 1999 à l'Université Notre-Dame de la Paix de Namur, Département de Science informatique. Le pattern Part possède un certain nombre de contraintes et est structuré en un ensemble de classes qui entretiennent des relations entre elles.Nous avons adapté le logiciel Microsoft Visio pour construire les modèles graphiques de "parts". Nous employons une technique de réutilisation qui consiste à instancier ou à spécialiser les classes du méta-modèle du pattern Part représentées par des formes. Le logiciel Visio vérifie une partie des contraintes qui s'exercent sur ces modèles, notamment grâce à une application écrite en Visual Basic. Il traduit aussi automatiquement ces modèles et certaines contraintes en types de données et en contraintes AlbertII, langage formel orienté agents employé pour exprimer les spécifications des besoins formels des systèmes manufacturiers. Dans le futur, ce logiciel devra permettre d'enregistrer les modèles graphiques de "parts" afin de pouvoir les réutiliser pour élaborer de nouveaux modèles.
la date de réponse | 2005 |
---|---|
langue originale | Français |
Superviseur | Michael Petit (Promoteur) |
mots-clés
- système manufacturier
- part
- pattern
- classe
- réutilisation
- orienté agents
- AlbertII
- éditeur graphique
- Visio
- Virtual Basic for Applications