SAGITAL : un environnement d'aide à la conception de grafcets basé sur des méta-modèles

Cet article présente la démarche de conception d'un logiciel d'assistance à la vérification syntaxique et à la simulation de modèles grafcet. Cette démarche consiste à déduire la structure de données et les algorithmes du logiciel d'assistance de deux méta-modèles exprimant respectivement les propriétés structurelles et dynamiques du Grafcet. This article deals with the design of a software developed for grafcet syntactic verification and simulation. In this approach, both data structure and algorithms of the software are derived from two meta-models. The first one expresses Grafcet structural properties; the second one its dynamic properties.