SpinArt: A Spin-based Verifier for Artifact Systems
arXiv: Databases, 2017.
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
Full Text (Upload PDF)
PPT (Upload PPT)