Constitutive interoperability

Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS

Volumn 2, Issue , 2008, Pages 781-788

  Chopra, Amit K ^a   Singh, Munindar P ^a  

^a North Carolina State University   (United States)

Author keywords

Alignment; Business level interoperability; Commitments

Indexed keywords

ALIGNMENT; AUTONOMOUS AGENTS; ELECTRONIC DATA INTERCHANGE; MULTI AGENT SYSTEMS;

BUSINESS RELATIONSHIPS; COMMITMENTS; DATA FLOW; DECISION PROCEDURE; INTEROPERATIONS; MESSAGE ORDERING; TWO AGENTS;

INTEROPERABILITY;

EID: 84899983406     PISSN: 15488403     EISSN: 15582914     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, and P. Torroni. Web service contracting: Specification and reasoning with SCIFF. In Proceedings of the 4th European Semantic Web Conference, pages 68-83, 2007.
2. M. Alberti, D. Daolio, P. Torroni, M. Gavanelli, E. Lamma, and P. Mello. Specification and verification of agent interaction protocols in a logic-based system. In Proceedings of the 19th ACM Symposium on Applied Computing, pages 72-78, 2004.
3. M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Verification of protocol conformance and agent interoperability. In 6th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2005), volume 3900 of LNCS, pages 265-283. Springer, 2006.
4. G. Boella and L. W. N. van der Torre. Regulative and constitutive norms in normative multiagent systems. In Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR), pages 255-266. AAAI Press, 2004.
5. A. K. Chopra and M. P. Singh. Contextualizing commitment protocols. In Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems, pages 1345-1352, 2006.
6. N. Desai, A. K. Chopra, M. Arroti, B. Specht, and M. P. Singh. Engineering foreign exchange processes via commitment protocols. In Proceedings of the 4th IEEE International Conference on Services Computing (SCC), pages 514-521, Los Alamitos, 2007. IEEE Computer Society Press.
7. N. Desai, A. K. Chopra, and M. P. Singh. Representing and reasoning about commitments in business processes. In Proceedings of the 22nd Conference on Artificial Intelligence (AAAI), pages 1328-1333, Menlo Park, July 2007. AAAI Press.
8. U. Endriss, N. Maudet, F. Sadri, and F. Toni. Protocol conformance for logic-based agents. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 679-684, 2003.
9. C. Fournet, C. A. R. Hoare, S. K. Rajamani, and J. Rehof. Stuck-free conformance. In Proceedings of the 16th International Conference on Computer Aided Verification (CAV), volume 3114 of LNCS, pages 242-254. Springer, 2004.
10. E. Giunchiglia, J. Lee, V. Lifschitz, N. McCain, and H. Turner. Nonmonotonic causal theories. Artificial Intelligence, 153(1-2):49-104, 2004.
11. G. Hohpe and B. Woolf. Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions. Signature Series. Addison-Wesley, Boston, 2004.
12. D. L. Parnas. Information distribution aspects of design methodology. In Proceedings of the International Federation for Information Processing Congress, volume TA-3, pages 26-30, Amsterdam, 1971. North Holland.
13. J. R. Searle. The Construction of Social Reality. Free Press, New York, 1995.
14. M. P. Singh. An ontology for commitments in multiagent systems: Toward a unification of normative concepts. Artificial Intelligence and Law, 7:97-113, 1999.
15. M. Venkatraman and M. P. Singh. Verifying compliance with commitment protocols: Enabling open Web-based multiagent systems. Autonomous Agents and Multi-Agent Systems, 2(3 ):217-236, Sept. 1999.
16. M. Winikoff. Implementing commitment-based interaction. In Proceedings of the 6th International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS), pages 868-875, Columbia, SC, May 2007. International Foundation for Autonomous Agents and MultiAgent Systems.
17. WS-CDL. Web services choreography description language version 1.0, Nov. 2005. www.w3.org/TR/ws-cdl-10/.
18. D. M. Yellin and R. E. Strom. Protocol specifications and component adaptors. ACM Transactions on Programming Languages and Systems, 19(2):292-333, 1997.