Object-centric models [1]} are process models, involving entities and relations in the ER model, where multiple case notions may coexist.
A small OCBC model is represented in Fig. REF .
In the representation, the lower part (yellow) represents the class model, and the upper part represents the activities and the constraints between them. The activities and the
classes are connected by arcs if they are in relationship.
OCBC models can be discovered, and can be used for compliance checking, from XOC logs.
The XOC format is important because it extends the XES format with support to database-related information (related objects, relationships, state of the object model), and is one of the few choices to store
database event logs along with instances of the OpenSLEX meta-model.
XOC logs are using XML and contain a list of events. Each event is referring some objects, and contains
the status of the database at the moment the event happened.
In [2]}, the algorithm to infer OCBC models is described,
that takes an XOC log as well as a set of possible behavioral constraint types as input, that means users can specify the constraint type set based on their needs.
ProM 6 plug-ins have been realized to import XOC logs, for the discovery of a process model, and for conformance checking on top of OCBC models.
The discovery algorithm can discover constraints of 9 different types.
