FosterEvolution
Recent Publications
- Formal Certification and Compliance for Run-Time Service Environments (SCC2012)
- Safety, Certification and Compliance for Software Services (WESOA11)
- Dynamic Creation of Monitoring Infrastructures
- SMaRT: A Workbench for Reporting the Monitorability of Services from SLAs
- Sixth International Workshop on Automation of Software Test (AST11)
Other News
- 1
- 2
- 3
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 moreSafety, 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 moreDynamic 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 moreSMaRT: A Workbench for Reporting the Monitorability of Services from SLAs
H.Foster and G.Spanoudakis, SMaRT: A Workbench for Reporting the Monitorability of Services from SLAs, 3rd International Workshop on the Principles of Engineering Service-Oriented Systems (PESOS)…
Sixth International Workshop on Automation of Software Test (AST11)
H.Foster, A.Bertolino, and J.J.Li, Sixth International Workshop on Automation of Software Test (AST 2011), International Conference on Software Engineering, Honolulu, Hawaii, USA, May 2011. Abstract Preview The Sixth International…
Standards-based Service-Oriented Port Service Development (FACT11)
Maria A. Lambrou, Ørnulf Jan Rødseth, Kay Fjørtoft and Howard Foster, Towards a Standards-based Service-Oriented Port Service Development and Operation Environment, in proceedings of THE FUTURE…
Advanced Service Monitoring Configuratons with SLA Decomposition and Selection
H.Foster and G.Spanoudakis, Advanced Service Monitoring Configuratons with SLA Decomposition and Selection, in proceedings of the 26th ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan,…
Model-Driven Service Configuration with Formal SLA Decomposition and Selection
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…
Specification and Analysis of Dynamically-Reconfigurable Service Architectures
H.Foster, A.Mukhija, D.S.Rosenblum, and S.Uchitel, Specification and Analysis of Dynamically-Reconfigurable Service Architectures to appear in Rigorous Software Engineering for Service-Oriented Systems - Results of the…









