Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN.

Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin

Browse the full BPM paper archive.