Delta-BPMN: A Concrete Language and Verifier for Data-Aware BPMN.

Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin

Browse the full BPM paper archive.