Knowledge representation concepts for automated SLA management
Decision Support Systems
Rule responder HCLS eScience infrastructure
Proceedings of the 3rd International Conference on the Pragmatic Web: Innovating the Interactive Society
Rule-Based Event Processing and Reaction Rules
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
A logic for state-modifying authorization policies
ACM Transactions on Information and System Security (TISSEC)
Playing with agent coordination patterns in MAGE
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
Normative conflicts in electronic contracts
Electronic Commerce Research and Applications
Network-aware service placement and selection algorithms on large-scale overlay networks
Computer Communications
ContractLog: an approach to rule based monitoring and execution of service level agreements
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
| Hi-index | 0.00 |
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.