European Conference on Service-Oriented and Cloud Computing

Service Oriented and Cloud Computing pp 49-64 | Cite as

On the Integration of Automatic Deployment into the ABS Modeling Language

  • Stijn de Gouw
  • Michael Lienhardt
  • Jacopo Mauro
  • Behrooz Nobakht
  • Gianluigi Zavattaro
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9306)


In modern software systems, deployment is an integral and critical part of application development (see, e.g., the DevOps approach to software development). Nevertheless, deployment is usually overlooked at the modeling level, thus losing the possibility to perform deployment conscious decisions during the early stages of development. In this paper, we address the problem of promoting deployment as an integral part of modeling, by focusing on the Abstract Behavioral Specification (ABS) language used for the specification of models of systems composed of concurrent objects consuming resources provided by deployment components. We extend ABS with class annotations expressing the resource requirements of the objects of that class. Then we define a tool that, starting from a high-level declaration of the desired system, computes a model instance of such system that optimally distributes objects over available deployment components.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abstract behavioral specification language.
  2. 2.
    Apache Software Foundation. Apache Brooklyn.
  3. 3.
    Burgess, M.: A Site Configuration Engine. Computing Systems 8(2) (1995)Google Scholar
  4. 4.
    Cosmo, R.D., Lienhardt, M., Treinen, R., Zacchiroli, S., Zwolakowski, J., Eiche, A., Agahi, A.: Automated synthesis and deployment of cloud applications. In: ASE (2014)Google Scholar
  5. 5.
    Cosmo, R.D., Mauro, J., Zacchiroli, S., Zavattaro, G.: Aeolus: A component model for the cloud. Inf. Comput. 239 (2014)Google Scholar
  6. 6.
    De Gouw, S., Lienhardt, M., Mauro, J., Nobakht, B., Zavattaro, G.: On the Integration of Automatic Deployment into the ABS Modeling Language. Technical report, Inria Sophia Antipolis (2015)Google Scholar
  7. 7.
    Etchevers, X., Coupaye, T., Boyer, F., Palma, N.D.: Self-configuration of distributed applications in the cloud. In: CLOUD (2011)Google Scholar
  8. 8.
    Feinerer, I.: Efficient large-scale configuration via integer linear programming. AI EDAM 27(1), 37–49 (2013)Google Scholar
  9. 9.
    Ferry, N., Chauvel, F., Rossini, A., Morin, B., Solberg, A.: Managing multi-cloud systems with CloudMF. In: NordiCloud, vol. 826, pp. 38–45. ACM (2013)Google Scholar
  10. 10.
    Fischer, J., Majumdar, R., Esmaeilsabzali, S.: Engage: a deployment management system. In: PLDI (2012)Google Scholar
  11. 11.
    Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman & Co. (1990)Google Scholar
  12. 12.
    Goldsack, P., Guijarro, J., Loughran, S., Coles, A.N., Farrell, A., Lain, A., Murray, P., Toft, P.: The SmartFrog configuration management framework. Operating Systems Review 43(1), 16–25 (2009)CrossRefGoogle Scholar
  13. 13.
    Gonçalves, G.E., Endo, P.T., Santos, M.A., Sadok, D., Kelner, J., Melander, B., Mångs, J.: CloudML: An integrated language for resource. service and request description for D-Clouds. In: CloudCom (2011)Google Scholar
  14. 14.
    HashiCorp. Terraform.
  15. 15.
    Johnsen, E.B., Hähnle, R., Schäfer, J., Schlatte, R., Steffen, M.: ABS: A core language for abstract behavioral specification. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol. 6957, pp. 142–164. Springer, Heidelberg (2011) CrossRefGoogle Scholar
  16. 16.
    Kanies, L.: Puppet: Next-generation configuration management. ;login: The USENIX Magazine 31(1) (2006)Google Scholar
  17. 17.
    Lascu, T.A., Mauro, J., Zavattaro, G.: A planning tool supporting the deployment of cloud applications. In: ICTAI (2013)Google Scholar
  18. 18.
    OASIS. Cloud Application Management for Platforms.
  19. 19.
    OASIS. Topology and Orchestration Specification for Cloud Applications (TOSCA) Version 1.0.
  20. 20.
  21. 21.
    Puppet Labs. Marionette collective.

Copyright information

© IFIP International Federation for Information Processing 2015

Authors and Affiliations

  • Stijn de Gouw
    • 1
    • 2
  • Michael Lienhardt
    • 4
  • Jacopo Mauro
    • 4
  • Behrooz Nobakht
    • 1
    • 3
  • Gianluigi Zavattaro
    • 4
  1. 1.SDLAmsterdamNetherlands
  2. 2.CWIAmsterdamNetherlands
  3. 3.Leiden UniversityLeidenNetherlands
  4. 4.University of Bologna/INRIABolognaItaly

Personalised recommendations