Verification of Hierarchical Artifact Systems

Yuliang Li
Yuliang Li

ACM Transactions on Database Systems, 2016.

Cited by: 1|Bibtex|Views20|Links
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:

Your rating :
0

 

Tags
Comments