A. Website, , vol.147, 2018.

. Aeolus-anr-project-website, , 2018.

S. Nacer and . Tata, Simulation Extension for Cloud standard OCCIware, 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), vol.146, pp.263-264, 2016.

S. Ahmed-nacer, W. Tata, P. Gaaloul, J. Merle, and . Parpaillon, Noël Plouzeau and Stéphanie Challita. OCCI Behavioural Model, p.129, 2016.

W. Ahmed-nacer, S. Gaaloul, and . Tata, OCCICompliant Cloud Configuration Simulation, IEEE International Conference on Edge Computing (EDGE), vol.146, pp.73-81, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01523933

A. Website, , vol.91, 2018.

E. D. Ardagna, G. Nitto, D. Casale, P. Petcu, S. Mohagheghi et al., MODAClouds: A Model-Driven Approach for the Design and Execution of Applications on Multiple Clouds, 4th International Workshop on Modeling in Software Engineering, p.35, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01910371

M. Armbrust, A. Fox, R. Griffith, A. D. Joseph, R. Katz et al., Ariel Rabkin, Ion Stoicaet al. A View of Cloud Computing, Communications of the ACM, vol.53, issue.4, pp.50-58, 2010.

K. G. Asserson, A. Jeffery, and . Lopatenko, CERIF: past, present and future: an overview, vol.32, 2002.

, Amazon Web Services Website, 2018.

. Microsoft-azure-website, , 2018.

B. Barras, S. Boutin, C. Cornes, J. Courant, J. Filliatre et al., Chetan Murthyet al. The Coq Proof Assistant Reference Manual: Version 6.1, p.158, 1997.

G. Baryannis, P. Garefalakis, K. Kritikos, and K. Magoutis, Lifecycle Management of Service-based Applications on MultiClouds: A Research Roadmap, International workshop on Multi-cloud applications and federated clouds, p.21, 2013.

M. ]-mike-belshe, R. Thomson, and . Peon, Hypertext Transfer Protocol Version 2 (HTTP/2), vol.142, 2015.

N. Bencomo, . Robert-b-france, H. C. Betty, U. Cheng, and . Aßmann, Models@run.time: Foundations, Applications, and Roadmaps, p.115, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00733338

Z. Benzadri, F. Belala, and C. Bouanaka, Towards a Formal Model for Cloud Computing, International Conference on ServiceOriented Computing, vol.124, pp.381-393, 2013.

A. Bergmayr, H. Bruneliere, J. Luis-canovas, J. Izquierdo, G. Gorronogoitia et al., Migrating legacy software to the cloud with ARTIST, Software Maintenance and Reengineering (CSMR), 2013 17th European Conference on, p.35, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00869268

A. Bergmayr, J. Troya, P. Neubauer, M. Wimmer, and G. Kappel, UML-based Cloud Application Modeling with Libraries, Profiles, and Templates*, Proc. Workshop on CloudMDE, p.33, 2014.

A. Bergmayr, U. Breitenbücher, N. Ferry, A. Rossini, A. Solberg et al., A Systematic Review of Cloud Modeling Languages, ACM Computing Surveys (CSUR), vol.51, issue.1, p.22, 2018.

T. Berners-lee, R. Fielding, and L. Masinter, Uniform Resource Identifiers (URI): Generic Syntax, p.69, 1998.

T. Binz, G. Breiter, F. Leymann, and T. Spatzier, Portable Cloud Services Using TOSCA, IEEE Internet Computing, vol.33, issue.3, p.23, 2012.

T. Binz, U. Breitenbücher, F. Haupt, O. Kopp, F. Leymann et al., OpenTOSCA-A Runtime for TOSCA-based Cloud Applications, Service-Oriented Computing, vol.38, pp.692-695, 2013.

G. Blair, N. Bencomo, and R. France, Models@run.time. Computer, vol.42, issue.10, pp.22-27, 2009.

