Grid and Pervasive Computing, International Conference on (2008)
May 25, 2008 to May 28, 2008
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 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.
lambda calculus, workflow
P. D. Coddington, P. M. Kelly and A. L. Wendelborn, "Lambda Calculus as a Workflow Model," GPC Workshops - 2008 3rd International Conference on Grid and Pervasive Computing Workshops(GPC-WORKSHOPS), Kunming, 2008, pp. 15-22.