Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
van der Aalst, W.M.P.: Petri-net-based Workflow Management Software. In: Sheth, A. (ed.) Proceedings of the NFS Workshop on Workflow and Process Automation in Information Systems, Athens, Georgia, pp. 114–118 (1996)
Agostini, A., De Michelis, G.: Improving flexibility of workflow management systems. In: van der Aalst, W., Oberweis, J. (eds.) BPM. Models, Techniques, and Empirical Studies, pp. 218–234. Springer, Heidelberg (2000)
Cook, S.A.: The complexity of theorem-proving procedures. In: STOC 1971. Proceedings of the third annual ACM symposium on Theory of computing, New York, pp. 151–158 (1971)
Dehnert, J., Zimmermann, A.: Making workflow models sound using petri net controller synthesis. In: Meersman, R., Tari, Z. (eds.) OTM 2004. LNCS, vol. 3290, pp. 139–154. Springer, Heidelberg (2004)
Du, W., Davis, J., Shan, M.-C.: Flexible specification of workflow compensation scopes. In: GROUP, pp. 309–316. ACM, New York (1997)
Eder, J., Liebhart, W.: Workflow recovery. In: CoopIS, pp. 124–134 (1996)
Eder, J., Liebhart, W.: Contributions to exception handling in workflow management. In: Burkes, O., Eder, J., Salza, S. (eds.) Proceedings of the Sixth International Conference on Extending Database Technology, Valencia, Spain, March 1998, pp. 3–10 (1998)
Gaaloul, W., Bhiri, S., Godart, C.: Discovering workflow transactional behavior from event-based log. In: On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE, pp. 3–18. Springer, Heidelberg (2004)
Garcia-Molina, H., Salem, K.: Sagas. In: Proceedings of the ACM SIGMOD Conference on Management of Data, pp. 249–259 (May 1987)
Golani, M., Gal, A.: Flexible business process management using forward stepping and alternative paths. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 6–8. Springer, Heidelberg (2005)
Hagen, C., Alonso, G.: Exception handling in workflow management systems. IEEE Trans. Software Eng. 26(10), 943–958 (2000)
Hwang, G.-H., Lee, Y.-C., Wu, B.-Y.: A new language to support flexible failure recovery for workflow management systems. In: Favela, J., Decouchant, D. (eds.) CRIWG 2003. LNCS, vol. 2806, pp. 135–150. Springer, Heidelberg (2003)
Kamath, M., Ramamritham, K.: Failure handling and coordinated execution of concurrent workflows. In: ICDE, pp. 334–341. IEEE Computer Society Press, Los Alamitos (1998)
Meyer, H., Weske, M.: Automated service composition using heuristic search. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 81–96. Springer, Heidelberg (2006)
Golani, M., Gal, A.: Optimizing exception handling in workflows using process restructuring. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 407–413. Springer, Heidelberg (2006)
Reichert, M., Dadam, P.: Adept f lex-supporting dynamic changes of workflows without losing control. Journal of Intelligent Information Systems (JIIS) 10(2), 93–129 (1998)
Worflow management coalition. the workflow reference model (wfmc-tc-1003) (1995), http://www.wfmc.org
Specification: Web Services Description Language (WSDL) version 2.0, http://www.w3.org/TR/wsdl
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Golani, M., Gal, A., Toch, E. (2008). Modeling Alternatives in Exception Executions. In: ter Hofstede, A., Benatallah, B., Paik, HY. (eds) Business Process Management Workshops. BPM 2007. Lecture Notes in Computer Science, vol 4928. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78238-4_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-78238-4_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-78237-7
Online ISBN: 978-3-540-78238-4
eBook Packages: Computer ScienceComputer Science (R0)