R. Bobba, J. Grov, I. Gupta, S. Liu, J. Meseguer et al., Design, Formal Modeling, and Validation of Cloud Storage Systems Using Maude, p.124, 2017.

M. Brambilla, J. Cabot, and M. Wimmer, ModelDriven Software Engineering in Practice, Synthesis Lectures on Software Engineering, vol.1, issue.1, pp.1-182, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00755006

E. Brandtzaeg, S. Mosser, and P. Mohagheghi, Towards CloudML, a Model-Based Approach to Provision Resources in the Clouds, 8th European Conference on Modelling Foundations and Applications (ECMFA), vol.34, pp.18-27, 2012.

B. Website, , vol.32, 2018.

H. Bruneliere, J. Cabot, and F. Jouault, Combining Model-Driven Engineering and Cloud Computing, Modeling, Design, and Analysis for the Service Cloud-MDA4ServiceCloud'10: Workshop's 4th edition (co-located with the 6th European Conference on Modelling Foundations and Applications-ECMFA 2010), p.52, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00539168

R. Buyya, S. Chee-shin-yeo, J. Venugopal, I. Broberg, and . Brandic, Cloud Computing and Emerging IT Platforms: Vision, Hype, and Reality for Delivering Computing as the 5th Utility, Future Generation Computer Systems, vol.25, issue.6, pp.599-616, 2009.

R. Rodrigo-n-calheiros, A. Ranjan, . Beloglazov, A. César, R. Rose et al., CloudSim: A Toolkit for Modeling and Simulation of Cloud Computing Environments and Evaluation of Resource Provisioning Algorithms, Software: Practice and Experience, vol.41, issue.1, pp.23-50, 2011.

H. Cao, J. Falleri, and X. Blanc, Automated Generation of REST API Specification from Plain HTML Documentation, the 15th International Conference on Service-Oriented Computing (ICSOC), vol.100, pp.453-461, 2017.

M. Carlson, M. Chapman, A. Heneveld, S. Hinkelman, D. Johnston-watt et al., Adrian Ottoet al. Cloud Application Management for Platforms. Specification document, OASIS, p.22, 2012.

, Storage Networking Industry Association (SNIA) Website, 2018.

S. Challita, F. Paraiso, and P. Merle, A Study of Virtual Machine Placement Optimization in Data Centers, 7th International Conference on Cloud Computing and Services Science (CLOSER, p.17, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01481631

S. Challita, F. Paraiso, and P. Merle, Towards Formal-based Semantic Interoperability in Multi-Clouds: the fclouds Framework, 10th IEEE International Conference on Cloud Computing (CLOUD), vol.121, pp.710-713, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01519831

S. Challita, F. Zalila, C. Gourdin, and P. Merle, A Precise Model for Google Cloud Platform, 6th IEEE International Conference on Cloud Engineering (IC2E), pp.177-183, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01689659

, Bibliography 165

S. Challita, F. Zalila, and P. Merle, Specifying Semantic Interoperability between Heterogeneous Cloud Resources with the fclouds Formal Language, 11th International Conference on Cloud Computing (CLOUD), vol.121, pp.367-374, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01790629

C. Chapman, W. Emmerich, . Fermín-galán, S. Márquez, A. Clayman et al., Software Architecture Definition for OnDemand Cloud Provisioning. Cluster Computing, vol.15, issue.2, p.38, 2012.

G. Gobinda and . Chowdhury, Natural Language Processing. Annual review of information science and technology, vol.37, issue.1, p.98, 2003.

A. Ciuffoletti, Open Cloud Computing Interface-Monitoring Extension. Specification Document 1.2, Open Grid Forum, vol.84, p.63, 2016.

. Cloudmig-xpress-website, , vol.34, 2018.

R. Cohen, Examining Cloud Compatibility, Portability and Interoperability. ElasticVapor: Life in the Cloud, vol.9, 2009.

D. Davis and G. Pilz, Cloud Infrastructure Management Interface (CIMI) Model and REST Interface over HTTP, p.263, 2012.

D. Website, , 2018.

D. Website, , p.86, 2018.

M. Drescher, B. Parák, and D. Wallom, Open Cloud Computing Interface-Compute Resource Template Profile. Specification Document GFD.222, Open Grid Forum, vol.82, p.55, 2016.

. Enterprise-architect-website, , vol.30, 2018.

A. Edmonds, T. Metsch, A. Papaspyrou, and A. Richardson, Toward an Open Cloud Standard, IEEE Internet Computing, vol.16, issue.4, pp.15-25, 2012.

A. Edmonds and T. Metsch, Open Cloud Computing Interface-Text Rendering. Specification Document GFD-R-P.229, Open Grid Forum, 2016.

E. Fc-website, , 2018.

, Eclipse Modeling Framework, vol.30, 2018.

E. Website, , p.31, 2018.

. Erocci-website, , vol.13, 2018.

S. Farokhi, Towards an SLA-Based Service Allocation in MultiCloud Environments, 14th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid), p.35, 2014.

