SLA representation, management and enforcement

Adrian Paschke, Martin Bichler

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

18 Scopus citations

Abstract

As the IT industry is becoming more and more interested in service oriented business models and upcoming technologies like Web Services or Grid Computing, the need for automated contract management increases accordingly. In this paper we evolve a formal representation for contractual agreements together with their monitoring and enforcement by standard components of logic programming. We incorporate different logical formalisms like Horn Logic, Event Calculus, Deontic Logic and ECA rules into one logical framework to execute complex contract rules on an individual or a group level together with their normative relationships (permissions, obligations and prohibitions). This logical framework supports a high level architecture for the automation of electronic contracts capable of representing complex business rules and business policies, detecting contract violations, authorisation control, conflict detection, service billing, reporting and other contract enforcement processes.

Original languageEnglish
Title of host publicationProceedings - 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE-05
Pages158-163
Number of pages6
DOIs
StatePublished - 2005
Event2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE-05 - Hong Kong, China
Duration: 29 Mar 20051 Apr 2005

Publication series

NameProceedings - 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE-05

Conference

Conference2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE-05
Country/TerritoryChina
CityHong Kong
Period29/03/051/04/05

Fingerprint

Dive into the research topics of 'SLA representation, management and enforcement'. Together they form a unique fingerprint.

Cite this