Making CIMOSA operational

This paper shows how the CIMOSA modeling approach can be made operational using existing object-oriented techniques and tools, such as Artifex and Quid. The main benefits include: a graphical representation of functional and informational aspects, the simulation and graphical animation of the model, the automatic generation of prototypes as well as of distributed applications. Three examples concerning the analysis of a production system, the testing of information systems using emulators and the monitoring of an engineering process are discussed.