Multiparty contracts: Agreeing and implementing interorganizational processes

WMP Van Der Aalst, N Lohmann… - The Computer …, 2010 - ieeexplore.ieee.org
To implement an interorganizational process between different enterprizes, one needs to
agree on the 'rules of engagement'. These can be specified in terms of a contract that …

Amoeba: A methodology for modeling and evolving cross-organizational business processes

N Desai, AK Chopra, MP Singh - ACM Transactions on Software …, 2009 - dl.acm.org
Business service engagements involve processes that extend across two or more
autonomous organizations. Because of regulatory and competitive reasons, requirements …

Representing and monitoring social commitments using the event calculus

F Chesani, P Mello, M Montali, P Torroni - Autonomous Agents and Multi …, 2013 - Springer
Multiagent social commitments provide a principled basis for agent interactions, and serve
as a natural tool to resolve design ambiguities. Indeed, they have been the subject of …

[PDF][PDF] Multiagent commitment alignment

AK Chopra, MP Singh - … of The 8th International Conference on …, 2009 - aamas.csc.liv.ac.uk
Commitments provide a basis for understanding interactions in multiagent systems.
Successful interoperation relies upon the interacting parties being aligned with respect to …

[PDF][PDF] Checking correctness of business contracts via commitments

N Desai, NC Narendra, MP Singh - Proceedings of the 7th …, 2008 - csc2.ncsu.edu
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 …

Cplus 2ASP: Computing Action Language+ in Answer Set Programming

J Babb, J Lee - International Conference on Logic Programming and …, 2013 - Springer
We present Version 2 of system Cplus2ASP, which implements the definite fragment of
action language \calC+. Its input language is fully compatible with the language of the …

[PDF][PDF] Constitutive interoperability

AK Chopra, MP Singh - Proceedings of the 7th international joint …, 2008 - aamas.csc.liv.ac.uk
Commitments have recently emerged as a valuable abstraction for characterizing
interactions among autonomous agents at the level of their business relationships …

Architecture-centric support for adaptive service collaborations

R Haesevoets, D Weyns, T Holvoet - ACM Transactions on Software …, 2014 - dl.acm.org
In today's volatile business environments, collaboration between information systems, both
within and across company borders, has become essential to success. An efficient supply …

Agent communication

AK Chopra, MP Singh - Multiagent systems, 2013 - books.google.com
Multiagent systems are distributed systems. Engineering a multiagent system means
rigorously specifying the communications among the agents by way of interaction protocols …

Verifiable semantic model for agent interactions using social commitments

M El-Menshawy, J Bentahar, R Dssouli - … 2009, Torino, Italy, September 7-9 …, 2010 - Springer
Existing approaches about defining formal semantics of commitment usually consider
operations as axioms or constrains on top of the commitment semantics, which fail to capture …