ContractLog: an approach to rule based monitoring and execution of service level agreements

Authors:
Adrian Paschke;Martin Bichler;Jens Dietrich
Affiliations:
Internet-based Information Systems, Technische Universität München;Internet-based Information Systems, Technische Universität München;Information Sciences & Technology, Massey University
Venue:
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Year:
2005

Citing 5
Cited 7

A logic-based calculus of events

New Generation Computing
Defeasible logic

Handbook of logic in artificial intelligence and logic programming (vol. 3)
A Flexible Framework for Defeasible Logics

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Description logic programs: combining logic programs with description logic

WWW '03 Proceedings of the 12th international conference on World Wide Web
SLA Representation, Management and Enforcement

EEE '05 Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'05) on e-Technology, e-Commerce and e-Service

Defeasible Reasoning with e-Contracts

IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Knowledge representation concepts for automated SLA management

Decision Support Systems
Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain

RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Semantic Expression and Execution of B2B Contracts on Multimedia Content

SAMT '09 Proceedings of the 4th International Conference on Semantic and Digital Media Technologies: Semantic Multimedia
The representation of e-contracts as default theories

IEA/AIE'07 Proceedings of the 20th international conference on Industrial, engineering, and other applications of applied intelligent systems
A vocabulary and execution model for declarative service orchestration

BPM'07 Proceedings of the 2007 international conference on Business process management
Normative conflicts in electronic contracts

Electronic Commerce Research and Applications

Quantified Score

Hi-index	0.00

Visualization

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.