, , vol.147, 2018.
, , 2018.
Simulation Extension for Cloud standard OCCIware, 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), vol.146, pp.263-264, 2016. ,
Noël Plouzeau and Stéphanie Challita. OCCI Behavioural Model, p.129, 2016. ,
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
, , vol.91, 2018.
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
Ariel Rabkin, Ion Stoicaet al. A View of Cloud Computing, Communications of the ACM, vol.53, issue.4, pp.50-58, 2010. ,
CERIF: past, present and future: an overview, vol.32, 2002. ,
, Amazon Web Services Website, 2018.
, , 2018.
Chetan Murthyet al. The Coq Proof Assistant Reference Manual: Version 6.1, p.158, 1997. ,
Lifecycle Management of Service-based Applications on MultiClouds: A Research Roadmap, International workshop on Multi-cloud applications and federated clouds, p.21, 2013. ,
Hypertext Transfer Protocol Version 2 (HTTP/2), vol.142, 2015. ,
, Models@run.time: Foundations, Applications, and Roadmaps, p.115, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00733338
Towards a Formal Model for Cloud Computing, International Conference on ServiceOriented Computing, vol.124, pp.381-393, 2013. ,
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
UML-based Cloud Application Modeling with Libraries, Profiles, and Templates*, Proc. Workshop on CloudMDE, p.33, 2014. ,
A Systematic Review of Cloud Modeling Languages, ACM Computing Surveys (CSUR), vol.51, issue.1, p.22, 2018. ,
Uniform Resource Identifiers (URI): Generic Syntax, p.69, 1998. ,
Portable Cloud Services Using TOSCA, IEEE Internet Computing, vol.33, issue.3, p.23, 2012. ,
OpenTOSCA-A Runtime for TOSCA-based Cloud Applications, Service-Oriented Computing, vol.38, pp.692-695, 2013. ,
, Models@run.time. Computer, vol.42, issue.10, pp.22-27, 2009.
Design, Formal Modeling, and Validation of Cloud Storage Systems Using Maude, p.124, 2017. ,
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
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. ,
, , vol.32, 2018.
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
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. ,
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. ,
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. ,
Adrian Ottoet al. Cloud Application Management for Platforms. Specification document, OASIS, p.22, 2012. ,
, Storage Networking Industry Association (SNIA) Website, 2018.
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
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
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
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
, Software Architecture Definition for OnDemand Cloud Provisioning. Cluster Computing, vol.15, issue.2, p.38, 2012.
, Natural Language Processing. Annual review of information science and technology, vol.37, issue.1, p.98, 2003.
Open Cloud Computing Interface-Monitoring Extension. Specification Document 1.2, Open Grid Forum, vol.84, p.63, 2016. ,
, , vol.34, 2018.
Examining Cloud Compatibility, Portability and Interoperability. ElasticVapor: Life in the Cloud, vol.9, 2009. ,
Cloud Infrastructure Management Interface (CIMI) Model and REST Interface over HTTP, p.263, 2012. ,
, , 2018.
, , p.86, 2018.
Open Cloud Computing Interface-Compute Resource Template Profile. Specification Document GFD.222, Open Grid Forum, vol.82, p.55, 2016. ,
, , vol.30, 2018.
Toward an Open Cloud Standard, IEEE Internet Computing, vol.16, issue.4, pp.15-25, 2012. ,
Open Cloud Computing Interface-Text Rendering. Specification Document GFD-R-P.229, Open Grid Forum, 2016. ,
, , 2018.
, Eclipse Modeling Framework, vol.30, 2018.
, , p.31, 2018.
, , vol.13, 2018.
Towards an SLA-Based Service Allocation in MultiCloud Environments, 14th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid), p.35, 2014. ,
OPTIMIS: A Holistic Approach to Cloud Service Provisioning, Future Generation Computer Systems, vol.28, issue.1, pp.66-77, 2012. ,
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. ,
CloudMF: Model-Driven Management of Multi-Cloud Applications, ACM Transactions on Internet Technology (TOIT), vol.18, issue.2, p.34, 2018. ,
Architectural Styles and the Design of Network-based Software Architectures, vol.50, 2000. ,
, , 2018.
Domain-Specific Languages. Pearson Education, vol.108, 2010. ,
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. ,
Search-Based Genetic Optimization for Deployment and Reconfiguration of Software in the Cloud, International Conference on Software Engineering, p.35, 2013. ,
Automated Configuration Support for Infrastructure Migration to the Cloud, Future Generation Computer Systems, vol.55, p.36, 2016. ,
Specifying UML Protocol State Machines in Alloy, International Conference on Integrated Formal Methods, p.136, 2012. ,
, , 2018.
A Software Product Line Approach for Configuring Cloud Robotics Applications, 7th IEEE International Conference on Cloud Computing (CLOUD), p.36, 2014. ,
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.
, , p.26, 2018.
, , p.31, 2018.
A UML Profile for Modeling Multicloud Applications, ServiceOriented and Cloud Computing, p.37, 2013. ,
StratusML: A Layered Cloud Modeling Framework, IEEE International Conference on Cloud Engineering (IC2E), p.39, 2015. ,
A Framework for the Structural Analysis of REST APIs, the International Conference on Software Architecture (ICSA), vol.100, pp.55-58, 2017. ,
, , 2018.
Automated Provisioning of Customized Cloud Service Stacks using Domain-Specific Languages, CloudMDE, p.36, 2014. ,
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. ,
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. ,
Software Abstractions: logic, language, and analysis, vol.12, 2012. ,
, , p.26, 2018.
, PaaSage. IEEE Cloud Computing, vol.4, issue.3, pp.60-60, 2017.
Speech and Language Processing: An Introduction to Natural Language Processing. Computational linguistics, and speech recognition, p.113, 2000. ,
, , 2018.
Feature-Oriented Domain Analysis (FODA) Feasibility Study, vol.30, 1990. ,
Open Cloud Computing Interface-Service Level Agreements. Specification Document GFD.228, Open Grid Forum, 2016. ,
, The Cloud Adoption Toolkit: Supporting Cloud Adoption Decisions in the Enterprise. Software: Practice and Experience, vol.42, p.33, 2012.
Vasily Bunakov and Keith Jeffery. CAMEL and the Modelling of Cloud Lifecycles, 2014 Conference, eChallenges e-2014, vol.32, pp.1-6, 2014. ,
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
Software Language Engineering: Creating DomainSpecific Languages using Metamodels. Pearson Education, p.29, 2008. ,
Cloud Computing Vulnerability Incidents: A Statistical Overview, 2013. ,
A Model Driven Approach for Supporting the Cloud Target Selection Process, Procedia Computer Science, vol.68, p.35, 2015. ,
,
Modeling Tool for TOSCA-based Cloud Applications, International Conference on Service-Oriented Computing, vol.38, pp.700-704, 2013. ,
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
Specifying Systems: the TLA+ Language and Tools for Hardware and Software Engineers, p.158, 2002. ,
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. ,
, , p.26, 2018.
A Semantic Interoperability Framework for Cloud Platform as a Service, 3rd International Conference on Cloud Computing Technology and Science (CloudCom), p.124, 2011. ,
Automated Theorem Proving: a logical basis, p.158, 2016. ,
, , 2018.
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
The NIST Definition of Cloud Computing, 2011. ,
CloudGenius: Decision Support for Web Server Cloud Migration, 21st International Conference on World Wide Web, vol.33, pp.979-988, 2012. ,
Docker: Lightweight Linux Containers for Consistent Development and Deployment, Linux Journal, vol.2014, issue.239, p.28, 2014. ,
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
OCCI Specific Language-Structural Part, p.71, 2015. ,
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
Open Cloud Computing Interface-Platform. Specification Document GFD.227, Open Grid Forum, vol.63, 2016. ,
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.
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
Generic Monitoring and Reconfiguration for Service-based Applications in the Cloud, INT, vol.63, 2014. ,
URL : https://hal.archives-ouvertes.fr/tel-01123740
Autonomic Computing for OCCI Resources, vol.63, 2014. ,
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
Rapyuta: A Cloud Robotics Platform, IEEE Transactions on Automation Science and Engineering, vol.12, issue.2, p.36, 2015. ,
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. ,
How Amazon Web Services Uses Formal Methods, Communications of the ACM, vol.58, issue.4, p.124, 2015. ,
Blueprinting Approach in Support of Cloud Computing, Future Internet, vol.4, issue.1, p.31, 2012. ,
Open Cloud Computing Interface-HTTP Protocol. Specification Document GFD.223, Open Grid Forum, 2016. ,
Open Cloud Computing Interface-Core. Specification Document GFD.221, Open Grid Forum, vol.50, 2016. ,
Open Cloud Computing Interface-Infrastructure. Specification Document GFD.224, Open Grid Forum, 2016. ,
Open Cloud Computing Interface-JSON Rendering. Specification Document GFD-R-P.226, Open Grid Forum, vol.75, 2016. ,
, , vol.23, 2018.
, , vol.13, 2018.
, , vol.55, 2018.
, Object Constraint Language, Version 2.4. OMG Specification OMG Document Number, 2014.
, , 2018.
, , vol.38, 2018.
, , 2018.
, , vol.35, 2018.
Inferring Method Specifications from Natural Language API Descriptions, the 34th International Conference on Software Engineering (ICSE), p.101, 2012. ,
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
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
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
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
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.
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.
, , 2018.
, , vol.13, 2018.
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
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. ,
, , vol.30, 2018.
, , 2018.
, , vol.13, 2018.
Model-Driven Reverse Engineering, IEEE software, vol.21, issue.4, p.96, 2004. ,
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
, , 2018.
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. ,
, , vol.156, 2018.
, , 2018.
Model-Driven Engineering, COMPUTERIEEE COMPUTER SOCIETY, vol.39, issue.2, p.115, 2006. ,
Cloud DSL: A Language for Supporting Cloud Portability by Describing Cloud Entities, vol.33, pp.36-45, 2014. ,
, , p.26, 2018.
Text2Test: Automated Inspection of Natural Language Use Cases, the 3rd International Conference on Software Testing, Verification and Validation (ICST), p.101, 2010. ,
, , vol.71, 2018.
Model-Driven Development of DSML Execution Engines, 7th Workshop on Models@ run. time, p.31, 2012. ,
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
, , p.113, 2018.
Ed Merks and Marcelo Paternostro. EMF: Eclipse Modeling Framework. Pearson Education, p.108, 2008. ,
, Aneka: A Software Platform for .NET-based Cloud Computing. High Speed and Large Scale Scientific Computing, vol.18, pp.267-295, 2009.
, , 2018.
, , p.156, 2018.
, , vol.71, 2016.
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
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
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
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
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
, , p.146, 2017.
Model-Driven Cloud Resource Management with OCCIware. Future Generation Computer Systems (FGCS), 2018. under review, vol.49 ,
Automatic Model generation from Documentation for Java API Functions, the 38th International Conference on Software Engineering, p.101, 2016. ,
MAPO: Mining and Recommending API Usage Patterns, vol.101, pp.318-343, 2009. ,