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

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.

• Type: Conference
• Year: 2005
• Where: RULEML
• Authors: Adrian Paschke, Martin Bichler, Jens Dietrich
• Keywords: Adequate Logical Formalisms, Contractual Business Logic, RULEML 2005, SLA Representation