Lambda calculus as a workflow model

  • Authors:
  • Peter M. Kelly;Paul D. Coddington;Andrew L. Wendelborn

  • Affiliations:
  • School of Computer Science, University of Adelaide, S.A. 5005, Australia;School of Computer Science, University of Adelaide, S.A. 5005, Australia;School of Computer Science, University of Adelaide, S.A. 5005, Australia

  • Venue:
  • Concurrency and Computation: Practice & Experience - Special Issue: 3rd International Workshop on Workflow Management and Applications in Grid Environments (WaGe2008)
  • Year:
  • 2009

Quantified Score

Hi-index 0.01

Visualization

Abstract

Data-oriented workflows are often used in scientific applications for executing a set of dependent tasks across multiple computers. We discuss how these can be modeled using lambda calculus, and how ideas from functional programming are applicable in the design of workflows. Such an approach avoids the restrictions often found in workflow languages, permitting the implementation of complex application in logic and data manipulation. This paper explains why lambda calculus is an appropriate model for workflow representation, and how a suitably efficient implementation can provide a wide range of capabilities to developers. The presented approach also permits high-level workflow features to be implemented at user level, in terms of a small set of low-level primitives provided by the language implementation. Copyright © 2009 John Wiley & Sons, Ltd.