Abstract
Service level agreement (SLA) specification languages are designed to express monitorable contracts between service providers and consumers. It is of interest to determine if predictive models can be derived for SLAs expressed in such languages, if possible in automated fashion. For this purpose, we study in this paper the mapping of the Web Service Level Agreement (WSLA) into reward metrics defined in the Stochastic Discrete Event Systems (SDES) formalism. We associate a formal semantics with WSLA elements and map these on SDES through a five step mapping process, which includes expressions for the metrics and functions on these metrics, the time at which to predict, and the ultimate service level compliance probability. We illustrate our approach through a stock quote web service example.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Molina-Jiménez, C., Pruyne, J., van Moorsel, A.: The role of agreements in IT management software. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems III. LNCS, vol. 3549, pp. 36–58. Springer, Heidelberg (2005)
Sahai, A., Machiraju, V., Sayal, M., van Moorsel, A., Casati, F.: Automated SLA monitoring for web services. In: Feridun, M., Kropf, P.G., Babin, G. (eds.) DSOM 2002. LNCS, vol. 2506, pp. 28–41. Springer, Heidelberg (2002)
Ludwig, H., Keller, A., Dan, A., King, R., Franck, R.: Web Service Level Agreement (WSLA) Language Specification. IBM (January 2003)
Andrieux, A., Czajkowski, K., Dan, A., Keahey, K., Ludwig, H., Nakata, T., Pruyne, J., Rofrano, J., Tuecke, S., Xu, M.: Web Services Agreement Specification (WS-Agreement). Open Grid Forum, version 2005/09 edition
Davide Lamanna, D., Skene, J., Emmerich, W.: SLAng: A language for defining service level agreements. In: The Ninth IEEE Workshop on Future Trends of Distributed Computing Systems, pp. 100–106 (2003)
Paschke, A., Schnappinger-Gerull, E.: A categorization scheme for SLA metrics. In: Service Oriented Electronic Commerce, pp. 25–40 (2006)
Zimmermann, A.: Stochastic Discrete Event Systems: Modeling, Evaluation, Applications. Springer-Verlag New York, Inc., Secaucus (2007)
Dingle, N.J., Knottenbelt, W.J., Wang, L.: Service level agreement specification, compliance prediction and monitoring with performance trees. In: 22nd Annual European Simulation and Modelling Conference (ESM 2008), pp. 137–14 (September 2008)
Kassab, R.Y., van Moorsel, A.: Mapping WSLA on reward constructs in Möbius. In: 24th UK Performance Engineering Workshop, pp. 137–147 (2008)
Sanders, W.H.: Möbius User Manual, Version 2.3.1. University of Illinois, US (May 2010)
Sanders, W.H., Meyer, J.F.: A unified approach for specifying measures of performance, dependability, and performability. Dependable Computing and Fault-Tolerant Systems: Dependable Computing for Critical Applications 4, 215–237 (1991)
Berglund, A., Boag, S., Chamberlin, D., Fernández, M.F., Kay, M., Robie, J., Simon, J.: XML path language (XPath) 2.0. Technical report, World Wide Web Consortium (January 2007)
Altova XMLSpy v2011r3 enterprise edition (2011), http://www.altova.com
Keller, A., Ludwig, H.: The WSLA framework: Specifying and monitoring service level agreements for web services. J. Netw. Syst. Manage. 11(1), 57–81 (2003)
Ludwig, H., Keller, A., Dan, A., King, R., Franck, R.: A service level agreement language for dynamic electronic services 3, 43–59 (January 2003)
Grinstead, C.M., Snell, J.L.: Introduction to probability. American Mathematical Society, Providence (1997)
Sanders, W.H., Meyer, J.F.: Stochastic activity networks: Formal definitions and concepts. In: European Educational Forum, pp. 315–343 (2000)
Thomas, J.P., Thomas, M., Ghinea, G.: Modeling of web services flow. In: CEC, pp. 391–398 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Yassin Kassab, R., van Moorsel, A. (2011). Formal Mapping of WSLA Contracts on Stochastic Models. In: Thomas, N. (eds) Computer Performance Engineering. EPEW 2011. Lecture Notes in Computer Science, vol 6977. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24749-1_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-24749-1_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24748-4
Online ISBN: 978-3-642-24749-1
eBook Packages: Computer ScienceComputer Science (R0)