PhD Position, thesis topic, 2012

Contact: Didier Parigot, Thank you contact me as soon as possible at Didier.Parigot@inria.fr

Apply online at http://edstic.unice.fr/edsticTheses2011//alloc/formDemandeDyn2012.php

A Declarative Programming for Data-Centric Applications for the Future Internet.

In recent years, the design and the development of applications for the Future Internet have undergone significant changes. The concept of development driven by services with the concept of Programming (Computing) Service Oriented (Service Oriented Computing) with its various technologies of service-oriented architecture (SOA) has become the unifying element for the assembly of applications on the Internet. Furthermore, the concept of Architecture in Peer to Peer (P2P) technology with its various overlay networks technics or distributed P2P database provides a decentralized vision (collaborative). Finally, the concepts of workflow-oriented services or data-centric (for scientific workflow) give to these Web applications a high level of abstraction and offer multiple opportunities for multidisciplinary collaboration.

The contribution of the thesis is to design and develop a new model of computing (programming, assembly or coordination) for the data-centric applications. Specifically, this model calculation will be based initially on our research prototype, called the Shared-Data Overlay Network (SON) currently based on a SOA Peer to Peer. The objective of this thesis is to proposed a declarative programming centered data based on this SON frame-work.

This thesis will take place in the Zenith team whose research topics are the management of the scientific data, according various approaches (data integration, data sharing, datamaining).

Programmation déclarative centrée données pour les applications de l’internet du futur.

Depuis quelques années, la conception et le développement des applications pour l’internet du futur ont subi d’importants changements (bouleversements). Le concept de développement dirigé par les services avec le concept de Programmation (Calcul) Orienté Service (Service Oriented Computing) avec ses diverses technologies d’Architecture Orientée Services (SOA) est devenu l’élément fédérateur pour l’assemblage des applications sur l’Internet. De plus le concept d’Architecture en Pair à Pair (P2P) avec ses diverses techniques de réseaux de recouvrement (Overlay Network) ou de base de donnée répartie (organisée en Pair à Pair) apporte une vision décentralisée (collaborative) à ce concept de programmation orienté services. Enfin, les concepts de workflow orienté services ou orientés données (pour les workflow scientifiques) fournissent un niveau élevé d’abstraction qui permet de s’abstenir des aspects techniques et offrent des multiples possibilités de collaboration pluridisciplinaire.

La contribution de la thèse sera de concevoir et d’élaborer un nouveau modèle de calcul (de programmation, d’assemblage ou de coordination) pour ces applications de demain. Plus précisément, ce modèle de calcul s’appuiera dans un premier temps, pour les aspects techniques sur notre prototype de recherche, dénommé Shared-Data Overlay Network (SON) basé pour l’instant, sur une SOA en Pair à Pair. L’objectif de cette thèse sera de proposé une programmation déclarative centrée données au-dessus de ce frame-work SON.

Cette thèse s’effectuera au sein de l’équipe Zenith dont le thème de recherche est la gestion à grande échelle de données scientifiques suivant divers angles d’approche (intégration, partage, recherche etc).

References

1. Comparing Workflow Specification Languages: A Matter of Views. Abiteboul, Serge, Bourhis, Pierre and Vianu, Victor. In International Conference on Database Theory (ICDT) , Uppsala Suede , 03 2011. (Victor Vianu was supported in part by the NSF under award III-0916515 ). (URL) (BIB)
2. Implementing declarative overlays. Boon Thau Loo, Tyson Condie, Joseph M. Hellerstein, Petros Maniatis, Timothy Roscoe and Ion Stoica. In SOSP, pages 75-90, 2005. (URL) (BIB)
3. BOOM: Data-Centric Programming in the Datacenter. Alvaro, Peter, Condie, Tyson, Conway, Neil, Elmeleegy, Khaled, Hellerstein, Joseph M. and Sears, Russell C. Technical report UCB/EECS-2009-113, EECS Department, University of California, Berkeley, Aug 2009. (URL) (BIB)
4. Netlog, a Rule-Based Language for Distributed Programming. St{\'e}phane Grumbach and Fang Wang. In PADL, pages 88-103, 2010. (BIB)