SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Flexible specification of workflow compensation scopes
GROUP '97 Proceedings of the international ACM SIGGROUP conference on Supporting group work: the integration challenge
Adept_flex—Supporting Dynamic Changes of Workflows Without Losing Control
Journal of Intelligent Information Systems - Special issue on workflow management systems
Exception Handling in Workflow Management Systems
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Failure Handling and Coordinated Execution of Concurrent Workflows
ICDE '98 Proceedings of the Fourteenth International Conference on Data Engineering
COOPIS '96 Proceedings of the First IFCIS International Conference on Cooperative Information Systems
The complexity of theorem-proving procedures
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
Automated service composition using heuristic search
BPM'06 Proceedings of the 4th international conference on Business Process Management
Optimizing exception handling in workflows using process restructuring
BPM'06 Proceedings of the 4th international conference on Business Process Management
Flexible business process management using forward stepping and alternative paths
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Hi-index | 0.00 |
To date, the ability of a business process designer to produce a solid, well-validated workflow models is limited, especially since all necessary scenarios that need to be covered by the workflow are hard to predict. Workflow management systems (WfMSs), serving as the main vehicle of business process execution, should recognize those limits, and increase its support to designers in this task. One aspect of such assistance is in exception handlers generation. In this paper we propose a model language enrichment for expressing workflow semantics, in the context of alternative solutions, within the process model. Thus, enabling the designer to state which possible alternatives and their applicability to changing execution paths states. Using this enrichment, an inference algorithm can efficiently find an adequate alternative. The model language is used as a basis for a design tool and an execution environment, which semi-automatically generates exception handlers, resulting, due to a reduced search space, in a smaller set of exceptions for the designer/user to choose from.