"PROPOLIS: Provisioned Analysis of Data-Centric Processes."

Daniel Deutch, Yuval Moskovitch, Val Tannen (2013)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics