The Community for Technology Leaders
RSS Icon
Issue No.02 - March/April (2010 vol.36)
pp: 288-304
James Skene , The University of Auckland, Auckland
Franco Raimondi , Middlesex University, London
Wolfgang Emmerich , University College London, London
The potential of communication networks and middleware to enable the composition of services across organizational boundaries remains incompletely realized. In this paper, we argue that this is in part due to outsourcing risks and describe the possible contribution of Service-Level Agreements (SLAs) to mitigating these risks. For SLAs to be effective, it should be difficult to disregard their original provisions in the event of a dispute between the parties. Properties of understandability, precision, and monitorability ensure that the original intent of an SLA can be recovered and compared to trustworthy accounts of service behavior to resolve disputes fairly and without ambiguity. We describe the design and evaluation of a domain-specific language for SLAs that tend to exhibit these properties and discuss the impact of monitorability requirements on service-provision practices.
Service-level agreements, electronic services, contracts, domain-specific languages, model-driven engineering.
James Skene, Franco Raimondi, Wolfgang Emmerich, "Service-Level Agreements for Electronic Services", IEEE Transactions on Software Engineering, vol.36, no. 2, pp. 288-304, March/April 2010, doi:10.1109/TSE.2009.55
[1] A. Susarla, A. Barua, and A.B. Whinston, "Understanding the 'Service' Component of Application Service Provision: An Empirical Analysis of Satisfaction with ASP Services," Information Systems Outsourcing, Springer, pp. 481-521, 2006.
[2] D. Greschler and T. Mangan, "Networking Lessons in Delivering 'Software as a Service'—Part I," Int'l J. Network Management, vol. 12, no. 5, pp. 317-321, 2002.
[3] M.A. Rappa, "The Utility Business Model and the Future of Computing Services," IBM Systems J., vol. 43, no. 1, pp. 32-42, 2004.
[4] D. Bogatin, Google CEO's New Paradigm: "Cloud Computing and Advertising Go Hand-in-Hand," ZDNet, , Aug. 2006.
[5] H. Davulcu, M. Kifer, L.R. Pokorny, C.R. Ramakrishnan, I.V. Ramakrishnan, and S. Dawson, "Modeling and Analysis of Interactions in Virtual Enterprises," Proc. Ninth Int'l Workshop Research Issues on Data Eng.: Information Technology for Virtual Enterprises, pp. 12-18, Mar. 1999.
[6] M.N. Huhns and M.P. Singh, "Service-Oriented Computing: Key Concepts and Principles," IEEE Internet Computing, vol. 9, no. 1, pp. 75-81, Jan./Feb. 2005.
[7] Web Services Architecture, The World Wide Web Consortium (W3C),, Feb. 2004.
[8] Architecture of the World Wide Web, vol. 1, W3C,, Dec. 2004.
[9] Programming with ONC RPC, Digital Equipment Corporation (DEC), policy/ DIGITALunix/AA-Q0R5B-TET1_html TITLE.html, 1992.
[10] A. Sinha, "Client-Server Computing," Comm. ACM, vol. 35, no. 7, pp. 77-97, July 1992.
[11] SOA Practitioners Guide Part I, BEA Systems, Inc., , 2006.
[12] "Amazon Elastic Compute Cloud (Amazon EC2),", 2009.
[13] "," http:/, 2009.
[14] P. Malinverno, "How to Get Value Now (and in the Future) from SAP's Enterprise SOA," Technical Report G00150358, Gartner, Inc., Sept. 2007.
[15] J. Skene, "Language Support for Service-Level Agreements for Application-Service Provision," PhD dissertation, Univ. of London, Oct. 2007.
[16] D.A. Menascé and V.A.F. Almeida, Capacity Planning for Web Services. Prentice Hall, Inc., 2001.
[17] J. Skene, A. Skene, J. Crampton, and W. Emmerich, "The Monitorability of Service-Level Agreements for Application-Service Provision," Proc. Sixth Int'l Workshop Software and Performance, pp. 3-14, 2007.
[18] J. Skene, D.D. Lamanna, and W. Emmerich, "Precise Service Level Agreements," Proc. 26th Int'l Conf. Software Eng., pp. 179-188, May 2004.
[19] MDA Guide Version 1.0.1, omg/2003-06-01 ed., The Object Management Group (OMG), June 2003.
[20] A.S. Evans and S. Kent, "Meta-Modelling Semantics of UML: The pUML Approach," Proc. Second Int'l Conf. Unified Modeling Language, pp. 140-155, 1999.
[21] J. Skene and W. Emmerich, "Specifications, Not Meta-Models," Proc. 2006 Int'l Workshop Global Integrated Model Management, pp. 47-54, 2006.
[22] Meta-Object Facility Core Specification Version 2.0, formal/2006-01-01 ed., The Object Management Group (OMG), Apr. 2002.
[23] UML 2.0 Superstructure Final Adopted Specification, ptc/03-08-02 ed., The Object Management Group (OMG), 2002.
[24] UML 2.0 OCL Final Adopted Specification, ptc/03-10-14 ed., The Object Management Group (OMG), Oct. 2003.
[25] J. Skene and W. Emmerich, "Generating a Contract Checker for an SLA Language," Proc. Int'l IEEE Enterprise Distributed Object Computing Conf. Workshop Contract Architectures and Languages, 2004.
[26] "The SLAng Open-Source Project," http:/uclslang.sourceforge. net/, 2009.
[27] W. Emmerich, B. Butchart, L. Chen, B. Wassermann, and S.L. Price, "Grid Service Orchestration Using the Business Process Execution Language (BPEL)," J. Grid Computing, vol. 3, no. 3, pp. 283-304, Sept. 2005.
[28] "The ActiveBPEL Open Source Engine Project," http://www. active-endpoints.comactive-bpel-engine-overview.htm , 2008.
[29] "The Condor Project," http://www.cs.wisc.educondor/, 2009.
[30] "GridSAM—Grid Job Submission and Monitoring Web Service," , 2009.
[31] "JANET—The UK's Education and Research Network," http:/, 2009.
[32] R. Sturm, W. Morris, and M. Jander, Foundations of Service Level Management. SAMS, 2000.
[33] S. Neal, J. Cole, P. Linington, Z. Milosevic, S. Gibson, and S. Kulkarni, "Identifying Requirements for Business Contract Language: A Monitoring Perspective," Proc. Seventh Int'l Enterprise Distributed Object Computing Conf., M. Steen and B.R. Bryant, eds., pp. 50-61, Sept. 2003.
[34] C. Molina-Jimenez, J. Pruyne, and A. van Moorsel, "The Role of Agreements in IT Management Software," Architecting Dependable Systems III, R. de Lemos, C. Gacek, and A. Romanovsky, eds., pp. 36-58, Springer, 2005.
[35] A. Sahai, A. Durante, and V. Machiraju, "Towards Automated SLA Management for Web Services," Technical Report HPL-2001-310R1, HP Laboratories, HPL-2001-310R1.html, 2001.
[36] Web Service Level Agreement (WSLA) Language Specification, Int'l Business Machines (IBM), Inc., Jan. 2003.
[37] V. Tosic, "Service Offerings for XML Web Services and Their Management Applications," PhD dissertation, Ottawa-Carleton Inst. for Electrical and Computer Eng., 2002.
[38] A. Paschke, "RBSLA—A Declarative Rule-Based Service Level Agreement Language Based on RuleML," Proc. Int'l Conf. Intelligent Agents, Web Technology and Internet Commerce, 2005.
[39] Web Services Agreement Specification (WS-Agreement) Version 2005/09, Open Grid Forum, Public_Comment_Docs/ Documents/Oct-2005WS- AgreementSpecificationDraft050920.pdf , 2006.
[40] G.H. von Wright, "Deontic Logic," Mind, vol. 60, pp. 1-15, 1951.
[41] A.J.I. Jones and M. Sergot, "On the Characterization of Law and Computer Systems: The Normative Systems Perspective," Deontic Logic in Computer Science: Normative System Specification, pp. 275-307, John Wiley & Sons, 1993.
[42] OWL-S: Semantic Markup for Web Services, The World Wide Web Consortium (W3C),, Nov. 2004.
[43] S. Frolund and J. Koistinen, "QML: A Language for Quality of Service Specification," Technical Report TR-98-10, HP Laboratories, 1998.
[44] J.P. Loyall, R.E. Schantz, J.A. Zinky, and D.E. Bakken, "Specifying and Measuring Quality of Service in Distributed Object Systems," Proc. First Int'l Symp. Object-Oriented Real-Time Distributed Computing, pp. 43-52, Apr. 1998.
15 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool