Verification of Hierarchical Artifact Systems
ACM Transactions on Database Systems, 2016.
EI
Keywords:
Data-centric workflows business process management temporal logic verification
Abstract:
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
Code:
Data:
Tags
Comments