A. Manzalini, C. Lin, J. Huang, C. Buyukkoc, and M. Bursell, Towards 5G Software-Defined Ecosystems: Technical Challenges, Business Sustainability and Policy Issues, 2016.

B. Han, V. Gopalakrishnan, L. Ji, and S. Lee, Network Function Virtualization: Challenges and Opportunities for Innovations, IEEE Communications Magazine, vol.53, issue.2, pp.90-97, 2015.

R. Mijumbi, J. Serrat, J. L. Gorricho, N. Bouten, F. D. Turck et al., Network Function Virtualization: State-of-the-art and Research Challenges, IEEE Communications Surveys & Tutorials, vol.18, issue.1, pp.236-262, 2015.

. "microsoft-azure, , pp.2019-2027

&. Cloud, , pp.2019-2028

, OpenNebula, pp.2019-2027

, OpenStack, pp.2019-2027

F. Callegati, W. Cerroni, C. Contoli, and G. Santandrea, Performance of network virtualization in cloud computing infrastructures: The openstack case, 2014 IEEE 3rd International Conference on Cloud Networking (CloudNet), pp.132-137, 2014.

F. Foresta, W. Cerroni, L. Foschini, G. Davoli, C. Contoli et al., Improving openstack networking: Advantages and performance of native sdn integration, 2018 IEEE International Conference on Communications (ICC), pp.1-6, 2018.

, Heat: Openstack orchestration engine, pp.2019-2027

, HOT Core Specification, pp.2019-2027

, HOT Types Specification, pp.2019-2027

A. Souri, N. J. Navimipour, and A. M. Rahmani, Formal Verification Approaches and Standards in the Cloud Computing: A Comprehensive and Systematic Review, Computer Standards & Interfaces, vol.58, pp.1-22, 2018.

G. Marchetto, R. Sisto, J. Yusupov, and A. Ksentini, Virtual Network Embedding with Formal Reachability Assurance, 2018 14th International Conference on Network and Service Management (CNSM), pp.368-372, 2018.

, Heat validation tools: information about the dry-run option, pp.2019-2027

J. B. Stefani, Components as Location Graphs, International Conference on Formal Aspects of Component Software, pp.3-23, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01094208

J. Stefani and M. Vassor, Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework, 39th IFIP Int. Conf. Formal Techniques for Distributed Objects, Components, and Systems (FORTE), ser, vol.11535, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02313751

M. Hennessy, J. Rathke, and N. Yoshida, SafeDPi: A Language for Controlling Mobile Code, International Conference on Foundations of Software Science and Computation Structures, pp.241-256, 2004.

A. Schmitt and J. B. Stefani, The Kell Calculus: A Family of Higher-Order Distributed Process Calculi, International Workshop on Global Computing, pp.146-178, 2004.

I. Crnkovic, S. Sentilles, A. Vulgarakis, and M. R. Chaudron, A Classification Framework for Software Component Models, IEEE Transactions on Software Engineering, vol.37, issue.5, pp.593-615, 2010.

D. Jackson, Software Abstractions: Logic, Language, and Analysis, 2012.

, Automating first-order relational logic, ACM SIGSOFT Software Engineering Notes, vol.25, issue.6, pp.130-139, 2000.

, Cloudify, pp.2019-2027

, Docker Compose, pp.2019-2027