Formalization of the design of control systems

Development of automated manufacturing systems usually consists in varied stages according to different points of view or different subsystems. In each of these stages, different modelling tools are used (often in an integrated manner). Metamodelization give to designers a rigorous way to define modelling tools and their integration. In this paper, we propose a comparative approach between different modelling tools used in the field of metamodelization. In such a context, data modelling tools, algebraic modelling tools, Z language are used to the metamodelization of the Grafcet.