A. J. Ferrer, F. Hernández, J. Tordsson, E. Elmroth, A. Ali-eldin et al., OPTIMIS: A Holistic Approach to Cloud Service Provisioning, Future Generation Computer Systems, vol.28, issue.1, pp.66-77, 2012.

N. Ferry, A. Rossini, F. Chauvel, B. Morin, and A. Solberg, Towards Model-Driven Provisioning, Deployment, Monitoring, and Adaptation of Multi-Cloud Systems, IEEE 6th International Conference on Cloud Computing (CLOUD), vol.34, pp.887-894, 2013.

N. Ferry, F. Chauvel, H. Song, A. Rossini, M. Lushpenko et al., CloudMF: Model-Driven Management of Multi-Cloud Applications, ACM Transactions on Internet Technology (TOIT), vol.18, issue.2, p.34, 2018.

R. Fielding, Architectural Styles and the Design of Network-based Software Architectures, vol.50, 2000.

F. Website, , 2018.

M. Fowler, Domain-Specific Languages. Pearson Education, vol.108, 2010.

W. Frey and . Hasselbring, The CloudMIG Approach: ModelBased Migration of Software Systems to Cloud-Optimized Applications, International Journal on Advances in Software, vol.4, issue.3, p.34, 2011.

S. Frey, F. Fittkau, and W. Hasselbring, Search-Based Genetic Optimization for Deployment and Reconfiguration of Software in the Cloud, International Conference on Software Engineering, p.35, 2013.

J. García-galán, P. Trinidad, F. Omer, A. Rana, and . Ruiz-cortés, Automated Configuration Support for Infrastructure Migration to the Cloud, Future Generation Computer Systems, vol.55, p.36, 2016.

A. Garis, C. R. Ana, A. Paiva, D. Cunha, and . Riesco, Specifying UML Protocol State Machines in Alloy, International Conference on Integrated Formal Methods, p.136, 2012.

G. Cloud-platform-website, , 2018.

L. Gherardi, D. Hunziker, and G. Mohanarajah, A Software Product Line Approach for Configuring Cloud Robotics Applications, 7th IEEE International Conference on Cloud Computing (CLOUD), p.36, 2014.

F. Glaser, J. Erbel, and J. Grabowski, Model Driven Cloud Orchestration by Combining TOSCA and OCCI, 7th International Bibliography Conference on Cloud Computing and Services Science (CLOSER), p.159, 2017.

, Graphical Modeling Framework (GMF) Website, 2018.

G. Website, , p.26, 2018.

G. Website, , p.31, 2018.

J. Guillén, J. Miranda, J. , M. Murillo, and C. Canal, A UML Profile for Modeling Multicloud Applications, ServiceOriented and Cloud Computing, p.37, 2013.

