Dynamic business models as a basis for interoperable transaction design
Information Systems - Special issue: advanced information systems engineering
ACM Transactions on Information Systems (TOIS)
Communicative actions for artificial agents
Software agents
An asynchronous rule-based approach for business process automation using obligations
Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming
Verifying Compliance with Commitment Protocols
Autonomous Agents and Multi-Agent Systems
Proceedings of the IFIP TC2/WG2.6 Ninth Working Conference on Database Semantics: Semantic Issues in E-Commerce Systems
Chains of commitment software architecture
ACM SIGecom Exchanges - Chains of commitment
Commitments for agent-based supply chain management
ACM SIGecom Exchanges - Chains of commitment
Rights and Commitment in Multi-Agent Agreements
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
Pro-active monitoring of electronic contracts
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Detection tests for identifying violators of multi-party contracts
ACM SIGecom Exchanges
Study of Dependencies in Executions of E-Contract Activities
ADBIS '09 Proceedings of the 13th East European Conference on Advances in Databases and Information Systems
A multi-level model for activity commitments in e-contracts
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
| Hi-index | 0.00 |
Contracts between multiple business parties play an increasingly important role in the 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, workflow systems, web services and e-marketplaces. However, there is little known on how to formally model a multi-party contract. In this paper, we investigate how to model a multi-party contract in a manner convenient for detecting the parties responsible for contract violations.