Web Services Orchestration based on the High Order Chemical Model
|
|
| Reference |
|
|
| Job Type |
Full-time |
|
| Job Status |
Sourcing |
|
| Date Posted |
Sunday, 09 September 2007 |
|
| Location |
|
|
| Duration |
|
|
| Company Information |
IRISA/INRIA, France, PARIS Project-Team
,
Website: http://www.irisa.fr/paris
|
|
| Job Description |
New advances in networking and computing technologies for service infrastructures and Grids systems have produced an explosive growth in networked applications and information services. These applications are more and more complex, heterogeneous and dynamic by essence. This combination of new parameters results in application development, configuration and management that break present computing paradigms. These applications should be able to manage themselves and react without external intervention. This unprecedented level of scale and complexity poses new challenges to computer science in many research areas such as operating systems, middleware, programming environments, applications and algorithms.
The proposed PhD thesis aims at investigating and exploring a new approach, based on chemical programming, to program large scale distributed systems such as service infrastructures and Grids. Chemical programming uses the chemical reaction metaphor to express the coordination of computations. This metaphor describes computation in terms of a chemical solution in which molecules (representing data) interact freely according to reaction rules. Chemical solutions are represented by multisets (data-structure that allows several occurrences of the same element). Computation proceeds by rewritings, which consume and produce new elements according to conditions and transformation rules. To the best of our knowledge, the Gamma formalism was the first “chemical model of computation” proposed as early as in 1986 [Banâtre et al. : 1986] and later extended (HOCL) in [Banâtre et al. : 2006b].
This PhD thesis aims at exploring the use of HOCL to perform the orchestration of a large number of services for applications that require self-adaptation and fault-tolerance. The objective is to be able to adapt the workflow of an existing application depending of the occurrence of logical and physical failures that might happened within a Grid or Service infrastructures. Previous works [Nemeth et al.: 2005] have shown that HOCL is well suited to express workflow. HOCL provide a coherent framework for self-adaptation by allowing rules to react on rules stored in the multiset. It is proposed to express both the workflow and its adaptation using a set of HOCL rules. Part of the work will be the implementation of a workflow engine based on HOCL. Experiments will be carried out using the Grid’5000 testbed. This work will be carried out in the framework of the recently accepted AUTOCHEM project funded by the ANR (French National Research Agency). The position is available immediately.
[Banâtre et al.:1993] Jean-Pierre Banâtre and Daniel Le Métayer. (January 1993). Programming by multiset transformation. Communications of the ACM (CACM), 36(1):98–111.
[Banâtre et al.:2006b] Jean-Pierre Banâtre, Pascal Fradet and Yann Radenac. Programming Self-Organizing Systems with the Higher-Order Chemical Language. In International Journal of Unconventional Computing, 2006.
[Nemeth et al.: 2005] Zsolt. Németh, Christian Pérez and Thierry Priol. Workflow Enactment Based on a Chemical Metaphor. In The 3rd IEEE International Conference on Software Engineering and Formal Methods, September 2005.
|
|
| Qualifications |
Competences: good knowledge of distributed processing, Web Services, WS Orchestration, Grid. |
|
| How to Apply |
contact J.P. Banâtre or T. Priol
Jean-Pierre.Banatre@irisa.fr | Thierry.Priol@irisa.fr |
|
| Email Resume To |
Jean-Pierre.Banatre@irisa.fr | Thierry.Priol@irisa.fr |
|
|
|
| Go back to last page |
Home 
Mobility Portal 
