SpinArt: A Spin-based Verifier for Artifact Systems

Yuliang Li
Yuliang Li

arXiv: Databases, 2017.

Cited by: 1|Bibtex|Views3|

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. In previous work, we obtained theoretical results on the verification of a rich model i...More

Code:

Data:

Your rating :
0

 

Tags
Comments