Validating TOSCA Application Topologies

Antonio Brogi, Antonio Di Tommaso, Jacopo Soldani

2017

Abstract

The Topology and Orchestration Specification for Cloud Applications (TOSCA) is a standardised metamodel that permits specifying cloud applications, and automating their deployment and management. TOSCA permits describing the structure of an application as a topology graph, which can then be exploited by TOSCAcompliant cloud platforms to automate the deployment of the components forming an application. In this paper we formalise the conditions that must hold for checking the validity of TOSCA application topologies, and we present an open-source prototype of validator (called SOMMELIER) that implements such conditions.

References

  1. Alien4Cloud (2016). Alien4cloud. https://github.com/alien4cloud/alien4cloud.
  2. Armbrust, M., Fox, A., Griffith, R., Joseph, A. D., Katz, R., Konwinski, A., Lee, G., Patterson, D., Rabkin, A., Stoica, I., and Zaharia, M. (2010). A view of cloud computing. Commun. ACM, 53(4):50-58.
  3. Autili, M., Inverardi, P., Navarra, A., and Tivoli, M. (2007). Synthesis: A tool for automatically assembling correct and distributed component-based systems. In Proc. of the 29th International Conference on Software Engineering, ICSE 7807, pages 784-787. IEEE Computer Society.
  4. Binz, T., Breitenb ücher, U., Haupt, F., Kopp, O., Leymann, F., Nowak, A., and Wagner, S. (2013). Opentosca - a runtime for tosca-based cloud applications. In Proc. of the 11th International Conference on Service-Oriented Computing, ICSOC'13, pages 692- 695. Springer.
  5. Brogi, A., Canciani, A., and Soldani, J. (2015). Modelling and analysing cloud application management. In Dustdar, S., Leymann, F., and Villari, M., editors, Service Oriented and Cloud Computing: 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015, Proceedings, pages 19-33. Springer International Publishing.
  6. Brogi, A., Canciani, A., Soldani, J., and Wang, P. (2016). A Petri net-based approach to model and analyze the management of cloud applications. In Koutny, M., Desel, J., and Kleijn, J., editors, Transactions on Petri Nets and Other Models of Concurrency XI, LNCS Transactions on Petri Nets and Other Models of Concurrency, pages 28-48. Springer Berlin Heidelberg.
  7. Brogi, A., Carrasco, J., Cubo, J., D'Andria, F., Ibrahim, A., Pimentel, E., and Soldani, J. (2014a). EU Project SeaClouds - Adaptive management of service-based applications across multiple clouds. In CLOSER 2014 - Proceedings of the 4th International Conference on Cloud Computing and Services Science, pages 758- 763. SciTePress.
  8. Brogi, A., Soldani, J., and Wang, P. (2014b). TOSCA in a nutshell: Promises and perspectives. In Villari, M., Zimmermann, W., and Lau, K.-K., editors, Service-Oriented and Cloud Computing: Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014. Proceedings, pages 171-186.
  9. Caporuscio, M., Inverardi, P., and Pelliccione, P. (2004). Compositional verification of middleware-based software architecture descriptions. In Proc. of the 26th International Conference on Software Engineering, ICSE 7804, pages 221-230. IEEE Computer Society.
  10. CloudSoft (2016). brooklyn-tosca. https://github.com/cloudsoft/brooklyn-tosca.
  11. Geraci, A. (1991). IEEE Standard Computer Dictionary: Compilation of IEEE Standard Computer Glossaries. IEEE Press.
  12. Hirmer, P., Breitenb ücher, U., Binz, T., and Leymann, F. (2014). Automatic topology completion of TOSCAbased cloud applications. In INFORMATIK 2014, volume 232 of LNI, pages 247-258. Gesellschaft f ür Informatik (GI).
  13. Kopp, O., Binz, T., Breitenbücher, U., and Leymann, F. (2013). Winery - a modeling tool for tosca-based cloud applications. In Proc. of the 11th International Conference on Service-Oriented Computing, ICSOC'13, pages 700-704. Springer.
  14. Marchetti, E. (2014). Foreword of the thematic track: ICT verification and validation. In Proc. of the 9th International Conference on the Quality of Information and Communications Technology, QUATIC'14, pages 208-209. IEEE.
  15. OASIS (2013a). Topology and Orchestration Specification for Cloud Applications. URL: http://docs.oasisopen.org/tosca/TOSCA/v1.0/TOSCA-v1.0.pdf.
  16. OASIS (2013b). Topology and Orchestration Specification for Cloud Applications (TOSCA) Primer. URL: http://docs.oasis-open.org/tosca/toscaprimer/v1.0/tosca-primer-v1.0.pdf.
  17. OASIS (2016). TOSCA Simple Profile in YAML, Version 1.0. URL: http://docs.oasis-open.org/tosca/TOSCASimple-Profile-YAML/v1.0/TOSCA-Simple-ProfileYAML-v1.0.pdf.
  18. OpenStack (2016). TOSCA https://github.com/openstack/tosca-parser.
  19. Pelliccione, P., Tivoli, M., Bucchiarone, A., and Polini, A. (2008). An architectural approach to the correct and automatic assembly of evolving component-based systems. J. Syst. Softw., 81(12):2237-2251.
  20. Speck, A., Pulvermuller, E., Jerger, M., and Franczyk, B. (2002). Component composition validation. International Journal of Applied Mathematics and Computer Science, 12(4):581-590.
  21. Wu, Y., Chen, M.-H., and Offutt, J. (2003). Uml-based integration testing for component-based software. In Proc. of the 2nd International Conference on COTSBased Software Systems, ICCBSS'03, pages 251-260. Springer Berlin Heidelberg.
Download


Paper Citation


in Harvard Style

Brogi A., Di Tommaso A. and Soldani J. (2017). Validating TOSCA Application Topologies . In Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-210-3, pages 667-678. DOI: 10.5220/0006244006670678


in Bibtex Style

@conference{modelsward17,
author={Antonio Brogi and Antonio Di Tommaso and Jacopo Soldani},
title={Validating TOSCA Application Topologies},
booktitle={Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2017},
pages={667-678},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006244006670678},
isbn={978-989-758-210-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Validating TOSCA Application Topologies
SN - 978-989-758-210-3
AU - Brogi A.
AU - Di Tommaso A.
AU - Soldani J.
PY - 2017
SP - 667
EP - 678
DO - 10.5220/0006244006670678