M.L.C.: A LANGUAGE FOR THE SPECIFICATION OF THE FMS CONTROL SYSTEMS

ABSTRACT The control of complex discrete systems like Flexible Manufacturing Systems (FMS) must be based upon several levels. Two major problems are concerning the interaction of these levels and the lack of a common specification tool. This paper presents a flexible specification tool named MLC, Meta Language for Control, which is a component of a larger project: the SECOIA Project (Specification Emulation and Conception of an Integrated Automation). SECOIA is an attempt to provide a methodology of specification and implementation of distributed discrete control systems in which Integration is the main keyword.