EN FR
EN FR


Section: Bilateral Contracts and Grants with Industry

Orange Labs

Participants : Philippe Merle [correspondant] , Lionel Seinturier.

This collaboration (2017–18) aims at defining a computational model for software infrastructures layered on top of virtualized and interconnected cloud resources. This computational model will provide application programming and management facilities to distributed applications and services. This computational model will define a pivot model that will enable the interoperability of various existing and future standards for cloud systems such as OCCI and TOSCA. This pivot model will be defined with the Alloy specification language  [62]. This collaboration takes advantage of the expertise that we are developing since several years on reconfigurable component-based software systems  [73], on cloud systems  [67], and on the Alloy specification language  [66].

This collaboration with Orange Labs is a joint project with Jean-Bernard Stefani from the Spades Inria project-team.