A semantic approach for designing commitment protocols

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3396, Issue , 2005, Pages 33-49

  Mallya, Ashok U ^a   Singh, Munindar P ^a  

^a North Carolina State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; INTELLIGENT AGENTS; MATHEMATICAL MODELS; NETWORK PROTOCOLS; PLANNING; SOFTWARE ENGINEERING;

COMMITMENT-BASED SEMANTICS; COMPLIANCE CHECKING; CONVERSATIONAL MODEL; REFINING AND MERGING;

SEMANTICS;

EID: 26844566333     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-32258-0_3     Document Type: Conference Paper

References (22)

1. BPEL. Business process execution language for web services, version 1.1, May 2003. www-106.ibm.com/developerworks/webservices/library/ws-bpel.
2. Stefan Bussmann, Nicholas R. Jennings, and Michael Wooldridge. Re-use of interaction protocols for agent-based applications. In Proceedings of the 3rd International Workshop on Agent-Oriented Software Engineering, 2002.
3. Cristiano Castelfranchi. Commitments: From individual intentions to groups and organizations. In Proceedings of the AAAI-93 Workshop on AI and Theories of Groups and Organizations: Conceptual and Empirical Research, 1993.
4. Amit Chopra and Munindar P. Singh. Nonmonotonic commitment machines. In Marc-Philippe Huget and Frank Dignum, editors, Proceedings of the AAMAS-03 Workshop on Agent Communication Languages and Conversation Policies, 2003.
5. Layna Fischer, editor. TheWorkflow Handbook 2004. Future Strategies Inc., Lighthouse Point, FL, 2004. Compendium of standards and articles by the Workflow Management Coalition (WfMC).
6. Nicoletta Fornara and Marco Colombetti. Defining interaction protocols using a commitment-based agent communication language. In Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 520-527. ACM Press, July 2003.
7. Xiang Fu, Tevfik Bultan, and Jianwen Su. Realizability of conversation protocols with message contents. In Proceedings of the 2004 International Conference on Web Services, pages 96-105. IEEE Computer Press, 2004.
8. Benjamin N. Grosof and Terrence C. Poon. SweetDeal: Representing agent contracts with exceptions using XML rules, ontologies, and process descriptions. In Proceedings 12th International Conference on the World Wide Web, pages 340-349, 2003.
9. Rachid Hamadi and Boualem Benatallah. Proceedings of the 14th Australasian Database Conference. In Xiaofang Zhou and Klaus-Dieter Schewe, editors, ADC, volume 17 of Conferences in Research and Practice in Information Technology, pages 191-200. Australian Computer Society, February 2003.
10. Mark W. Johnson, Peter McBurney, and Simon Parsons. When are two protocols the same? In Marc-Philippe Huget, editor, Communication in Multiagent Systems: Agent Communication Languages and Conversation Policies, volume 2650 of LNAI, pages 253-268. Springer-Verlag, Berlin, 2003.
11. Thomas W. Malone, Kevin Crowston, and George A. Herman, editors. Organizing Business Knowledge: The MIT Process Handbook. MIT Press, Cambridge, MA, 2003.
12. Chris Peltz. Web service orchestration and choreography. IEEE Computer, 36(10):46-52, October 2003.
13. Jeremy Pitt and Abe Mamdani. Communication protocols in multi-agent systems. In Frank Dignum and Mark Greaves, editors, Issues in Agent Communication, volume 1916 of Lecture Notes in Artificial Intelligence, pages 160-177. Springer, 2000.
14. J. Rosenberg, H. Schulzrinne, G. Camarillo, A. Johnston, J. Peterson, R. Sparks, M. Handley, and E. Schooler. SIP: Session initiation protocol. IETF Proposed Standard. Available as an RFC at http://www.ietf.org/rfc/rfc3261.txt.
15. Munindar P. Singh. An ontology for commitments in multiagent systems: Toward a unification of normative concepts. Artificial Intelligence and Law, 7:97-113, 1999.
16. Munindar P. Singh, Amit K. Chopra, Nirmit V. Desai, and Ashok U. Mallya. Protocols for processes: Programming in the large for open systems. In Onward! at the 19th ACM Conference on Object Oriented Programming, Systems, Languages, and Applications, 2004.
17. Marvin A. Sirbu. Credits and debits on the Internet. IEEE Spectrum, 34(2):23-29, February 1997.
18. Wil van der Aalst, Jörg Desel, and Andreas Oberwis, editors. Business Process Management: Models, Techniques, and Empirical Studies, volume 1806 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 2000.
19. Wil van der Aalst and Kees van Hee, editors. Workflow Management Models, Methods, and Systems. MIT Press, Cambridge, MA, 2002.
20. Mario Verdicchio and Marco Colombetti. Commitments for agent-based supply chain management. ACM SIGecom Exchanges, 3(1): 13-23, 2002.
21. Benjamin Vitteau and Marc-Philippe Huget. Modularity in interaction protocols. In Frank Dignum, editor, Advances in Agent Communication, volume 2922 of Leture Notes in Artificial Intelligence, pages 291-309. Springer, 2004.
22. Pinar Yolum and Munindar P. Singh. Flexible protocol specification and execution: Applying event calculus planning using commitments. In Proceedings of the 1st International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS), pages 527-534. ACM Press, July 2002.