Techniques for service level enforcement in web-services based systems

ABSTRACT

Web-services based systems present challenges for service level enforcement. Contrary to typical enterprise architectures where we are in control of all services and can easily specify and monitor service levels, here we need self-adapting approaches. The paper proposes techniques for service level enforcement in the context of a four step approach. The proposed techniques are: formalization of requirements using a service level objective, formalization of Web Service properties in a service level capability statement, and adaptive actions based on translucent replication of services. For an experimental evaluation we deployed a Web Service benchmark and our replication framework in Amazon's Elastic Compute Cloud. It provided continuous meeting of specified service levels.

REFERENCES

• 1: Experimental computer science. Commun. ACM, 50(11):24--26, 2007.
• 2: A. Andrieux, K. Czajkowski, A. Dan, K. Keahey, H. Ludwig, J. Pruyne, J. Rofrano, S. Tuecke, and M. Xu. Web Services Agreement Specification (WS-Agreement). Global Grid Forum GRAAP-WG, Draft, August, 2004.
• 3: Gregory Biegel , Vinny Cahill , Mads Haahr, A Dynamic Proxy Based Architecture to Support Distributed Java Objects in a Mobile Environment, On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002, p.809-826, October 30-November 01, 2002
• 4: Aaron Brown , David A. Patterson, Towards availability benchmarks: a case study of software raid systems, Proceedings of the annual conference on USENIX Annual Technical Conference, p.22-22, June 18-23, 2000, San Diego, California
• 5: Gerardo Canfora , Massimiliano Di Penta , Raffaele Esposito , Maria Luisa Villani, An approach for QoS-aware service composition based on genetic algorithms, Proceedings of the 2005 conference on Genetic and evolutionary computation, June 25-29, 2005, Washington DC, USA [doi>10.1145/1068009.1068189]
• 6: Pierre-Charles David , Thomas Ledoux, An Infrastructure for Adaptable Middleware, On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002, p.773-790, October 30-November 01, 2002
• 7: Peter J. Denning, ACM President's Letter: What is experimental computer science?, Communications of the ACM, v.23 n.10, p.543-544, Oct. 1980 [doi>10.1145/359015.359016]
• 8: Pascal Felber , Rachid Guerraoui , André Schiper, Replication of CORBA Objects, Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems, p.254-276, January 1999
• 9: Pascal Felber , Priya Narasimhan, Reconciling Replication and Transactions for the End-to-End Reliability of CORBA Applications, On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002, p.737-754, October 30-November 01, 2002
• 10: Jerome A. Feldman , William R. Sutherland, Rejuvenating experimental computer science: a report to the National Science Foundation and others, Communications of the ACM, v.22 n.9, p.497-502, Sept. 1979 [doi>10.1145/359146.359147]
• 11: W. Feng, Dynamic Client-Side Scheduling in a Real-Time CORBA System, 23rd International Computer Software and Applications Conference, p.332-333, October 19-26, 1999
• 12: Armando Fox , Steven D. Gribble , Yatin Chawathe , Eric A. Brewer , Paul Gauthier, Cluster-based scalable network services, Proceedings of the sixteenth ACM symposium on Operating systems principles, p.78-91, October 05-08, 1997, Saint Malo, France
• 13: Svend Frølund , Jari Koistinen, Quality of services specification in distributed object systems design, Proceedings of the 4th conference on USENIX Conference on Object-Oriented Technologies and Systems, p.1-1, April 27-30, 1998, Santa Fe, New Mexico
• 14: S. Garfinkel. An evaluation of amazon's grid computing services: Ec2, s3 and sqs. Technical report tr-08-07, School for Engineering and Applied Sciences, Harvard University, Cambridge, MA, July 2007.
• 15: Sebastian Gutierrez-Nolasco , Nalini Venkatasubramanian, A Reflective Middleware Framework for Communication in Dynamic Environments, On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002, p.791-808, October 30-November 01, 2002
• 16: D. Davide Lamanna , James Skene , Wolfgang Emmerich, SLAng: A Language for Defining Service Level Agreements, Proceedings of the The Ninth IEEE Workshop on Future Trends of Distributed Computing Systems, p.100, May 28-30, 2003
• 17: H. Ludwig, A. Keller, A. Dan, R. King, and R. Franck. Web Service Level Agreement (WSLA) Language Specification. IBM Corporation, 2002.
• 18: Y. Makripoulias, C. Makris, Y. Panagis, E. Sakkopoulos, P. Adamopoulou, M. Pontikaki, and A. Tsakalidis. Towards Ubiquitous Computing with Quality of Web Service Support. Upgrade, The European Journal for the Informatics Professional, VI(5):29--34, 2005.
• 19: Vania Marangozova , Daniel Hagimont, An Infrastructure for CORBA Component Replication, Proceedings of the IFIP/ACM Working Conference on Component Deployment, p.222-232, June 20-21, 2002
• 20: On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002, October 2002
• 21: Microsoft. Comparing Web Service Performance: WS Test 1.1 Benchmark Results for .NET 2.0, .NET 1.1, Sun One/JWSDP 1.5 and IBM WebSphere 6.0. http://www.theserverside.net/tt/articles/content/NET2Benchmarks, 2006.
• 22: Nikola Milanovic , Miroslaw Malek, Current Solutions for Web Service Composition, IEEE Internet Computing, v.8 n.6, p.51-59, November 2004 [doi>10.1109/MIC.2004.58]
• 23: Mike P. Papazoglou, Service -Oriented Computing: Concepts, Characteristics and Directions, Proceedings of the Fourth International Conference on Web Information Systems Engineering, p.3, December 10-12, 2003
• 24: Michael P. Papazoglou , Paolo Traverso , Schahram Dustdar , Frank Leymann, Service-Oriented Computing: State of the Art and Research Challenges, Computer, v.40 n.11, p.38-45, November 2007 [doi>10.1109/MC.2007.400]
• 25: Andreas Polze , Lui Sha, Composite Objects: Real-Time Programming with CORBA, Proceedings of the 24th Conference on EUROMICRO, p.20997, August 25-27, 1998
• 26: A. Rosenthal. Computing the Reliability of Complex Networks. SIAM Journal on Applied Mathematics, 32(2):384--393, 1977.
• 27: Yasushi Saito , Brian N. Bershad , Henry M. Levy, Manageability, availability, and performance in porcupine: a highly scalable, cluster-based mail service, ACM Transactions on Computer Systems (TOCS), v.18 n.3, p.298, Aug. 2000 [doi>10.1145/354871.354875]
• 28: C. Schropfer, M. Binshtok, S. Shimony, A. Dayan, R. Brafman, P. Offermann, and O. Holschke. Introducing preferences over NFPs into service selection in SOA. In International Conference on Service Oriented Computing - International Workshop on Non Functional Properties and Service Level Agreements in Service Oriented Computing, 2007.
• 29: A. Solberg, S. Amundsen, J. Aagedal, and F. Eliassen. A Framework for QoS-Aware Service Composition. Proceedings of 2nd ACM International Conference on Service Oriented Computing, 2004.
• 30: V. Stantchev and M. Malek. Architectural Translucency - Vision and Approach. In International Conference Automatics and Informatics 05, Sofia, Bulgaria, October 2005.
• 31: V. Stantchev and M. Malek. Architectural Translucency in Service-oriented Architectures. IEE Proceedings - Software, 153(1):31--37, February 2006.
• 32: Michael M. Swift , Muthukaruppan Annamalai , Brian N. Bershad , Henry M. Levy, Recovering device drivers, Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation, p.1-1, December 06-08, 2004, San Francisco, CA
• 33: Michael M. Swift , Brian N. Bershad , Henry M. Levy, Improving the reliability of commodity operating systems, ACM Transactions on Computer Systems (TOCS), v.23 n.1, p.77-110, February 2005 [doi>10.1145/1047915.1047919]
• 34: Y. Tokairin, K. Yamanaka, H. Takahashi, T. Suganuma, and N. Shiratori. An effective qos control scheme for ubiquitous services based on context information management. cec-eee, 00:619--625, 2007.
• 35: Vladimir Tosic , Kruti Patel , Bernard Pagurek, WSOL - Web Service Offerings Language, Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web, p.57-67, May 27-28, 2002
• 36: Stephen S. Yau , Yu Wang , Dazhi Huang , Hoh P. In, Situation-Aware Contract Specification Language for Middleware for Ubiquitous Computing, Proceedings of the The Ninth IEEE Workshop on Future Trends of Distributed Computing Systems, p.93, May 28-30, 2003
• 37: Haifeng Yu , Phillip B. Gibbons, Optimal inter-object correlation when replicating for availability, Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing, August 12-15, 2007, Portland, Oregon, USA [doi>10.1145/1281100.1281137]
• 38: Haifeng Yu , Amin Vahdat, The costs and limits of availability for replicated services, ACM Transactions on Computer Systems (TOCS), v.24 n.1, p.70-113, February 2006 [doi>10.1145/1124153.1124156]
• 39: Liangzhao Zeng , Boualem Benatallah , Anne H.H. Ngu , Marlon Dumas , Jayant Kalagnanam , Henry Chang, QoS-Aware Middleware for Web Services Composition, IEEE Transactions on Software Engineering, v.30 n.5, p.311-327, May 2004 [doi>10.1109/TSE.2004.11]

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.4 PERFORMANCE OF SYSTEMS
      Subjects: Reliability, availability, and serviceability

Keywords:
Formal representation, architectural translucency, nonfunctional properties, replication, service levels, system architecture, web services