Internet brings a growing number of networked applications and data to the end-user. Future Personal Information Management Systems (PIMS) will have to provide this end-user with means to access and compose personal information services (PI-services) in a way that is relevant to his needs.
The PhD will first propose formal models and algorithms dedicated to PIMS composition in a dynamic environment.
Context
Internet brings a growing number of networked applications and data to the end-user. Future Personal Information Management Systems (PIMS) will have to provide this end-user with means to access and compose personal information services (PI-services) in a way that is relevant to his needs. Solutions have been proposed in the Web service context for the automated orchestration of Web services, but the PIMS context requires to ground on more lightweight frameworks, such as Web Applications or Restful services that are composed thereafter using service mashups. Still, but for the help of declarative languages and graphical editors, mashup construction is mainly a manual task.
Objectives
The PhD will first propose formal models dedicated to PIMS composition, namely for PI-service description and PIMS requirements, supporting both functional and non functional information. In a second step, these models will be used to define automatic PIMS composition algorithms, e.g., based on AI planning composition 1 for the functional viewpoint and combinatorial selection 2 for the non functional one. The use of rich semantic annotations for PIMS services will be studied in order to foster composition even in presence of mismatch between exchanged data 3 or interaction protocols. As composition takes place today in a dynamic, open world, composition will be supported by a continuous run-time process taking into account evolution in the PI-service composition environment.
Work program
formal models dedicated to PIMS composition
proposition of automatic PIMS composition algorithms
support of run-time processes taking into account evolution in the PI-service composition environment
Extra information
1 S. Beauche and P. Poizat. Automated Service Composition with Adaptive Planning. in ICSOC'2008. 2 J. El Haddad, M. Manouvrier, G. Ramirez, and M. Rukoz.
QoS-driven Selection of Web Services for Transactional Composition.
In ICWS'2008. 3 C. Reynaud, N Pernelle, M.-C. Rousset, B. Safar, and F. Saïs. Data Extraction, Transformation and Integration guided by an Ontology, Chapter of the Book Data Warehousing. Design and Advanced Engineering Applications. To appear
Prerequisite
A good knowledge of either formal methods applied to software engineering, service composition algorithms, or semantic reasonning is recommended. Knowledge on AI planning, model-checking, and/or semantic Web technologies will also be appreciated.
Détails
Expected funding
Research contract
Status of funding
Expected
Candidates
Utilisateur
Créé
Lundi 15 février 2010 17:57:38 CET
dernière modif.
Jeudi 09 juin 2011 12:20:51 CEST
Fichiers joints
filename
créé
hits
filesize
Aucun fichier joint à cette fiche
Connexion
Ecole Doctorale Informatique Paris-Sud
Directrice
Nicole Bidoit Assistante
Stéphanie Druetta Conseiller aux thèses
Dominique Gouyou-Beauchamps
ED 427 - Université Paris-Sud
UFR Sciences Orsay
Bat 650 - aile nord - 417
Tel : 01 69 15 63 19
Fax : 01 69 15 63 87
courriel: ed-info à lri.fr