Semantic annotation of BPMN: current approaches and new methodologies
A Process Semantics for BPMN