Taming the Cloud: Safety, Certification and Compliance for Software Services

Keynote at the Workshop on Engineering Service-Oriented Applications (WESOA) 2011
  • Howard Foster
  • George Spanoudakis
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7221)


The maturity of IT processes, such as software development, can be and is often certified. Current trends in the IT industry suggest that software systems in the future will be very different from their counterparts today, with an increasing adoption of the Service-Oriented Architecture (SOA) design pattern and the deployment of Software-as-a-Service (SaaS) on Cloud infrastructures. In this talk we discuss some issues surrounding engineering Software Services for Cloud infrastructures and highlight the need for enhanced control, service-level agreement and compliance mechanisms for Software Services. Cloud Infrastructures and Service Mash-ups.


Model Check Service Composition Service Discovery Software Service Cloud Infrastructure 
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.


  1. 1.
    Wilkes, L.: Policy Driven Practices for SOA. Presented at the CBDI SOA Seminar (April 2006),
  2. 2.
    Foster, H., Uchitel, S., Magee, J., Kramer, J.: An Integrated Workbench for Model-Based Engineering of Service Compositions. IEEE Transactions on Services Computing (April 2010)Google Scholar
  3. 3.
    Foster, H., Spanoudakis, G.: Dynamic Creation of Service Monitoring Infrastructures. In: Wieder, P., Butler, J.M., Theilmann, W., Yahyapour, R. (eds.) Service Level Agreements for Cloud Computing. Springer, Heidelberg (2011)Google Scholar
  4. 4.
    Foster, H., Spanoudakis, G.: Model-Driven Service Configuration with Formal SLA Decomposition and Selection. In: Proceedings of the 26th ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan (March 2011)Google Scholar
  5. 5.
    Argent-Katwala, A., Clark, A., Foster, H., Gilmore, S., Mayer, P., Tribastone, M.: Safety and Response-Time Analysis of an Automotive Accident Assistance Service. In: Margaria, T., Steffen, B. (eds.) ISoLA 2008. CCIS, vol. 17, pp. 191–205. Springer, Heidelberg (2008)Google Scholar
  6. 6.
    Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based Verification of Web Service Compositions. In: IEEE Automated Software Engineering (ASE) 2003, Montreal, Canada (2003)Google Scholar
  7. 7.
    SLA@SOI, A Business-Ready Service-Oriented Infrastructure Empowering The Service Economy in a Flexible and Dependable way, EU Project ICT-2007.1.2,
  8. 8.
    ASSERT4SOA, Advanced Security Service Certificate for SOA, EU Project ICT-2009.1.4,

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Howard Foster
    • 1
  • George Spanoudakis
    • 1
  1. 1.Department of Computing, School of InformaticsCity University LondonLondonEngland, United Kingdom

Personalised recommendations