Skip to main content
Top

2017 | OriginalPaper | Chapter

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

Authors : Hamid R. Motahari Nezhad, Karen Yorov, Peifeng Yin, Taiga Nakamura, Scott Trent, Gil Shurek, Takayuki Kushida, Uma Subramanian

Published in: Service-Oriented Computing – ICSOC 2016 Workshops

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literature
2.
go back to reference Binz, T., Breitenbucher, U., Kopp, O., Leymann, F.: TOSCA: portable automated deployment and management of cloud applications. In: Bouguettaya, A., Sheng, Q., Daniel, F. (eds.) Advanced Web Services, pp. 527–549. Springer, New York (2014)CrossRef Binz, T., Breitenbucher, U., Kopp, O., Leymann, F.: TOSCA: portable automated deployment and management of cloud applications. In: Bouguettaya, A., Sheng, Q., Daniel, F. (eds.) Advanced Web Services, pp. 527–549. Springer, New York (2014)CrossRef
3.
go back to reference Ferry, N., Rossini, A., Chauvel, F., Morin, B., Solberg, A.: Towards model-driven provisioning, deployment, monitoring, and adaptation of multi-cloud systems. In: IEEE CLOUD 2013, pp. 887–894. IEEE Press (2013) Ferry, N., Rossini, A., Chauvel, F., Morin, B., Solberg, A.: Towards model-driven provisioning, deployment, monitoring, and adaptation of multi-cloud systems. In: IEEE CLOUD 2013, pp. 887–894. IEEE Press (2013)
4.
go back to reference Merle, P., Barais, O., Parpaillon, J., Plouzeau, N., Tata, S.: A precise metamodel for open cloud computing interface. In: IEEE CLOUD 2015, pp. 852–859. IEEE Press (2015) Merle, P., Barais, O., Parpaillon, J., Plouzeau, N., Tata, S.: A precise metamodel for open cloud computing interface. In: IEEE CLOUD 2015, pp. 852–859. IEEE Press (2015)
6.
go back to reference Boni, O., Fournier, F., Mashkif, N., Naveh, Y., Sela, A., Shani, U., Lando, Z., Modai, A.: Applying Constraint programming to incorporate engineering methodologies into the design process of complex systems. In: 24th Conference on Innovative Applications of Artificial Intelligence. Toronto, Ontario, Canada (2012) Boni, O., Fournier, F., Mashkif, N., Naveh, Y., Sela, A., Shani, U., Lando, Z., Modai, A.: Applying Constraint programming to incorporate engineering methodologies into the design process of complex systems. In: 24th Conference on Innovative Applications of Artificial Intelligence. Toronto, Ontario, Canada (2012)
7.
go back to reference Trent, S., et al.: Resolutions to technical challenges regarding the distributed development and deployment of a node.js web application for cloud solution design. In: Software Engineering Symposium, Tokyo, Japan (2016) Trent, S., et al.: Resolutions to technical challenges regarding the distributed development and deployment of a node.js web application for cloud solution design. In: Software Engineering Symposium, Tokyo, Japan (2016)
Metadata
Title
COOL: A Model-Driven and Automated System for Guided and Verifiable Cloud Solution Design
Authors
Hamid R. Motahari Nezhad
Karen Yorov
Peifeng Yin
Taiga Nakamura
Scott Trent
Gil Shurek
Takayuki Kushida
Uma Subramanian
Copyright Year
2017
DOI
https://doi.org/10.1007/978-3-319-68136-8_23

Premium Partner