|
Published Articles >> Table of Contents >> Abstract
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)
pp. 127-136
Workflow Enactment Based on a Chemical Metaphor
Zsolt Nemeth, MTA SZTAKI Computer and Automation Research Institute, Hungary
Christian Perez, IRISA, Campus Universitaire de Beaulieu,Cedex,France
Thierry Priol, IRISA, Campus Universitaire de Beaulieu,Cedex,France
Full Article Text:
 
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEFM.2005.55
Send link to a friend
| Abstract |
|
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.
|
 Additional Information
|
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
|
|
