VERIFAS: A Practical Verifier for Artifact Systems

29 May 2017 Yuliang Li Alin Deutsch Victor Vianu

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 research bridges the gap between the theory and practice of artifact verification with VERIFAS, the first implementation of practical significance of an artifact verifier with full support for unbounded data... (read more)

PDF Abstract

Categories


  • DATABASES
  • LOGIC IN COMPUTER SCIENCE