Software services are virtualized if they can adapt to the elasticity of cloud computing. However, to fully take advantage of the cloud, virtualized services need to be both reliable and resource-aware. The ENVISAGE project targets a novel software engineering methodology with tools to help software engineers efficiently develop and deploy virtualized services for the cloud. The ENVISAGE methodology addresses two major barriers to the industrial adoption of virtualized services: (1) the efficient analysis, dynamic composition and deployment of services with qualitative and quantitative levels and (2) the elastic control of resources such as storage and processing capacities according to the internal policies of the services. ENVISAGE plans to overcome these barriers by leveraging service-level agreements (SLA) into software models and resource management into the early phases of service design.
ENVISAGE will build on a semantic foundation of virtualization and SLA which goes beyond today's cloud technologies. This foundation makes it possible to efficiently develop SLA-aware services, supported by highly automated analys tools using formal methods. SLA-aware services are able to control their own resource management and renegotiate SLA across the heterogeneous virtualized computing landscape.
ENVISAGE will create a practical open-source framework for model-based development, which includes a behavioral specification language for describing resource-aware models, a simulator with visualization facilities, and with automated tool support for resource analysis, for the validation of SLA, for code generation, and for the monitoring of SLA for deployed services. The consortium has the complementary expertise required by this challenging research agenda, with leading researchers in formal methods, contract-based specification, service-oriented computing and resource analysis, and with industries in different business domains developing cutting edge ICT technologies based on virtualized services.
The methodology and tools targeted by ENVISAGE will allow services to be delivered in a more effective, efficient, and reliable manner than today, accelerating the development cycle and lowering the operational costs for innovative networked services that make use of cloud computing. This has the potential to significantly improve the competitiveness of SMEs, and profoundly influence business ICT strategies in all sectors.
Coordinator Universitetet I Oslo (Norway)
Other participants:
ALMA MATER STUDIORUM-UNIVERSITA DI BOLOGNA
- Dipartimento di Informatica - Scienza e Ingegneria-DISI
- Resp. Scientifico: Prof. Cosimo Laneve
Technische Universitaet Darmstadt (Germany)
Atbrox As (Norway)
Universidad Complutense De Madrid (Spain)
Fredhopper B.V. (Netherlands)
Stichting Centrum Voor Wiskunde En Informatica (Netherlands)
Engineering - Ingegneria Informatica Spa (Italy)
Start date 01/10/2013
End date 30/09/2016
Duration 36 months
Project Reference 610582
Project cost 4.624.323 EURO
Project Funding 3.179.997 EURO
Area FP7- COOPERATION - ICT
Subprogramme Area ICT-2013-10
Contract type Collaborative project