Zsolt Nemeth, MTA SZTAKI Computer and Automation Research Institute, Hungary
Thierry Priol, IRISA, Campus Universitaire de Beaulieu,Cedex,France
Executing workflows on large-scale heterogeneous distributed computing systems is a challenging task. Albeit there have been many well elaborated approaches, they are often motivated by a certain class of applications and focus on some implementation specific problems. The work presented in this paper aimed at establishing a highly abstract coordination model for distributed work- flow enactment where decentralized control, autonomy, adaptation to high dynamics and partial lack of information are of primary concerns. The model is based on a nature metaphor and envisioned as a chemical reaction where molecules react autonomously according to local and actual conditions. The execution model of such chemical workflow enactment is formalized using the ?-calculus. In the ?-calculus control, scheduling, dependencies, errors and the state of the computation are all represented in a single uniform declarative formalism that has a mathematically founded clear semantics. The paper shows that the abstract coordination model expressed in ?-calculus is able to grasp all aspects of such a chemical enactment, provides a more complex and adaptive framework than most current approaches, and actual realizations may be founded on it.
Citation:
Zsolt Nemeth, Christian Perez, Thierry Priol, "Workflow Enactment Based on a Chemical Metaphor," sefm, pp.127-136, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), 2005