Authors: Herve Panetto, Jean-Francois Petin
Addresses: CRAN CNRS UMR 7039/University Henry Poincare Nancy I, F54506 Vandoeuvre-les-Nancy, France. ' CRAN CNRS UMR 7039/University Henry Poincare Nancy I, F54506 Vandoeuvre-les-Nancy, France
Abstract: This paper contributes to a formal framework for the automation of production systems. Automatic control systems deal currently with theoretical modelling techniques that aim to formally define the behaviour of a control system when process behaviours and system requirements are well defined. Our approach aims to facilitate a common and consensual understanding of an automated system at the early stage of a systems engineering process. This approach is based on the use UML stereotypes, based on a systemic approach, to globally formalise a production system satisfying the following predicate: Control Systems Requirements ∧ Process Systems Requirements ⇒ Production System Requirements.
Keywords: process modelling; metamodelling; UML stereotypes; modelling constraints; production systems; automatic control; production automation; systems engineering; control engineering.
International Journal of Internet and Enterprise Management, 2005 Vol.3 No.2, pp.155 - 169
Published online: 30 Aug 2005 *Full-text access for editors Access for subscribers Purchase this article Comment on this article