Defining interaction protocols using a commitment-based agent communication language
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
A Logical Model for Commitment and Argument Network for Agent Communication
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
An EREC framework for e-contract modeling, enactment and monitoring
Data & Knowledge Engineering - Special issue: Contract-driven coordination and collaboration in the internet context
Formalizing and achieving multiparty agreements via commitments
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Contextualizing commitment protocol
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Translating business contract into compliant business processes
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
Compliance checking between business processes and business contracts
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
Designing Commitment-Based Agent Interactions
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Bridging Business Value Models and Process Models in Aviation Value Webs via Possession Rights
HICSS '07 Proceedings of the 40th Annual Hawaii International Conference on System Sciences
Enacting protocols by commitment concession
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Representing and reasoning about commitments in business processes
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Verification of protocol conformance and agent interoperability
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Flexible deadlines for directed obligations in agent-based business contracts
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Specifying Open Agent Systems: A Survey
Engineering Societies in the Agents World IX
Adaptive Deterrence Sanctions in a Normative Framework
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
A conceptually rich model of business process compliance
APCCM '10 Proceedings of the Seventh Asia-Pacific Conference on Conceptual Modelling - Volume 110
A logical analysis of commitment dynamics
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Directed deadline obligations in agent-based business contracts
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
Norm compliance in business process modeling
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Analyzing contract robustness through a model of commitments
AOSE'10 Proceedings of the 11th international conference on Agent-oriented software engineering
Towards verifying contract regulated service composition
Autonomous Agents and Multi-Agent Systems
Detecting conflicts in commitments
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Runtime Monitoring of Contract Regulated Web Services
Fundamenta Informaticae
Representing and monitoring social commitments using the event calculus
Autonomous Agents and Multi-Agent Systems
Hierarchical planning about goals and commitments
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Business process regulatory compliance management solution frameworks: a comparative evaluation
APCCM '12 Proceedings of the Eighth Asia-Pacific Conference on Conceptual Modelling - Volume 130
Norms as a basis for governing sociotechnical systems
ACM Transactions on Intelligent Systems and Technology (TIST) - Special Section on Intelligent Mobile Knowledge Discovery and Management Systems and Special Issue on Social Web Mining
| Hi-index | 0.00 |
Business contracts tend to be complex. In current practice, contracts are often designed by hand and adopted by their participants after, at best, a manual analysis. This paper motivates and formalizes two aspects of contract correctness from the perspective of the preferences of the agents participating in them. A contract is safe for a participant if participating in the contract would not leave the participant worse off than otherwise. More strongly, a contract is beneficial to a participant if participating in the contract would leave the participant better off than otherwise. This paper seeks to partially automate reasoning about the correctness of formally modeled business contracts. It represents contracts formally as a set of commitments. It motivates constraints on how cooperative agents might value the various states of commitments. Further, it shows that such constraints are consistent and promote cooperation. Lastly, it presents algorithms for checking the safety and guaranteed benefits of a contract.