Multiparty contracts: Agreeing and implementing interorganizational processes
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 …
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
Business service engagements involve processes that extend across two or more
autonomous organizations. Because of regulatory and competitive reasons, requirements …
autonomous organizations. Because of regulatory and competitive reasons, requirements …
Representing and monitoring social commitments using the event calculus
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 …
as a natural tool to resolve design ambiguities. Indeed, they have been the subject of …
[PDF][PDF] Multiagent commitment alignment
Commitments provide a basis for understanding interactions in multiagent systems.
Successful interoperation relies upon the interacting parties being aligned with respect to …
Successful interoperation relies upon the interacting parties being aligned with respect to …
[PDF][PDF] Checking correctness of business contracts via commitments
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 …
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 …
action language \calC+. Its input language is fully compatible with the language of the …
[PDF][PDF] Constitutive interoperability
Commitments have recently emerged as a valuable abstraction for characterizing
interactions among autonomous agents at the level of their business relationships …
interactions among autonomous agents at the level of their business relationships …
Architecture-centric support for adaptive service collaborations
In today's volatile business environments, collaboration between information systems, both
within and across company borders, has become essential to success. An efficient supply …
within and across company borders, has become essential to success. An efficient supply …
Agent communication
Multiagent systems are distributed systems. Engineering a multiagent system means
rigorously specifying the communications among the agents by way of interaction protocols …
rigorously specifying the communications among the agents by way of interaction protocols …
Verifiable semantic model for agent interactions using social commitments
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 …
operations as axioms or constrains on top of the commitment semantics, which fail to capture …