M. Hamdaqa and L. Tahvildari, StratusML: A Layered Cloud Modeling Framework, IEEE International Conference on Cloud Engineering (IC2E), p.39, 2015.

F. Haupt, F. Leymann, A. Scherer, and K. Vukojevic-haupt, A Framework for the Structural Analysis of REST APIs, the International Conference on Software Architecture (ICSA), vol.100, pp.55-58, 2017.

H. Website, , 2018.

T. Holmes, Automated Provisioning of Customized Cloud Service Stacks using Domain-Specific Languages, CloudMDE, p.36, 2014.

T. Holmes, Facilitating Migration of Cloud Infrastructure ServicesA Model-Based Approach, 3rd International Workshop on Model-Driven Engineering on and for the Cloud in conjunction with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, p.37, 2015.

H. Hußmann, Fundamental Approaches to Software Engineering (FASE), 5th International Conference held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS), vol.30, 2001.

D. Jackson, Software Abstractions: logic, language, and analysis, vol.12, 2012.

. Apache-jclouds-website, , p.26, 2018.

J. and L. Schubert, PaaSage. IEEE Cloud Computing, vol.4, issue.3, pp.60-60, 2017.

D. Jurafsky, Speech and Language Processing: An Introduction to Natural Language Processing. Computational linguistics, and speech recognition, p.113, 2000.

K. Website, , 2018.

C. Kyo, S. G. Kang, J. A. Cohen, . Hess, E. William et al., Feature-Oriented Domain Analysis (FODA) Feasibility Study, vol.30, 1990.

G. Katsaros, Open Cloud Computing Interface-Service Level Agreements. Specification Document GFD.228, Open Grid Forum, 2016.

A. Khajeh-hosseini, D. Greenwood, W. James, I. Smith, and . Sommerville, The Cloud Adoption Toolkit: Supporting Cloud Adoption Decisions in the Enterprise. Software: Practice and Experience, vol.42, p.33, 2012.

T. Kirkham and B. Matthews, Vasily Bunakov and Keith Jeffery. CAMEL and the Modelling of Cloud Lifecycles, 2014 Conference, eChallenges e-2014, vol.32, pp.1-6, 2014.

D. Klein, . Christopher, and . Manning, Accurate Unlexicalized Parsing, Proceedings of the 41st Annual Meeting on Association for Computational Linguistics, vol.1, p.112, 2003.
DOI : 10.3115/1075096.1075150

URL : http://dl.acm.org/ft_gateway.cfm?id=1075150&type=pdf

A. Kleppe, Software Language Engineering: Creating DomainSpecific Languages using Metamodels. Pearson Education, p.29, 2008.

S. Ssgl-ryan-ko, . Lee, and . Veerappa-rajan, Cloud Computing Vulnerability Incidents: A Statistical Overview, 2013.

A. Kopaneli, G. Kousiouris, G. E. Velez, A. Evangelinou, and T. Varvarigou, A Model Driven Approach for Supporting the Cloud Target Selection Process, Procedia Computer Science, vol.68, p.35, 2015.

O. Kopp, T. Binz, U. Breitenbücher, and F. Leymann,

-. Winery, Modeling Tool for TOSCA-based Cloud Applications, International Conference on Service-Oriented Computing, vol.38, pp.700-704, 2013.

F. Korte, S. Challita, F. Zalila, P. Merle, and J. Grabowski, Model-Driven Configuration Management of Cloud Applications with OCCI, 8th International Conference on Cloud Computing and Services Science (CLOSER), vol.87, p.16, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01678945

L. Lamport, Specifying Systems: the TLA+ Language and Tools for Hardware and Software Engineers, p.158, 2002.

F. Leymann, C. Fehling, R. Mietzner, A. Nowak, and S. Dustdar, Moving Applications to the Cloud: an Approach Based on Application Model Enrichment, International Journal of Cooperative Information Systems, vol.20, issue.03, p.37, 2011.

. Apache-libcloud-website, , p.26, 2018.

