Scheduled System Maintenance:
Some services will be unavailable Sunday, March 29th through Monday, March 30th. We apologize for the inconvenience.
By Topic

Using Runtime Verification to Design a Reliable Execution Framework for Scientific Workflows

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
7 Author(s)
Dubey, A. ; Inst. for Software Integrated Syst., Vanderbilt Univ., Nashville, TN ; Piccoli, L. ; Kowalkowski, J.B. ; Simone, J.N.
more authors

In this paper, we describe the design of a scientific workflow execution framework that integrates runtime verification to monitor its execution and checking it against the formal specifications. For controlling workflow execution, this framework provides for data provenance, execution tracking and online monitoring of each work flow task, also referred to as participants. The sequence of participants is described in an abstract parameterized view, which is used to generate concrete data dependency based sequence of participants with defined arguments. As participants belonging to a workflow are mapped onto machines and executed, periodic and on-demand monitoring of vital health parameters on allocated nodes is enabled according to pre-specified invariant conditions with actions to be taken upon violation of invariants.

Published in:

Engineering of Autonomic and Autonomous Systems, 2009. EASe 2009. Sixth IEEE Conference and Workshops on

Date of Conference:

14-16 April 2009