Home // CLOUD COMPUTING 2011, The Second International Conference on Cloud Computing, GRIDs, and Virtualization // View article

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

Authors:
Mandy Weissbach
Wolf Zimmermann

Keywords: Termination; Software Services; Service Level Agreement; Verification.

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.

Pages: 26 to 31

Copyright: Copyright (c) IARIA, 2011

Publication date: September 25, 2011

Published in: conference

ISSN: 2308-4294

ISBN: 978-1-61208-153-3

Location: Rome, Italy

Dates: from September 25, 2011 to September 30, 2011