N. Loutas, E. Kamateri, and K. Tarabanis, A Semantic Interoperability Framework for Cloud Platform as a Service, 3rd International Conference on Cloud Computing Technology and Science (CloudCom), p.124, 2011.

. Donald-w-loveland, Automated Theorem Proving: a logical basis, p.158, 2016.

M. Website, , 2018.

H. Medhioub, B. Msekni, and D. Zeghlache, OCNI-Open Cloud Networking Interface, 22nd International Conference on Computer Communications and Networks (ICCCN), vol.63, pp.1-8, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01263480

P. Mell and T. Grance, The NIST Definition of Cloud Computing, 2011.

M. Menzel and R. Ranjan, CloudGenius: Decision Support for Web Server Cloud Migration, 21st International Conference on World Wide Web, vol.33, pp.979-988, 2012.

D. Merkel, Docker: Lightweight Linux Containers for Consistent Development and Deployment, Linux Journal, vol.2014, issue.239, p.28, 2014.

P. Merle, O. Barais, J. Parpaillon, N. Plouzeau, and S. Tata, A Precise Metamodel for Open Cloud Computing Interface, 8th International Conference on Cloud Computing (CLOUD), vol.73, p.63, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01188800

P. Merle, J. Parpaillon, and O. Barais, OCCI Specific Language-Structural Part, p.71, 2015.

P. Merle, C. Gourdin, and N. Mitton, Mobile Cloud Robotics as a Service with OCCIware, 2nd IEEE International Congress on Internet of Things (ICIOT), vol.86, p.76, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01522684

T. Metsch and M. Mohamed, Open Cloud Computing Interface-Platform. Specification Document GFD.227, Open Grid Forum, vol.63, 2016.

R. Mietzner, T. Unger, and F. Leymann, Cafe: A Generic Configurable Customizable Composite Cloud Application Framework, On the Move to Meaningful Internet Systems: OTM 2009, p.37, 2009.

, R. Moats. URN Syntax, p.68, 1998.

, Core Specification. OMG Document, vol.30, 2006.

M. Mohamed, D. Belaïd, and S. Tata, Monitoring and Reconfiguration for OCCI Resources, 5th IEEE International Conference on Cloud Computing Technology and Science (CloudCom), vol.1, pp.539-546, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01261671

M. Mohamed, Generic Monitoring and Reconfiguration for Service-based Applications in the Cloud, INT, vol.63, 2014.
URL : https://hal.archives-ouvertes.fr/tel-01123740

M. Mohamed, D. Belaïd, and S. Tata, Autonomic Computing for OCCI Resources, vol.63, 2014.

M. Mohamed, M. Amziani, D. Belaid, S. Tata, and T. Melliti, An Autonomic Approach to Manage Elasticity of Business Processes in the Cloud, Future Generation Computer Systems, vol.50, pp.49-61, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01120908

G. Mohanarajah, D. Hunziker, D. Raffaello, M. Andrea, and . Waibel, Rapyuta: A Cloud Robotics Platform, IEEE Transactions on Automation Science and Engineering, vol.12, issue.2, p.36, 2015.

D. Moody and . The, Physics" of Notations: Toward a Scientific Basis for Constructing Visual Notations in Software Engineering, IEEE Transactions on Software Engineering, vol.35, issue.6, p.114, 2009.

C. Newcombe, T. Rath, F. Zhang, B. Munteanu, M. Brooker et al., How Amazon Web Services Uses Formal Methods, Communications of the ACM, vol.58, issue.4, p.124, 2015.

F. Dinh-khoa-nguyen, . Lelli, P. Mike, W. Papazoglou, . Van-den et al., Blueprinting Approach in Support of Cloud Computing, Future Internet, vol.4, issue.1, p.31, 2012.

R. Nyrén, A. Edmonds, T. Metsch, and B. Parák, Open Cloud Computing Interface-HTTP Protocol. Specification Document GFD.223, Open Grid Forum, 2016.

