Verification of Hierarchical Artifact Systems
ACM Transactions on Database Systems, 2016.
Data-centric workflows business process management temporal logic verification
Data-driven workflows, of which IBM's 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 work represents a significant advance on the problem of artifact verification, ...More
PPT (Upload PPT)