Free choice Petri nets
Deontic logic in computer science: normative system specification
Deontic logic in computer science: normative system specification
Dynamic business models as a basis for interoperable transaction design
Information Systems - Special issue: advanced information systems engineering
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
ACM Transactions on Information Systems (TOIS)
Towards a fault-tolerant multi-agent system architecture
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
Proceedings of the 8th international conference on Artificial intelligence and law
A logic for uncertain probabilities
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
An asynchronous rule-based approach for business process automation using obligations
Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming
Primer in Petri Net Design
Verifying Compliance with Commitment Protocols
Autonomous Agents and Multi-Agent Systems
Synthesizing Coordination Requirements for Heterogeneous Autonomous Agents
Autonomous Agents and Multi-Agent Systems
Discretionary Enforcement of Electronic Contracts
EDOC '02 Proceedings of the 6th International Enterprise Distributed Object Computing Conference
Proceedings of the IFIP TC2/WG2.6 Ninth Working Conference on Database Semantics: Semantic Issues in E-Commerce Systems
A Customizable Coordination Service for Autonomous Agents
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Supporting business contracts in open distributed systems
SDNE '95 Proceedings of the 2nd International Workshop on Services in Distributed and Networked Environments
Rights and Commitment in Multi-Agent Agreements
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Developing Formal Specifications to Coordinate Heterogeneous Autonomous Agents
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
A logical model of directed obligations and permissions to support electronic contracting
International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce
KQML and FLBC: Contrasting Agent Communication Languages
International Journal of Electronic Commerce
An EREC framework for e-contract modeling, enactment and monitoring
Data & Knowledge Engineering - Special issue: Contract-driven coordination and collaboration in the internet context
From Contracts to E-Contracts: Modeling and Enactment
Information Technology and Management
Detection tests for identifying violators of multi-party contracts
ACM SIGecom Exchanges
ACM SIGecom Exchanges
Reliable QoS monitoring based on client feedback
Proceedings of the 16th international conference on World Wide Web
From trading to eCommunity management: Responding to social and contractual challenges
Information Systems Frontiers
Active meta modeling support for evolving e-contracts
ER '07 Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling - Volume 83
Electronic contracting in aircraft aftercare: a case study
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track
Argumentation based contract monitoring in uncertain domains
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Contract Observation in Web Services Environments
SOCASE '09 Proceedings of the AAMAS 2009 International Workshop on Service-Oriented Computing: Agents, Semantics, and Engineering
State-of-the-art in modeling and deployment of electronic contracts
CoMoGIS'06 Proceedings of the 2006 international conference on Advances in Conceptual Modeling: theory and practice
Modeling multi-party web-based business collaborations
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Reputation-Based service level agreements for web services
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
A simple argumentation based contract enforcement mechanism
CIA'06 Proceedings of the 10th international conference on Cooperative Information Agents
Modeling the reconciliation process for stakeholder diverging project views
Proceedings of the 12th International Conference on Product Focused Software Development and Process Improvement
Hi-index | 0.00 |
Contracts between multiple business partners play an increasing role in a global economy where activities along the value chain are executed by independent yet co-operating companies. Information technology to enact a value chain is now being deployed in the form of ERP systems and Web services. However, there is little known how to formally check whether such an enactment is indeed fulfilling the contract between the parties. In this paper, we investigate which parts of a contract can be formalized to be automatically monitored. Our approach not only supports the detection of actual violations but also proactive detection of imminent contract violations.