Control and operational models for vacuum equipment

Operational models which describe the behaviour and the physical values associated with the vacuum equipment as seen by an operator have been studied for some time at CERN. Recently, they have been completed by control models, which define in a formal way the data structures required to access the physical values described in the operational model. The control models also define the operations that an application program has to send to the vacuum equipment to modify its state. Object modelling techniques (OMT) have been used to formalise the description of the models. In order to test the validity of the concepts, we have made a working prototype in the LEP accelerator