A formal modelling of control processes

This study concerns the performance management of manufacturing processes. Such processes are decomposed into two types: the operating processes and the control ones. While an operating process has to realise the deliverable products, a control one is designed to plan, control and supervise the execution of the activity of the operating processes. In this sense, one approach of control is discussed. The proposed model is based on the exchange relation concept between a customer and a supplier. The different control parameters are defined from this point of view, such as the activities' assigned objectives and the performance indicators associated with them, the control activities and their functions, the control means . . . this for both the technical and economical levels of control. These ideas are applied to some problems encountered in manufacturing processes. In particular, aluminium metallurgy processes are considered. The performance of these processes is driven by many parameters such as the quality of the raw materials, the conformity of the tools used, the elements to assemble, the know-how of the operators.