Place: Workshop co-located with iFM and FACS, Bertinoro
Time: September 12, 2014
Location: Sala Affrescata, Centro Universitario
Participants: UIO, TUD, BOL, FRH
This workshop aims at bringing together the participants of the project and those researchers who are interested in Contracts for Efficient and Reliable Services and that participate to the co-located events. In particular the theme of the workshop is a significant topic of the Envisage Project.
The workshop will address topics such as
- formal syntax and semantics for service level agreements and service contracts
- techniques for deriving autonomous monitors of components of virtualized systems (monitoring add-ons)
- QoS and abstract descriptions of services
- interoperability issues among abstract descriptions
- interoperability obligations between service contracts that guarantee correct compositions of virtualized services
- automatic verifications of service contracts and abstract descriptions
- industrial relevance of formal languages, of the monitoring add-ons, and the related theories
Agenda:
| Time | Topic | Lead/Presenter |
| 09:30-10:30 | A process calculus framework for dynamic component structures with sharing (Joint talk with FACS 2014) | Jean-Bernard Stefani (INRIA) |
| 10:30-11:00 | Coffee break | |
| 11:00-11:15 | Behavioral Interfaces of Services (Introduction) | Cosimo Laneve (BOL) |
| 11:15-11:45 | Representation of Behavioural Interfaces in the ABS Program Logic | Crystal Chang Din (TUD) |
| 11:45-12:30 | Type and Effect System for Generic Resource Management with Futures | Michael Lienhardt (BOL) |
| 12:30-14:30 | Lunch | |
| 14:30-15:30 | Service-Level Agreements for Collective Adaptive Systems | Stephen Gilmore (Edinburgh) |
| 15:30-16:30 | Type-Based Analysis of Service Response Times | Einar Broch Johnsen (UIO) |
| 16:30-17:00 | Distributed service sustainability through an actor-based monitoring model | Behrooz Nobakht (FRH) |