Constitutive interoperability

Commitments have recently emerged as a valuable abstraction for characterizing interactions among autonomous agents at the level of their business relationships. Traditionally, interoperation is approached from the standpoint of data exchange or of messaging. We use commitments to characterize interoperability in high-level terms: at the level of the communications among agents. Specifically, two agents are interoperable if their commitments align. Drawing upon Kant's famous distinction, we distinguish between two kinds of interoperability, constitutive and regulative. Constitutive interoperability takes into account solely the meaning of messages whereas regulative interoperability also takes into consideration message order, occurrence, and data flow. We present a language for specifying agents constitutively and a decision procedure for determining their interoperability.

[1]  Munindar P. Singh,et al.  Contextualizing commitment protocol , 2006, AAMAS '06.

[2]  Guido Boella,et al.  Regulative and Constitutive Norms in Normative Multiagent Systems , 2004, KR.

[3]  Michael Winikoff,et al.  Implementing commitment-based interactions , 2007, AAMAS '07.

[4]  Paola Mello,et al.  Specification and verification of agent interaction protocols in a logic-based system , 2004, SAC '04.

[5]  Evelina Lamma,et al.  Web Service Contracting: Specification and Reasoning with SCIFF , 2007, ESWC.

[6]  C. A. R. Hoare,et al.  Stuck-Free Conformance , 2004, CAV.

[7]  Munindar P. Singh,et al.  Verifying Compliance with Commitment Protocols , 1998, Autonomous Agents and Multi-Agent Systems.

[8]  Daniel M. Yellin,et al.  Protocol specifications and component adaptors , 1997, TOPL.

[9]  Munindar P. Singh,et al.  Engineering Foreign Exchange Processes via Commitment Protocols , 2007, IEEE International Conference on Services Computing (SCC 2007).

[10]  T. D. Fletcher,et al.  Web Services Choreography Description Language Version 1.0, W3C , 2004 .

[11]  Alberto Martelli,et al.  Verification of Protocol Conformance and Agent Interoperability , 2005, CLIMA.

[12]  Gregor Hohpe,et al.  Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions , 2003 .

[13]  Munindar P. Singh.  An ontology for commitments in multiagent systems: , 1999, Artificial Intelligence and Law.

[14]  David Lorge Parnas,et al.  Information Distribution Aspects of Design Methodology , 1971, IFIP Congress.

[15]  Munindar P. Singh,et al.  Representing and Reasoning about Commitments in Business Processes , 2007, AAAI.

[16]  Munindar P. Singh,et al.  Verifying Compliance with Commitment Protocols Enabling Open Web-Based Multiagent Systems , 1999 .

[17]  Edgar A. Whitley,et al.  The Construction of Social Reality , 1999 .

[18]  Nicolas Maudet,et al.  Protocol Conformance for Logic-based Agents , 2003, IJCAI.

[19]  A. Chopra.  Contextualizing Commitment Protocols , .

[20]  Michael Winikoff.  Implementing Commitment-Based Interaction , 2007 .

[21]  Enrico Giunchiglia,et al.  Nonmonotonic causal theories , 2004, Artif. Intell..