Automatic Control Engineering

A formal meta-modeling approach for the design of automated manufacturing systems

Publié le - International Workshop on Formal Methods and Manufacturing (FM&M99)

Auteurs : Laurent Piétrac, Bruno Denis, Jean-Jacques Lesage

The design of Automated Manufacturing Systems AMS consists in the construction of many models. The quality of the designed system depends on the quality of the produced models, and also on the quality of the languages and methods used during the design. Some recent w orks aim to improve these languages and these methods by using meta-modeling. The purpose of this paper is to make a n i n ventory of the requirements in meta-modeling and to propose a language of metamodeling enabling to meet these requirements.