Adaptive exception handling for scientific workflows

Scientific workflow systems often operate in highly unreliable, heterogeneous and dynamic environments, and have accordingly incorporated different fault tolerance techniques. We propose an exception-handling mechanism, based on techniques adopted in programming languages, for modifying at run-time the structure of a workflow. In contrast to other proposals that achieve the required flexibility by means of the infrastructure, our proposal expresses the exception-handling mechanism within the workflow language—primarily as two exception-handling patterns that are exclusively based on the Reference Nets-within-Nets formalism (a specific type of Petri nets). When an exception is detected, a workflow in our approach can be re-written (replaced), based on the particular failure condition that has been detected. This enables workflow users to have better control and understanding of the behaviour of their workflow without having to be aware of the underlying infrastructure. Copyright © 2009 John Wiley & Sons, Ltd.

[1]  Santhosh Kumaran,et al.  Conversation support for business process integration , 2002, Proceedings. Sixth International Enterprise Distributed Object Computing.

[2]  Cecília M. F. Rubira,et al.  A comparative study of exception handling mechanisms for building dependable object-oriented software , 2001, J. Syst. Softw..

[3]  Soonwook Hwang,et al.  Grid workflow: a flexible failure handling framework for the grid , 2003, High Performance Distributed Computing, 2003. Proceedings. 12th IEEE International Symposium on.

[4]  B. Canard,et al.  High-yield production of short GpppA- and 7MeGpppA-capped RNAs and HPLC-monitoring of methyltransfer reactions at the guanine-N7 and adenosine-2′O positions , 2007, Nucleic acids research.

[5]  Rodrigo Lopez,et al.  Web Services at the European Bioinformatics Institute , 2007, Nucleic Acids Res..

[6]  Anne H. H. Ngu,et al.  Enabling ScientificWorkflow Reuse through Structured Composition of Dataflow and Control-Flow , 2006, 22nd International Conference on Data Engineering Workshops (ICDEW'06).

[7]  Gustavo Alonso,et al.  Advanced transaction models in workflow contexts , 1996, Proceedings of the Twelfth International Conference on Data Engineering.

[8]  Omer F. Rana,et al.  Exception handling patterns for hierarchical scientific workflows , 2008, MGC '08.

[9]  Gustavo Alonso,et al.  Exception Handling in Workflow Management Systems , 2000, IEEE Trans. Software Eng..

[10]  Anne H. H. Ngu,et al.  Flexible Scientific Workflow Modeling Using Frames, Templates, and Dynamic Embedding , 2008, SSDBM.

[11]  John B. Goodenough,et al.  Exception handling: issues and a proposed notation , 1975, CACM.

[12]  Thomas Fahringer,et al.  Fault-tolerant behavior in state-of-the-art grid workflow management systems , 2007 .

[13]  Javier Fabra,et al.  RLinda: A Petri Net Based Implementation of the Linda Coordination Paradigm for Web Services Interactions , 2006, EC-Web.

[14]  Daniel M. Berry,et al.  A modular verifiable exception handling mechanism , 1985, TOPL.

[15]  Jason Maassen,et al.  Programming Scientific and Distributed Workflow with Triana Services , 2004 .

[16]  Sanjiva Weerawarana,et al.  Implementing BPEL4WS: the architecture of a BPEL4WS implementation , 2006, Concurr. Comput. Pract. Exp..

[17]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[18]  Jeffrey G. Gray,et al.  Grid‐Flow: a Grid‐enabled scientific workflow system with a Petri‐net‐based interface , 2006, Concurr. Comput. Pract. Exp..

[19]  Daniel Moldt,et al.  An Extensible Editor and Simulation Engine for Petri Nets: Renew , 2004, ICATPN.

[20]  Rüdiger Valk,et al.  Petri Nets as Token Objects: An Introduction to Elementary Object Nets , 1998, ICATPN.

[21]  van der Wmp Wil Aalst,et al.  Workflow control-flow patterns : a revised view , 2006 .

[22]  E. Myers,et al.  Basic local alignment search tool. , 1990, Journal of molecular biology.

[23]  Rajkumar Buyya,et al.  A Taxonomy of Workflow Management Systems for Grid Computing , 2005, Proceedings of the 38th Annual Hawaii International Conference on System Sciences.

[24]  Geoffrey C. Fox,et al.  Examining the Challenges of Scientific Workflows , 2007, Computer.

[25]  Edward A. Lee,et al.  CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2000; 00:1–7 Prepared using cpeauth.cls [Version: 2002/09/19 v2.02] Taverna: Lessons in creating , 2022 .

[26]  M S Waterman,et al.  Identification of common molecular subsequences. , 1981, Journal of molecular biology.

[27]  David Gelernter,et al.  Generative communication in Linda , 1985, TOPL.

[28]  Amit P. Sheth,et al.  Exception Handling in Workflow Systems , 2004, Applied Intelligence.

[29]  Javier Fabra,et al.  A Framework for the Development and Execution of Horizontal Protocols in Open BPM Systems , 2006, Business Process Management.

[30]  Andreas Hoheisel,et al.  User tools and languages for graph‐based Grid workflows , 2006, Concurr. Comput. Pract. Exp..