FosterEvolution

You are here: Home » Contact
Sunday, 20 May 2012

Model-Driven Service Configuration with Formal SLA Decomposition and Selection

E-mail Print PDF

H.Foster and G.Spanoudakis, Model-Driven Service Configuration with Formal SLA Decomposition and Selection, presented at the 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Crete, Greece. October 2010.

Abstract

Preview

Configuration of monitoring systems aligned with agreement and guarantees expressed in Service-Level Agreements (SLAs) can be a complex and time-consuming activity. For monitoring functional and non-functional aspects of services, the EU project SLA@SOI has developed a model and language set to describe such SLAs aligning with a service monitoring system architecture for run-time monitoring. In this work we show how these models are formally and mechanically decomposed into terms and primitive events, whilst monitoring component selection for these terms and events is used to generate a complete monitoring system con guration for run-time.

Links

Further details will be added for related links and this publication.

Tools

Further details will be added for related tools and this publication.

 

Other News

  • 1
  • 2
  • 3
Prev Next

Formal Certification and Compliance for Run-Time Service Environments (SCC2012)

Formal Certification and Compliance for Run-Time Service Environments (SCC2012)

H.Foster, G.Spanoudakis and K.Mahbub, Formal Certification and Compliance for Run-Time Service Environments, in proceedings of the 9th International Conference on Service Computing (SCC2012), Honolulu, Hawaii, June 2012.

Read more

Safety, Certification and Compliance for Software Services (WESOA11)

H.Foster and G.Spanoudakis, Safety, Ceritifcation and Compliance for Software Services, in proceedings of the Workshop on Engineering Service-Oriented Applications (WESOA11), Paphos, Cyprus, December 2011. Abstract Preview 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...

Read more

Dynamic Creation of Monitoring Infrastructures

Dynamic Creation of Monitoring Infrastructures

In this paper we discuss an approach to the dynamic configuration of service monitoring infrastructure from SLAs. Published in Service Level Agreements for Cloud Computing, Springer, 2011.

Read more
Prev Next