Abstract. We describe a formally well founded approach to link data and processes conceptually, based on adopting UML class diagrams to represent data, and BPMN to represent the process. The UML class diagram together with a set of additional process variables, called Artifact, form the information model of the process. All activities of the BPMN process refer to such an information model by means of OCL operation contracts. We show that the resulting semantics while abstract is fully executable. We also provide an implementation of the executor.
Regarding process executability, the approach in REF uses a UML class diagram, a BPMN diagram and a set of OCL operation contracts to achieve process executability.
Linking Data and BPMN Processes to Achieve Executable Models
CAiSE
Computer Science