Workshop on Contracts for Efficient and Reliable Services

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

  1. formal syntax and semantics for service level agreements and service contracts
  2. techniques for deriving autonomous monitors of components of virtualized systems (monitoring add-ons)
  3. QoS and abstract descriptions of services
  4. interoperability issues among abstract descriptions
  5. interoperability obligations between service contracts that guarantee correct compositions of virtualized services
  6. automatic verifications of service contracts and abstract descriptions
  7. industrial relevance of formal languages, of the monitoring add-ons, and the related theories


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)