The PhD candidate will propose a comprehensive approach to social service composition based on the use of models at run-time and formal methods.
Formal models will first be defined for social services and composition requirements. In a second step, off-line social service composition algorithms will be proposed.
To support the dynamicity of the social service composition environment, a co-evolution approach based on runtime execution composition models and functional and contextual information monitoring will be studied.
Context
The convergence of the development of social networks, and the maturity of Web service composition techniques, enables one to envision the automatic provisioning of social collaborations out of the composition of social services. Still, with reference to Web services, social services descriptions and composition are highly dependent on contextual information (resources,time-slots,communities,localizations,etc.) and composition requirements should support the collaborative nature of social service composition.
Furthermore, social service composition takes places in a highly dynamic world where contextual information, provided services and requirements evolve continuously.
Objectives
The PhD candidate will propose a comprehensive approach to social service composition based on the use of models at run-time and formal methods.
Formal models will first be defined for social services and composition requirements. In a second step, off-line social service composition algorithms will be proposed.
To support the dynamicity of the social service composition environment, a co-evolution approach based on runtime execution composition models and functional and contextual information monitoring will be studied. The execution model should yield the generation of the relevant set of monitors (combination of passive testers and diagnosers) that, in turn, will return change events to the run-time model, triggering its modification to ensure sustainable composition.
Work program
- Formal models for social services and composition requirements.
- proposition of off-line social service composition algorithms
- co-evolution approach based on runtime execution composition models and functional and contextual information monitoring
Extra information
1 Formal Methods for Web Services. 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, LNCS 5569, 2009. 2 E. Bayse, A. Cavalli, M. Núñez, and F. Zaïdi. A passive testing approach based on invariants: application to the wap. In Computer Networks, volume 48, pages 247-266. Elsevier Science, 2005 3 P. Sriplakich, G. Waignier, and A.-F. Le Meur: Enabling Dynamic Co-evolution of Models and Runtime Applications. COMPSAC, 2008.
Prerequisite
A good knowledge of either formal methods applied to software engineering or service composition algorithms is recommended. Knowledge on AI planning, formal testing or model-checking will also be appreciated.
Détails
Expected funding
Research contract
Status of funding
Expected
Candidates
Utilisateur
Créé
Lundi 15 février 2010 17:37:31 CET
dernière modif.
Jeudi 09 juin 2011 12:20:07 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