论文信息 - COOL: A Model-Driven and Automated System for Guided and Verifiable Cloud Solution Design

COOL: A Model-Driven and Automated System for Guided and Verifiable Cloud Solution Design

In this paper, we present COOL (ClOud sOlution design tooL), which is a model-driven cloud solution design tool for automatic solution generation, and solution verification. It offers a guided solutioning and customization method starting from complex client business and IT requirements, and enables verification of solution correctness by leveraging constraint satisfaction solvers.

[1] Brice Morin,et al. Towards Model-Driven Provisioning, Deployment, Monitoring, and Adaptation of Multi-cloud Systems , 2013, 2013 IEEE Sixth International Conference on Cloud Computing.

[2] Yehuda Naveh,et al. Applying Constraint Programming to Incorporate Engineering Methodologies into the Design Process of Complex Systems , 2012, IAAI.

[3] Olivier Barais,et al. A Precise Metamodel for Open Cloud Computing Interface , 2015, 2015 IEEE 8th International Conference on Cloud Computing.

[4] Oliver Kopp,et al. TOSCA: Portable Automated Deployment and Management of Cloud Applications , 2014, Advanced Web Services.