Automatic workflow verification and generation

This publication has 30 references indexed in Scilit:

• LAO∗: A heuristic search algorithm that finds solutions with loops
  Artificial Intelligence, 2001
• Concurrency control for step-decomposed transactions
  Information Systems, 1999
• Applying formal methods to semantic-based decomposition of transactions
  ACM Transactions on Database Systems, 1997
• Fast planning through planning graph analysis
  Artificial Intelligence, 1997
• Correctness issues in workflow management
  Distributed Systems Engineering, 1996
• Transaction decomposition using transaction semantics
  Distributed and Parallel Databases, 1996
• The computational complexity of propositional STRIPS planning
  Artificial Intelligence, 1994
• Merging application-centric and data-centric approaches to support transaction-oriented multi-system workflows
  ACM SIGMOD Record, 1993
• Overview of multidatabase transaction management
  The VLDB Journal, 1992
• An axiomatic proof technique for parallel programs I
  Acta Informatica, 1976