Skip to main content
SpringerLink
Log in

Rule-based validation of SLA choreographies

  • Published:
The Journal of Supercomputing Aims and scope Submit manuscript

Abstract

For the Service Economy to prosper, IT-based Service Markets are required to perform certain business actions autonomically and autonomously, e.g., helping companies to establish networks of business relationships. Service Markets, to be practically realized require an enabling infrastructure that supports business-to-business (B2B) relationships among business stakeholders, resulting in value chains.

B2B workflow interoperation across Virtual Organization (VOs) brings about novel business scenarios. In these scenarios, parts of workflows corresponding to different partners can be aggregated in a producer-consumer manner, leading to hierarchical structures of added value. Service Level Agreements (SLAs), which are contracts between service providers and service consumers, guarantee the expected quality of service (QoS) to different stakeholders at various levels along this hierarchy. Automation of service composition in these coalition workflows directly implies the aggregation of their corresponding SLAs. This hierarchical choreography and aggregation poses new challenges regarding SLA description, management, maintenance, validation, trust, and security. In this paper, we focus on design and architecture of an agent-oriented, rule-based validation framework for hierarchical SLA aggregation, enabling cross-VO workflow cooperation. The framework is based on the Rule Responder architecture, the RBSLA project, a formal model of SLA Views, and a distributed trust model.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Ludwig A (2008) COSMA—an approach for managing SLAs in composite services. In: Lecture notes in computer science. Springer, Berlin-Heidelberg

    Google Scholar 

  2. Buyyaa R, Yeo CS, Venugopal S, Broberg J, Brandic I (2010) Cloud computing and emerging IT platforms: vision, hype, and reality for delivering computing as the 5th utility. Future Gener Comput Syst 25:599–616

    Article  Google Scholar 

  3. Blake MB, Cunnings DJ (2007) Workflow composition of service level agreements. In: International conference on services computing (SCC2007)

  4. Schulz KA, Orlowska ME (2004) Facilitating cross-organisational workflows with a workflow view approache. Data Knowl Eng 51:109–147

    Article  Google Scholar 

  5. SLA@SOI (2009) http://www.sla-at-soi.org/index.html (12 March 2009)

  6. NESSI-Grid (2009) http://www.soi-nwg.org/doku.php?id=sra:description. Accessed: 12 March 2009

  7. Haq IU, Huqqani AA, Schikuta E (2009) Aggregating hierarchical service level agreements in business value networks. In: Lecture notes in computer science, vol 5701/2009. Springer, Berlin-Heidelberg, pp 176–192

    Google Scholar 

  8. Chebbi I, Dustdar S, Tata S (2006) The view based approach to dynamic inter-organizational workflow cooperation. Data Knowl Eng 56:139–173

    Article  Google Scholar 

  9. Liu DR, Shen M (2002) Workflow modeling for virtual processes: an order-preserving process-view approach. Inf Syst 28:505–532

    Article  Google Scholar 

  10. Haq IU, Huqqani AA, Schikuta E (2009) A conceptual model for aggregation and validation of SLAs in business value networks. In: The 3rd international conference on adaptive business information systems, Leipzig, Germany

  11. Paschke A, Boley H, Kozlenkov A, Craig B (2007) Rule responder: RuleML-based agents for distributed collaboration on the pragmatic web. In: Proceedings of the 2nd international conference on pragmatic web. Tilburg, The Netherlands

  12. Paschke A, Bichler M (2006) Knowledge representation concepts for automated SLA management. Int J Decis Support Syst (DSS) (March)

  13. Paschke A, Harold B, Kozlenkov A, Craig B (2007) Rule responder: a RuleML-based pragmatic agent web for collaborative teams and virtual organizations. http://ibis.in.tum.de/projects/paw/

  14. Paschke A (2007) Rule-based service level agreements—knowledge representation for automated e-contract, SLA and policy management. Idea Verlag GmbH, Munich

    Google Scholar 

  15. Boley H (2006) The Rule-ML family of web rule languages. In: 4th Int. workshop on principles and practice of semantic web reasoning, Budva, Montenegro

  16. Mule (2006) Mule Enterprise Service Bus http://mule.codehaus.org/display/MULE/Home

  17. Ball M, Boley H, Hirtle D, Mei J, Spencer B (2005) The OO jDrew reference implementation of RuleML. In: RuleML, Galway

  18. Roo JD (2010) Open Source Project: Euler Proof Mechanism. Available at http://www.agfa.com/w3c/euler/, last accessed: Nov 15, 2010

  19. Paschke A, Bichler M (2005) SLA representation management and enforcement. In: The 2005 IEEE international conference on e-technology, e-commerce and e-service

  20. Wang M, Kotagiri R, Chen J (2009) Trust-based robust scheduling and runtime adaptation of scientific workflow. Concurr Comput Pract Exp 21(16):1982–1998

    Article  Google Scholar 

  21. Lioy A, Marian M, Moltchanova N, Pala M (2006) PKI past, present and future. Int J Inf Secur 5(1):18–29

    Article  Google Scholar 

  22. Zhao S, Aggarwal A, Kent RD (2007) PKI-based authentication mechanisms in grid systems. International conference on networking, architecture, and storage

  23. Haq IU, Alnemr R, Paschke A, Schikuta E, Boley H, Meinel C (2009) Distributed trust management for validating sla choreographies. In: SLAs in Grids workshop, CoreGRID

  24. Ludwig H, et al (2007) Web Service Agreement (WS-Agreement). GFD.107 proposed recommendation. Accessed 12 July 2008

  25. FIPA: (2000) FIPA agent communication language. http://www.fipa.org/. Accessed Dec 2001

  26. Shen M, Liu DR (2004) Discovering role-relevant process-views for disseminating process knowledge. Expert Syst Appl 26:301–310

    Article  Google Scholar 

  27. Chiu D, Cheung S, Till S, Karalapalem K, Li Q, Kafeza E (2004) Workflow view driven cross-organisational interoperability in a web service environment. Inf Technol Manag 5:221–250

    Article  Google Scholar 

  28. Li Q, Chiu D, Shan Z, Hung P, Cheung S (2006) Flows and views for scalable scientific process integration. In: First international conference on scalable information systems, Hong Kong

  29. Chiu D, Li KKQ, Kafeza E (2002) Workflow view based e-contracts in a cross-organisational e-services environment. Distrib Parallel Databases 12:193–216

    Article  MATH  Google Scholar 

  30. Chen J, Yang Y (2008) Activity completion duration based checkpoint selection for dynamic verification of temporal constraints in grid workflow. Int J High Perform Comput Appl 319–329:22(3)

    Google Scholar 

  31. Chen J, Yang Y (2008) Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems. In: The proceedingsof 30th international conference on software engineering, ICSE 08, 2008, pp 141–150. doi:10.1145/1368088.1368108

    Google Scholar 

  32. Eder J, Tahamatan A (2008) Temporal consistency of view based interorganizational workflows. In: 2nd International united information systems conference, Austria

  33. Frankova G (2007) Service level agreements: Web services and security. Springer, Berlin-Heidelberg, pp 556–562

    Google Scholar 

  34. Unger T, Leyman F, Mauchart S, Scheibler T (2008) Aggregation of service level agreement in the context of business processes. In: Enterprise distributed object computing conference (EDOC’08), Munich, Germany

  35. Oldham N, Verma K, Sheth A, Hakimpour F (2006) Semantic WS-Agreement partner selection. In: Proceedings of the 15th international conference on World Wide Web, Edinburgh, Scotland

Download references

Author information

Authors and Affiliations

  1. Department of Knowledge and Business Engineering, University of Vienna, Vienna, Austria

    Irfan Ul Haq & Erich Schikuta

  2. Institute of Computer Science, Freie University Berlin, Berlin, Germany

    Adrian Paschke

  3. Institute of Information Technology, National Research Council, Ottawa, Canada

    Harold Boley

Authors
  1. Irfan Ul Haq
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Adrian Paschke
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Erich Schikuta
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Harold Boley
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Irfan Ul Haq.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Ul Haq, I., Paschke, A., Schikuta, E. et al. Rule-based validation of SLA choreographies. J Supercomput 63, 24–45 (2013). https://doi.org/10.1007/s11227-010-0492-1

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11227-010-0492-1

Keywords

Search

Navigation