Abstract
The vision of automated service composition for enabling service economies is challenged by many theoretical and technical limitations of current technologies. There is a need for complete, dependable service hierarchies created on-the-fly for critical business environments. Such automatically-constructed, complex and dynamic service hierarchies imply a similarly automated process for establishing the contracts that specify the rules governing the consumption of services; and for binding them into respective contract hierarchies. Deducing these required contracts is a computationally challenging task. This also applies to the optimization of such contract sets to maximize utility. We propose the application of (Shared) Reduced Ordered Binary Decision Diagrams, a suitable graph-based data structure well-known in the area of Electronic Design Automation. These diagrams can be used as a canonical representation of SLAs, thus allowing their efficient and unambiguous management independent of their structure’s specifics. As such, this representation can facilitate the process of negotiating SLAs, subcontracting parts of them, optimizing their utility, and managing them during runtime for monitoring and enforcement.
Chapter PDF
Similar content being viewed by others
References
Bryant, R.: Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers C-35(8), 677–691 (1986)
Lee, C.: Representation of switching circuits by binary decision diagrams. Bell System Technical Journal (38), 985–999 (1959)
Akers, S.: Binary Decision Diagrams. IEEE Transactions on Computers C-27(6), 509–516 (1978)
Open Grid Forum: Web Services Agreement Specification, WS-Agreement (2007)
Keller, A., Ludwig, H.: The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services. Journal of Network and Systems Management 11(1), 57–81 (2003)
Binder, W., Constantinescu, I., Faltings, B.: Scalable Automated Service Composition Using a Compact Directory Digest. Database and Expert Systems Applications, 317–326 (2006)
Campailla, A., Chaki, S., Clarke, E., Jha, S., Veith, H.: Efficient filtering in publish-subscribe systems using binary decision diagrams. In: ICSE 2001: Proc. 23rd International Conference on Software Engineering, pp. 443–452 (2001)
Paschke, A., Bichler, M.: Knowledge representation concepts for automated SLA management. Decision Support Systems 46(1), 187–205 (2008)
Ebendt, R., Drechsler, R., Fey, G.: Advanced BDD optimization. Springer, Heidelberg (2005)
Shannon, C.E.: A symbolic analysis of relay and switching circuits. AIEE (57), 713–723 (1938)
Bhoj, P., Singhal, S., Chutani, S.: SLA management in federated environments. Computer Networks 35(1), 5–24 (2001)
Bryant, R.E.: Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Comput. Surv. 24(3), 293–318 (1992)
Friedman, S., Supowit, K.: Finding the optimal variable ordering for binary decision diagrams. IEEE Transactions on Computers 39(5), 710–713 (1990)
Rudell, R.: Dynamic variable ordering for ordered binary decision diagrams. In: ICCAD 1993: Proc. 1993 IEEE/ACM international conference on Computer-aided design, pp. 42–47. IEEE Computer Society Press, Los Alamitos (1993)
Keutzer, K.: DAGON: Technology Binding and Local Optimization by DAG Matching. In: 24th Conference on Design Automation, June 1987, pp. 341–347 (1987)
Detjens, E., Rudell, R., Gannot, G., Wang, A., Sangiovanni-Vincentelli, A.: Technology mapping in MIS. In: Proc. International Conference on Computer Aided Design, November 1987, pp. 116–119 (1987)
Ehrgott, M.: Multicriteria Optimization. Springer, Heidelberg (2005)
Fatima, S., Wooldridge, M., Jennings, N.: A Comparative Study of Game Theoretic and Evolutionary Models of Bargaining for Software Agents. Artificial Intelligence Review 23(2), 187–205 (2005)
Figueroa, C., Figueroa, N., Jofre, A., Sahai, A., Chen, Y., Iyer, S.: A Game Theoretic Framework for SLA Negotiation. Technical report, HP Laboratories (2008)
Comuzzi, M., Kotsokalis, C., Spanoudakis, G., Yahyapour, R.: Establishing and Monitoring SLAs in Complex Service Based Systems. In: ICWS 2009: Proceedings of the 2009 IEEE International Conference on Web Services, pp. 783–790 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kotsokalis, C., Yahyapour, R., Rojas Gonzalez, M.A. (2009). Modeling Service Level Agreements with Binary Decision Diagrams. In: Baresi, L., Chi, CH., Suzuki, J. (eds) Service-Oriented Computing. ServiceWave ICSOC 2009 2009. Lecture Notes in Computer Science, vol 5900. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-10383-4_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-10383-4_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-10382-7
Online ISBN: 978-3-642-10383-4
eBook Packages: Computer ScienceComputer Science (R0)