Automatic workflow verification and generation
- 14 March 2006
- journal article
- Published by Elsevier BV in Theoretical Computer Science
- Vol. 353 (1-3), 71-92
- https://doi.org/10.1016/j.tcs.2005.10.035
Abstract
No abstract availableKeywords
This publication has 29 references indexed in Scilit:
- LAO∗: A heuristic search algorithm that finds solutions with loopsArtificial Intelligence, 2001
- Concurrency control for step-decomposed transactionsInformation Systems, 1999
- Applying formal methods to semantic-based decomposition of transactionsACM Transactions on Database Systems, 1997
- Fast planning through planning graph analysisArtificial Intelligence, 1997
- Correctness issues in workflow managementDistributed Systems Engineering, 1996
- Transaction decomposition using transaction semanticsDistributed and Parallel Databases, 1996
- The computational complexity of propositional STRIPS planningArtificial Intelligence, 1994
- Merging application-centric and data-centric approaches to support transaction-oriented multi-system workflowsACM SIGMOD Record, 1993
- Overview of multidatabase transaction managementThe VLDB Journal, 1992
- An axiomatic proof technique for parallel programs IActa Informatica, 1976