VERIFAS: A Practical Verifier for Artifact Systems

Yuliang Li
Yuliang Li

PVLDB, Volume 11, Issue 3, 2017, Pages 283-296.

Cited by: 19|Bibtex|Views5|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments