Workshop on Contracts for Efficient and Reliable Services
Bertinoro, Italy -- 12th September 2014
held in co-location with
iFM 2014: The 11th International
Conference on Integrated Formal Methods
FACS 2014: The 11th International
Symposium on Formal Aspects of Component Software
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 ENVISAGE project
Envisage is a research project on engineering virtualized services. Software services are virtualized if they can adapt to the elasticity of cloud computing. Envisage develops a semantic foundation for virtualization and SLA that goes beyond today’s cloud technologies. This foundation makes it possible to efficiently develop SLA-aware and scalable services. SLA-aware services are able to control their own resource management and renegotiate SLA across the heterogeneous virtualized computing landscape. The project takes a model-based approach to the development of services, supported by highly automated analysis tools using formal methods.
On the project web site, you will find more detailed information and the project partners. The project is funded 2013-2016 by the EU under FP7. The starting date for Envisage has been October 1st, 2013.
Contracts for Efficient and Reliable Services
The workshop will address topics such as