Common Contracts

A Service-Level Agreement Approach Towards Termination Analysis of Service- Oriented Systems

September 21st, 2011

• Filed
  September 21st, 2011

Abstract—Classical approaches for program analysis as, e.g., termination analysis usually do not take into account modern software approaches such as service-oriented systems or cloud computing. Instead, they have a monolithic view on the software system as a single completely available program. As first step to enable such analyses also in a service- oriented or cloud computing context, respectively, this paper considers termination. Since termination is a service quality attribute, we consider a service-level agreement approach that allows dynamic bindings to software services. In contrast to many other service-level agreements, termination is a binary attribute that cannot be measured quantitatively (as, e.g., reliability or response time). The proposed approach shows how clients of services can verify the information provided by the services.