Towards Autonomic Cloud Services Engineering via Intention Workflow Model

  • Thar Baker
  • Omer F. Rana
  • Radu Calinescu
  • Rafael Tolosana-Calasanz
  • José Ángel Bañares
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8193)


In recent years, the rise and rapid adoption of cloud computing has acted as a catalyst for research in related fields: virtualization, distributed and service-oriented computing to name but a few. Whilst cloud computing technology is rapidly maturing, many of the associated long-standing socio-technical challenges including the dependability of cloud-based service composition, services manageability and interoperability remain unsolved. These can be argued to slow down the migration of serious business critical applications to the cloud model. This paper reports on progress towards the development of a method to generate cloud-based service compositions from requirements metadata. The paper presents a formal approach that uses Situation Calculus to translate service requirements into an Intention Workflow Model (IWM). This IWM is then used to generate autonomic cloud service composition. The Petshop benchmark is used to illustrate and evaluate the proposed method.


Cloud Computing Service Composition Object Constraint Language Enterprise Architecture Service Instance 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Baker, T., Hussien, A., Randles, M., Taleb-Bendiab, A.: Supporting elastic cloud computation with intention description language. In: PGNet2010: The 11th Annual Conference on the Convergence of Telecommunications, Networking & Broadcasting (2010)Google Scholar
  2. 2.
    Baker, T., Mackay, M., Randles, M.: Eternal cloud computation application development. In: Developments in E-systems Engineering (DeSE), pp. 392–397 (2011)Google Scholar
  3. 3.
    Baker, T., Randles, M., Taleb-Bendiab, A.: Towards the automated engineering of dependable adaptive services. In: Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID 2012), pp. 823–828. IEEE Computer Society, Washington, DC (2012)CrossRefGoogle Scholar
  4. 4.
    Baker, T., Taleb-Bendiab, A., Randles, M.: Support for m-commerce software autonomy. In: Proceedings of the 2008 Conference on Techniques and Applications for Mobile Commerce: Proceedings of TAMoCo 2008, pp. 165–176. IOS Press, Amsterdam (2008)Google Scholar
  5. 5.
    Calinescu, R., Grunske, L., Kwiatkowska, M., Mirandola, R., Tamburrelli, G.: Dynamic qos management and optimization in service-based systems. IEEE Trans. Softw. Eng. 37(3), 387–409 (2011)CrossRefGoogle Scholar
  6. 6.
    Corporation, M.: Implementing sun’s java petstore using Tech. rep., Microsoft Corporation (2001)Google Scholar
  7. 7.
    Darimont, R., Delor, E., Massonet, P., van Lamsweerde, A.: Grail/kaos: An environment for goal-driven requirements engineering. In: Proceedings of the 19th International Conference on Software Engineering, ICSE 1997, pp. 612–613. ACM, New York (1997)Google Scholar
  8. 8.
    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
  9. 9.
    Karam, Y., Baker, T., Taleb-Bendiab, A.: Intention-oriented modelling support for socio-technical driven elastic cloud applications. In: 2012 International Conference on Innovations in Information Technology (IIT), pp. 42–47 (2012)Google Scholar
  10. 10.
    Levesque, H., Pirri, F., Reiter, R.: Foundations for the situational calculus. Linkoping Electronic Articles in Computer and Information Science 3, 14 (1998)Google Scholar
  11. 11.
    Miseldine, P., Taleb-Bendiab, A.: A programmatic approach to applying sympathetic and parasympathetic autonomic systems to software design. In: Proceedings of the 2005 Conference on Self-Organization and Autonomic Informatics (I), pp. 293–303. IOS Press, Amsterdam (2005)Google Scholar
  12. 12.
    Parashar, M., Hariri, S.: Autonomic computing: An overview. In: Banâtre, J.-P., Fradet, P., Giavitto, J.-L., Michel, O. (eds.) UPP 2004. LNCS, vol. 3566, pp. 257–269. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  13. 13.
    Randles, M., Taleb-Bendiab, A., Miseldine, P., Laws, A.: Adjustable deliberation of self-managing systems. In: 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2005, pp. 449–456 (2005)Google Scholar
  14. 14.
    van Sinderen, M., Spies, M.: Towards model-driven service-oriented enterprise computing. Enterp. Inf. Syst. 3(3), 211–217 (2009)CrossRefGoogle Scholar
  15. 15.
    Sloman, M.: Policy driven management for distributed systems. Journal of Network and Systems Management 2, 333–360 (1994)CrossRefGoogle Scholar
  16. 16.
    Spies, M., Taleb-Bendiab, A.: Requirements of Metadata Driven Dynamic Configuration of Business Processes. In: Electronic Business Interoperability: Concepts, Opportunities and Challenges, pp. 185–209. IGI Global (2011)Google Scholar
  17. 17.
    Taleb-Bendiab, A., Miseldine, P., Randles, M., Baker, T.: Programming support and governance for process-oriented software autonomy. In: Filipe, J., Cordeiro, J. (eds.) WEBIST 2007. LNBIP, vol. 8, pp. 3–18. Springer, Heidelberg (2007)Google Scholar
  18. 18.
    Tolosana-Calasanz, R., Bañares, J.A., Pham, C., Rana, O.F.: Enforcing QoS in Scientific Workflow Systems Enacted Over Cloud Infrastructures. Journal of Computer and System Sciences, 1–20 (2012) (to appear)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2013

Authors and Affiliations

  • Thar Baker
    • 1
  • Omer F. Rana
    • 2
  • Radu Calinescu
    • 3
  • Rafael Tolosana-Calasanz
    • 4
  • José Ángel Bañares
    • 4
  1. 1.School of Computing & Mathematical SciencesLiverpool John Moores UniversityLiverpoolUK
  2. 2.School of Computer Science & InformaticsCardiff UniversityCardiffUK
  3. 3.Department of Computer ScienceUniversity of YorkYorkUK
  4. 4.Departamento de Infomática e Ingeniería de SistemasUniversidad de ZaragozaSpain

Personalised recommendations