TY - GEN
T1 - SLA representation, management and enforcement
AU - Paschke, Adrian
AU - Bichler, Martin
PY - 2005
Y1 - 2005
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=30944443258&partnerID=8YFLogxK
U2 - 10.1109/EEE.2005.121
DO - 10.1109/EEE.2005.121
M3 - Conference contribution
AN - SCOPUS:30944443258
SN - 0769522742
SN - 9780769522746
T3 - Proceedings - 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE-05
SP - 158
EP - 163
BT - Proceedings - 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE-05
T2 - 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE-05
Y2 - 29 March 2005 through 1 April 2005
ER -