, Alloy Analyzer Web Site. Accessible
,
,
,
,
,
, Docker Compose Source Code
, HOT Template Structure Specification
, HOT Types Specification
Cloud Infrastructure Management Interface (CIMI) Model and RESTful HTTP-based Protocol, 2015. ,
,
,
,
,
,
, vvp Validation Tool
, OASIS Standard -Topology and Orchestration Specification for Cloud Applications -Version 1.0. Accessible at, 2013.
, Oasis open -tosca test assertions -normative types, 2015.
, OCCI Behavioural Model, 2016.
Software Architecture in Practice, 2013. ,
Cloud topology and orchestration using TOSCA: A systematic literature review, Service-Oriented and Cloud Computing -7th IFIP WG 2.14 European Conference, vol.11116, 2018. ,
A notion of glue expressiveness for component-based systems, CON-CUR, vol.5201, 2008. ,
TOSCA in a nutshell: Promises and perspectives, 3rd European Conference on Service-Oriented and Cloud Computing, vol.8745, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01318292
The Fractal Component Model and its Support in Java. Software -Practice and Experience, vol.36, pp.11-12, 2006. ,
Access control for mobile agents: the calculus of boxed ambients, ACM. Trans. Prog. Languages and Systems, vol.26, issue.1, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00152525
, Mobile Ambients. Theoretical Computer Science, vol.240, issue.1, 2000.
Automatic deployment of services in the cloud with aeolus blender, 13th International Conference Service-Oriented Computing (ICSOC), vol.9435, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01233489
Aeolus: A component model for the cloud, Information and Computation, vol.239, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01091062
A classification framework for software component models, IEEE Trans. Software Eng, vol.37, issue.5, 2011. ,
Engage: a deployment management system, ACM SIGPLAN Notices, vol.47, pp.263-274, 2012. ,
Acme: Architectural Description of Component-Based Systems, Foundations of Component-Based Systems, 2000. ,
Composition for component-based modeling, Sci. Comput. Program, vol.55, pp.1-3, 2005. ,
The smartfrog configuration management framework, SIGOPS Oper. Syst. Rev, vol.43, issue.1, 2009. ,
Safedpi: a language for controlling mobile code, Acta Inf, vol.42, pp.4-5, 2005. ,
Modelling system administration problems with csps, Constraint Modelling and Reformulation (ModRef'11), 2011. ,
Software Abstractions: Logic, Language, and Analysis, 2012. ,
Alloy: a language and tool for exploring software designs, Commun. ACM, vol.62, issue.9, 2019. ,
Overview of thirty semantic formalisms for Reo, Sci. Ann. Comp. Sci, vol.22, issue.1, 2012. ,
A precise metamodel for open cloud computing interface, 8th IEEE International Conference on Cloud Computing, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01188800
A formal specification of the Fractal component model in Alloy, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00338987
Open Grid Forum -Open Cloud Computing Interface -Infrastructure, 2016. ,
Open Grid Forum -Open Cloud Computing Interface -Platform, 2016. ,
Dynamite: A tool for the verification of alloy models based on pvs, ACM Trans. on Software Engineering and Methodology, vol.23, issue.2, 2014. ,
Open Grid Forum -Open Cloud Computing Interface -Core, 2016. ,
The Kell Calculus: A Family of Higher-Order Distributed Process Calculi, Global Computing, vol.3267, 2005. ,
Using Components for Architecture-Based Management: The Self-Repair Case, 30th International Conference on Software Engineering, 2008. ,
Formal verification approaches and standards in the cloud computing: A comprehensive and systematic review, Computer Standards & Interfaces, vol.58, 2018. ,
Components as location graphs, 11th Int. Symposium Formal Aspects of Component Software FACS 2014, vol.8997, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01094208
Encapsulation and sharing in dynamic software architectures: The Hypercell framework, 39th Int. Conf. Formal Techniques for Distributed Objects, Components, and Systems (FORTE), 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02313751
The essential deployment metamodel: A systematic review of deployment automation technologies. Software Intensive Cyber-Physical Systems, 2019. ,
A semantic framework supporting cloud resource descriptions interoperability, 9th IEEE International Conference on Cloud Computing, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01455119
, Saint Ismier Cedex Publisher Inria Domaine de Voluceau -Rocquencourt BP 105 -78153 Le Chesnay Cedex inria