Abstract
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.
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
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)
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)
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)
Dietrich, J., Paschke, A.: On the Test-Driven Development and Validation of Business Rules. In: ISTA 2005 (2005)
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)
Paschke, A.: ContractLog - A Logic Framework for SLA Representation, Management and Enforcement, IBIS, TUM (July 7 2004)
Paschke, A.: RBSLA: Rule-based SLA (2005), http://ibis.in.tum.de/staff/paschke/rbsla/index.htm
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)
Kowalski, R.A., Sergot, M.J.: A logic-based calculus of events. New Generation Computing 4, 67–95 (1986)
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)
Grosof, B.N.: A Courteous Compiler From Generalized Courteous Logic Programs To Ordinary Logic Progams. IBM (1999)
Antoniou, G., et al.: A flexible framework for defeasible logics. In: AAAI 2000(2000)
Levy, A., Rousset, M.-C.: A Representation Language Combining Horn Rules and Description Logics. In: ECAI 1996 (1996)
Grosof, B.N., et al.: Description Logic Programs: Combining Logic Programs with Description Logic. In: WWW 2003, ACM, New York (2003)
Kozlenkov, A., Schroeder, M.: Prova (2004), http://comas.soi.city.ac.uk/prova/
Wagner, G., Tabet, S., Boley, H.: MOF-RuleML: The abstract syntax of RuleML as a MOF model. In: OMG Meeting (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Paschke, A., Bichler, M., Dietrich, J. (2005). ContractLog: An Approach to Rule Based Monitoring and Execution of Service Level Agreements. In: Adi, A., Stoutenburg, S., Tabet, S. (eds) Rules and Rule Markup Languages for the Semantic Web. RuleML 2005. Lecture Notes in Computer Science, vol 3791. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11580072_19
Download citation
DOI: https://doi.org/10.1007/11580072_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29922-6
Online ISBN: 978-3-540-32270-2
eBook Packages: Computer ScienceComputer Science (R0)