Automatic workflow verification and generation

DOI10.1016/j.tcs.2005.10.035zbMath1088.68109OpenAlexW1974447645MaRDI QIDQ2368986

Arthur Bernstein, Shiyong Lu, Philip Lewis

Publication date: 28 April 2006

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2005.10.035

zbMATH Keywords

Hoare logicWeb servicesWorkflow correctnessWorkflow generationWorkflow verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Business process verification with constraint temporal answer set programming ⋮ Information flow analysis of scientific workflows

Uses Software

• PDDL
• Graphplan

Cites Work

• An axiomatic proof technique for parallel programs
• The computational complexity of propositional STRIPS planning
• Fast planning through planning graph analysis
• LAO*: A heuristic search algorithm that finds solutions with loops
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Automatic workflow verification and generation