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.