ContractLog: An Approach to Rule Based Monitoring and Execution of Service Level Agreements

  • Adrian Paschke
  • Martin Bichler
  • Jens Dietrich
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3791)


In this paper we evolve a rule based approach to SLA representation and management which allows separating the contractual business logic from the application logic and enables automated execution and monitoring of SLA specifications. We make use of a set of knowledge representation (KR) concepts and combine adequate logical formalisms in one expressive formal framework called ContractLog.


Description Logic Service Level Agreement Deontic Logic Rule Base Approach Derivation Rule 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bichler, M., Diernhofer, N., Fay, F., König, C., MacWilliams, A., Paschke, A., Setzer, T., Völk, G.: Dynamic Value Webs for IT-Services: IT-Service Technologies and Management. Siemens SBS / TUM, research study, Munich (10/2004)Google Scholar
  2. 2.
    Paschke, A., Bichler, M.: Rule-based Languages for the Representation of Electronic Contracts - A concept for using Knowledge-based Systems in the Development of flexible Internet-based Information Systems (in german language) IBIS, TUM (Working Paper) (April 04 2003)Google Scholar
  3. 3.
    Paschke, A.: Rule Based SLA Management - A rule based approach on automated IT service management (in german language) (Working Paper) IBIS, TUM (June 6 2004)Google Scholar
  4. 4.
    Dietrich, J., Paschke, A.: On the Test-Driven Development and Validation of Business Rules. In: ISTA 2005 (2005)Google Scholar
  5. 5.
    Paschke, A., Bichler, M.: SLA Representation, Management and Enforcement - Combining Event Calculus, Deontic Logic, Horn Logic and Event Condition Action Rules. In: EEE 2005, Hong Kong, China (2005)Google Scholar
  6. 6.
    Paschke, A.: ContractLog - A Logic Framework for SLA Representation, Management and Enforcement, IBIS, TUM (July 7 2004)Google Scholar
  7. 7.
    Paschke, A.: RBSLA: Rule-based SLA (2005),
  8. 8.
    Dietrich, J.: A Rule-Based System for eCommerce Applications. In: Negoita, M.G., Howlett, R.J., Jain, L.C. (eds.) KES 2004. LNCS (LNAI), vol. 3213, pp. 455–463. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  9. 9.
    Kowalski, R.A., Sergot, M.J.: A logic-based calculus of events. New Generation Computing 4, 67–95 (1986)CrossRefGoogle Scholar
  10. 10.
    Nute, D.: Defeasible Logic. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, Oxford University Press, Oxford (1994)Google Scholar
  11. 11.
    Grosof, B.N.: A Courteous Compiler From Generalized Courteous Logic Programs To Ordinary Logic Progams. IBM (1999)Google Scholar
  12. 12.
    Antoniou, G., et al.: A flexible framework for defeasible logics. In: AAAI 2000(2000)Google Scholar
  13. 13.
    Levy, A., Rousset, M.-C.: A Representation Language Combining Horn Rules and Description Logics. In: ECAI 1996 (1996)Google Scholar
  14. 14.
    Grosof, B.N., et al.: Description Logic Programs: Combining Logic Programs with Description Logic. In: WWW 2003, ACM, New York (2003)Google Scholar
  15. 15.
    Kozlenkov, A., Schroeder, M.: Prova (2004),
  16. 16.
    Wagner, G., Tabet, S., Boley, H.: MOF-RuleML: The abstract syntax of RuleML as a MOF model. In: OMG Meeting (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Adrian Paschke
    • 1
  • Martin Bichler
    • 1
  • Jens Dietrich
    • 2
  1. 1.Internet-based Information SystemsTechnische Universität München 
  2. 2.Information Sciences & TechnologyMassey University 

Personalised recommendations