Nested transactions: an approach to reliable distributed computing
Nested transactions: an approach to reliable distributed computing
AI planning: systems and techniques
AI Magazine
ACTA: a framework for specifying and reasoning about transaction structure and behavior
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Organizing long-running activities with triggers and transactions
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Modeling long-running activities as nested sagas
Data Engineering
Multi-level transactions and open nested transactions
Data Engineering
The concurrency control problem in multidatabases: characteristics and solutions
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Database transaction models for advanced applications
Database transaction models for advanced applications
The computational complexity of propositional STRIPS planning
Artificial Intelligence
A survey and critique of advanced transaction models
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Transaction decomposition using transaction semantics
Distributed and Parallel Databases
Fast planning through planning graph analysis
Artificial Intelligence
Applying formal methods to semantic-based decomposition of transactions
ACM Transactions on Database Systems (TODS)
Logic based modeling and analysis of workflows
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Adept_flex—Supporting Dynamic Changes of Workflows Without Losing Control
Journal of Intelligent Information Systems - Special issue on workflow management systems
Modeling and Analysis of Workflows Using Petri Nets
Journal of Intelligent Information Systems - Special issue on workflow management systems
Automatic OBDD-based generation of universal plans in non-deterministic domains
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Formalization of Workflows and Correctness Issues in the Presence of Concurrency
Distributed and Parallel Databases - Special issue on electronic commerce
Logic in computer science: modelling and reasoning about systems
Logic in computer science: modelling and reasoning about systems
Logic representation of processes in work activity coordination
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Concurrency control for step-decomposed transactions
Information Systems
LAO: a heuristic search algorithm that finds solutions with loops
Artificial Intelligence - Special issue on heuristic search in artificial intelligence
Workflow Management Systems for Process Organizations
Workflow Management Systems for Process Organizations
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
Overview of multidatabase transaction management
The VLDB Journal — The International Journal on Very Large Data Bases
Advanced Transaction Models in Workflow Contexts
ICDE '96 Proceedings of the Twelfth International Conference on Data Engineering
Specification and Management of Extended Transactions in a Programmable Transaction Environment
Proceedings of the Tenth International Conference on Data Engineering
Synthesizing Distributed Constrained Events from Transactional Workflow
ICDE '96 Proceedings of the Twelfth International Conference on Data Engineering
Design and Performance of an Assertional Concurrency Control System
ICDE '98 Proceedings of the Fourteenth International Conference on Data Engineering
Specifying and Enforcing Intertask Dependencies
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Implementing Semantic-Based Decomposition of Transactions
CAiSE '97 Proceedings of the 9th International Conference on Advanced Information Systems Engineering
UML Activity Diagrams as a Workflow Specification Language
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Semantical Considerations on Workflows: An Algebra for Intertask Dependencies
DBLP-5 Proceedings of the Fifth International Workshop on Database Programming Languages
Domain Knowledge-Based Automatic Workflow Generation
DEXA '02 Proceedings of the 13th International Conference on Database and Expert Systems Applications
Semantic Conditions for Correctness at Different Isolation Levels
ICDE '00 Proceedings of the 16th International Conference on Data Engineering
Semantic correctness of transactions and workflows
Semantic correctness of transactions and workflows
Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes
ICWS '04 Proceedings of the IEEE International Conference on Web Services
On the compilability and expressive power of propositional planning formalisms
Journal of Artificial Intelligence Research
Review Article: Workflow based framework for life science informatics
Computational Biology and Chemistry
Semantics and analysis of business process models in BPMN
Information and Software Technology
Proceedings of the 11th International Conference on Information Integration and Web-based Applications & Services
Information flow analysis of scientific workflows
Journal of Computer and System Sciences
Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research
A pattern-based approach for the verification of business process descriptions
Information and Software Technology
International Journal of Information Technology and Web Engineering
Formal workflow design analytics using data flow modeling
Decision Support Systems
Workflow resource pattern modelling and visualization
ACSC '13 Proceedings of the Thirty-Sixth Australasian Computer Science Conference - Volume 135
Hi-index | 5.23 |
Correctness is an important aspect of workflow management systems. However, most of the workflow literature focuses only on the modeling aspects and assumes that a workflow is correct if during the execution it respects the control and data dependency specified by the workflow designer. To address the correctness question properly we propose a new workflow model based on Hoare semantics that allows to: (1) automatically check if the desired outcome of a workflow can be produced by its actual implementation, (2) automatically synthesize a workflow implementation from the workflow specification and a given task library.In particular we: (1) formalize the semantics of workflows and tasks with pre-and postconditions, (2) for each control construct we provide a set of sound inference rules formalizing its semantics. While most of our workflow constructs are standard, two of them are new: the universal and the existential constructs. We then describe algorithms for automatically checking the correctness of workflows and for automatic workflow generation.