Abstract
Data- and artifact-centric business processes are gaining momentum due to their ability of explicitly capturing the interplay between the process control-flow and the manipulated data. In this paper, we rely on the framework of Data-Centric Dynamic Systems (DCDSs), which has been recently introduced for the formal specification and verification of data-centric processes, and we discuss how it can be realized into a prototype system which is able to enact processes comprising human actors, services and data. This reference implementation exploits the natural correspondence between DCDSs and state-of-the-art rule engines, e.g., JBoss Drools, and present the interesting feature that the model used for analysis and verification is fully aligned with the one adopted for the execution.