Entrées de Site :Sur cette page:
V-card:
Geolocation:
- TITRE: Théories, outils et paradigmes pour la composition et coodination de services.
- Pré-requis
- Références
- Contacts
V-card:
Geolocation:
Proposition de stage M2
TITRE: Théories, outils et paradigmes pour la composition et coodination de services.
Le but de ce stage est d'étudier des abstractions formelles du comportement observable de services web, et de les utiliser pour développer des théories pour définir le comportement, la composition, l'implication et la coordination de services. Ceci constituera le point de depart pour la définition d'analyses statiques et d'outils pour la verification de propriétés de securité et de contrôle du flot d'information, qui devront ensuite être adaptés aux standards existants afin de pourvoir les utiliser dans la pratique de la programmation Web.
Rémunération possible
Pré-requis
Bonne connaissance de la théorie de la concurrence et des algèbres de processus ainsi que de la théorie des types.
Références
-
[1] G. Castagna and L. Padovani: Contracts for Mobile Processes
. In CONCUR 2009, 20th. International Conference on Concurrency Theory, n. 5710, LNCS, pag. 211-228, Springer, 2009.
-
[2] G. Castagna, N. Gesbert, and L. Padovani: A Theory of Contracts for Web Services . ACM Transactions on Programming Languages and Systems, vol. 31, n. 5, pag. (19:1―19:61), 2009.
-
[3] G. Castagna, M. Dezani-Ciancaglini, E. Giachino, and L. Padovani: Foundation of Session Types . In PPDP '09: 11th international ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, pag. 219-230, ACM, 2009.
|
|
