Dealing with contract violations: formalism and domain specific language
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
Towards a Monitoring Framework for Agent-Based Contract Systems
CIA '08 Proceedings of the 12th international workshop on Cooperative Information Agents XII
Expressing and Verifying Business Contracts with Abductive Logic Programming
International Journal of Electronic Commerce
A Web Ontology for Copyright Contract Management
International Journal of Electronic Commerce
A framework for monitoring agent-based normative systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
International Journal of Metadata, Semantics and Ontologies
Contracts Violation: Justification via Argumentation
Computational Logic in Multi-Agent Systems
Effect of Using Automated Auditing Tools on Detecting Compliance Failures in Unmanaged Processes
BPM '09 Proceedings of the 7th International Conference on Business Process Management
A method of calculating the cost of reducing the risk exposure of non-compliant process instances
Proceedings of the first ACM workshop on Information security governance
Contract Observation in Web Services Environments
SOCASE '09 Proceedings of the AAMAS 2009 International Workshop on Service-Oriented Computing: Agents, Semantics, and Engineering
Automated negotiation based on contract net and petri net
EC-Web'05 Proceedings of the 6th international conference on E-Commerce and Web Technologies
Towards integrating business policies with business processes
BPM'05 Proceedings of the 3rd international conference on Business Process Management
A semantic web based architecture for e-contracts in defeasible logic
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Hi-index | 0.00 |
In this paper we present a solution to the problem of designing and implementing a contract monitoring facility as part of a larger cross-organisational contract management architecture. We first identify key technical requirements for such a facility and then present our contract language and architecture that address key aspects of the requirements. The language is based on a precise model for the expression of behaviour and policies in the extended enterprise and it can be used to build models for a particular enterprise contract environment. These models can be executed by a contract engine that supports the contract management life cycle at both the contract establishment and contract execution phases