Une approche de méta-modélisation formelle des méthodes de conception des systèmes automatisés de production

La conception des systèmes automatisés de production (SAP) passe par la construction de modèles. La qualité du système conçu dépend de la qualité des modèles produits, et donc des langages et méthodes utilisés pour construire ces modèles. De nombreux travaux cherchent à améliorer la qualité de ces langages et de ces méthodes grâce à la méta-modélisation. Cependant, tous ces travaux ne s'intéressent qu'à des aspects particuliers des langages et méthodes. Le travail présenté ici [8] a au contraire pour but de définir rigoureusement et complètement les langages et les méthodes de conception. Pour cela les différents aspects à méta-modéliser sont définis, permettant ainsi de choisir un langage fomel, le langage Z, couvrant l'ensemble des besoins. Notre approche est validée sur deux exemples types.