R. Nyrén, A. Edmonds, and A. Papaspyrou, Open Cloud Computing Interface-Core. Specification Document GFD.221, Open Grid Forum, vol.50, 2016.

R. Nyrén, A. Edmonds, and A. Papaspyrou, Open Cloud Computing Interface-Infrastructure. Specification Document GFD.224, Open Grid Forum, 2016.

R. Nyrén and F. Feldhaus, Open Cloud Computing Interface-JSON Rendering. Specification Document GFD-R-P.226, Open Grid Forum, vol.75, 2016.

O. , , vol.23, 2018.

. Occi4java-github-repository, , vol.13, 2018.

. Occiware-project-website, , vol.55, 2018.

, Object Constraint Language, Version 2.4. OMG Specification OMG Document Number, 2014.

O. Website, , 2018.

. Opentosca-ecosystem-website, , vol.38, 2018.

. Dmtf-website, , 2018.

. Paasage-project-website, , vol.35, 2018.

R. Pandita, X. Xiao, H. Zhong, T. Xie, S. Oney et al., Inferring Method Specifications from Natural Language API Descriptions, the 34th International Conference on Software Engineering (ICSE), p.101, 2012.

F. Paraiso, N. Haderer, P. Merle, R. Rouvoy, and L. Seinturier, A Federated Multi-Cloud PaaS Infrastructure, 5th IEEE International Conference on Cloud Computing (CLOUD), pp.392-399, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00694700

F. Paraiso, P. Merle, and L. Seinturier, soCloud: A Service-Oriented Component-based PaaS for Managing Portability, Provisioning, Elasticity, and High Availability across Multiple Clouds. Computing, p.39, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01019385

F. Paraiso, S. Challita, Y. Al-dhuraibi, and P. Merle, Model-driven Management of Docker Containers, 9th IEEE International Conference on Cloud Computing (CLOUD), vol.76, p.17, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01314827

J. Parpaillon, P. Merle, O. Barais, M. Dutoo, and F. Paraiso, OCCIware-A Formal and Tooled Framework for Managing Everything as a Service, Projects Showcase@ STAF'15, vol.1400, p.55, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01188826

P. Pawluk, B. Simmons, M. Smit, M. Litoiu, and S. Mankovski, Introducing STRATOS: A Cloud Broker Service, 5th IEEE International Conference on Cloud Computing (CLOUD), pp.891-898, 2012.

, Multi-Cloud: Expectations and Current Approaches, International Workshop on Multi-cloud Applications and Federated Clouds, pp.1-6, 2013.

F. Petrillo, P. Merle, N. Moha, and Y. Guéhéneuc, Are REST APIs for Cloud Computing Well-Designed? An Exploratory Study, the International Conference on Service-Oriented Computing (ICSOC), vol.100, pp.157-170, 2016.

, Uta Priss. Formal Concept Analysis in Information Science. Arist, vol.40, issue.1, p.113, 2006.

. Pyocni-github-repository, , 2018.

. Pyssf-github-repository, , vol.13, 2018.

C. Quinton, N. Haderer, R. Rouvoy, and L. Duchien, Towards Multi-Cloud Configurations Using Feature Models and Ontologies, International Workshop on Multi-cloud Applications and Federated Clouds, vol.39, pp.21-26, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00801702

E. Rachkidi and D. Belaïd, Nazim Agoulmine and Nada Chendeb. Cloud of Things Modeling for Efficient and Coordinated Resources Provisioning, OTM Confederated International Conferences" On the Move to Meaningful Internet Systems, p.146, 2017.

. Rational-rose-modeler-website, , vol.30, 2018.

R. Website, , 2018.

. Rocci-website, , vol.13, 2018.

S. Rugaber and K. Stirewalt, Model-Driven Reverse Engineering, IEEE software, vol.21, issue.4, p.96, 2004.

