Automated synthesis of dynamically adaptable service choreographies
The activities are related to Task MID.1 of the INCIPICT project, which aims to build a framework for the automated synthesis of service choreographies in order to automatically assemble applications for the PA of L'Aquila, which are able to dynamically adapt to possible context changes, e.g., in case of catastrophic events. The involvement of the students is foreseen in the development and experimentation activities, to initialize a laboratory on the choreography synthesis that will survive after the end of the INCIPICT project.
In this context, research activities will focus on the development of methods for the automated synthesis of distributed coordinators for heterogeneous interaction protocols, in the domain of distributed and service-based software systems
This job comes from a partnership with Science Magazine and