Business Process Execution Analysis through Coverage-based Monitoring

Nowadays, Business Process Model and Notation (BPMN) represents the de facto standard language for creating a description of processes and then developing executable frameworks for the overall planning and management of these processes. We describe a methodology for the development of execution adequacy criteria able to identify the main entities of the business process that are covered during execution, and to issue a warning if some entities are not covered.