Section: Bilateral Contracts and Grants with Industry

Orange #1

Participants : Philippe Merle [contact person] , Lionel Seinturier.

This collaboration (2017–19) aims at defining a computational model for software infrastructures layered on top of virtualized and interconnected cloud resources. This computational model provides application programming and management facilities to distributed applications and services [39], [44]. This computational model defines a pivot model that enables the interoperability of various existing and future standards for cloud systems such as OCCI and TOSCA. This pivot model is 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 [75], on cloud systems [69], and on the Alloy specification language [67].

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