Paper Info
Title
Verification of Hierarchical Artifact Systems.
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, by considering a much richer and more realistic model than in previous work, incorporating core elements of IBM's successful Guard-Stage-Milestone model. In particular, the model features task hierarchy, concurrency, and richer artifact data. It also allows database key and foreign key dependencies, as well as arithmetic constraints. The results show decidability of verification and establish its complexity, making use of novel techniques including a hierarchy of Vector Addition Systems and a variant of quantifier elimination tailored to our context.
Year
DOI
Venue
2016
10.1145/2902251.2902275
ACM Transactions on Database Systems
Keywords
DocType
Volume
Data-centric workflows, business process management, temporal logic, verification
Conference
abs/1604.00967
Issue
Citations 
PageRank 
3
4
0.41
References 
Authors
34
3
Name
Order
Citations
PageRank
Alin Deutsch12267247.45
Yuliang Li25416.90
Victor Vianu335541026.26