A. Sadovykh, C. Hein, B. Morin, P. Mohagheghi, and A. J. Berre, REMICS: REuse and Migration of legacy applications to Interoperable Cloud Services, 4th European conference on Towards a service-based internet, p.35, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01912863

S. Website, , 2018.

C. Sandru, D. Petcu, . Victor-ion, and . Munteanu, Building an Open-Source Platform-as-a-Service with Intelligent Management of Multiple Bibliography Cloud Resources, IEEE/ACM 5th International Conference on Utility and Cloud Computing, pp.333-338, 2012.

S. Website, , vol.156, 2018.

S. Website, , 2018.

C. Douglas and . Schmidt, Model-Driven Engineering, COMPUTERIEEE COMPUTER SOCIETY, vol.39, issue.2, p.115, 2006.

C. Gabriel, . Silva, M. Louis, R. Rose, and . Calinescu, Cloud DSL: A Language for Supporting Cloud Portability by Describing Cloud Entities, vol.33, pp.36-45, 2014.

S. Website, , p.26, 2018.

A. Sinha, A. Stanley-m-sutton, and . Paradkar, Text2Test: Automated Inspection of Natural Language Use Cases, the 3rd International Conference on Software Testing, Verification and Validation (ICST), p.101, 2010.

S. Website, , vol.71, 2018.

G. Sousa, M. Fábio, . Costa, J. Peter, A. Clarke et al., Model-Driven Development of DSML Execution Engines, 7th Workshop on Models@ run. time, p.31, 2012.

W. Sousa, L. Rudametkin, and . Duchien, Extending Dynamic Software Product Lines with Temporal Constraints, Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, p.39, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01482014

. Stanford-parser-website, , p.113, 2018.

D. Steinberg and F. Budinsky, Ed Merks and Marcelo Paternostro. EMF: Eclipse Modeling Framework. Pearson Education, p.108, 2008.

C. Vecchiola, X. Chu, and R. Buyya, Aneka: A Software Platform for .NET-based Cloud Computing. High Speed and Large Scale Scientific Computing, vol.18, pp.267-295, 2009.

V. Website, , 2018.

X. Website, , p.156, 2018.

X. Website, , vol.71, 2016.

S. Yangui and S. Tata, CloudServ: PaaS resources provisioning for service-based applications, 27th IEEE International Conference on Advanced Information Networking and Applications (AINA 2013), vol.63, pp.522-529, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00839100

S. Yangui, I. Marshall, J. Laisne, and S. Tata, CompatibleOne: The Open Source Cloud broker, Journal of Grid Computing, vol.12, issue.1, pp.93-109, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01262821

S. Yangui and S. Tata, An OCCI Compliant Model for PaaS Resources Description and Provisioning, The Computer Journal, vol.59, issue.3, pp.308-324, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01282279

K. Yongsiriwit, M. Sellami, and W. Gaaloul, A Semantic Framework Supporting Cloud Resource Descriptions Interoperability, 9th International Conference on Cloud Computing (CLOUD), p.124, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01455119

F. Zalila, S. Challita, and P. Merle, A Model-Driven Tool Chain for OCCI, OTM Confederated International Conferences" On the Move to Meaningful Internet Systems, vol.49, pp.389-409, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01583165

F. Zalila, P. Merle, J. Parpaillon, S. Kallel, M. Ahmed-nacer et al., , p.146, 2017.

F. Zalila, S. Challita, and P. Merle, Model-Driven Cloud Resource Management with OCCIware. Future Generation Computer Systems (FGCS), 2018. under review, vol.49

J. Zhai, J. Huang, S. Ma, X. Zhang, L. Tan et al., Automatic Model generation from Documentation for Java API Functions, the 38th International Conference on Software Engineering, p.101, 2016.

H. Zhong, T. Xie, L. Zhang, J. Pei, and H. Mei, MAPO: Mining and Recommending API Usage Patterns, vol.101, pp.318-343, 2009.