Site Entries:On this page :
V-card:
Geolocation:
- TITLE: Theories, tools, and paradigms for service composition and coordination
- Required background
- References
- Contacts
V-card:
Geolocation:
Master project description
TITLE: Theories, tools, and paradigms for service composition and coordination
The goal of this project is to study formal abstractions of observable behavior of services and use them to develop theories of service behavior, composition, subsumption, and coordination. This will constitute the starting point to devise static analysis and tools derived from the developed theory aimed at checking security and flow information properties, to adapt them to existing standars and to make them suitable to be used in web programming systems.
Required background
Strong background in concurrency theory and acquaintance with type theory.
References
-
[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.
|
|
