VERIFAS: A Practical Verifier for Artifact Systems
PVLDB, Volume 11, Issue 3, 2017, Pages 283-296.
Data-driven workflows, of which IBMu0027s Business Artifacts are a prime exponent, have been successfully deployed in practice, adopted in industrial standards, and have spawned a rich body of research in academia, focused primarily on static analysis. The present research bridges the gap between the theory and practice of artifact verifi...More
Full Text (Upload PDF)
PPT (Upload PPT)