Constraints among commitments: Regulative specification of interaction protocols

CEUR Workshop Proceedings

Volumn 598, Issue , 2010, Pages

  Baldoni, Matteo ^a   Baroglio, Cristina ^a   Marengo, Elisa ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS PROCESS; INTER-ACTION PROTOCOLS; MULTI-AGENT INTERACTION; WORK-FLOWS;

MULTI AGENT SYSTEMS; SPECIFICATIONS;

LOGIC PROGRAMMING;

EID: 84883422035     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (36)

1. Proc. of the 2nd Multi-Agent Logics, Languages, and Organisations Federated Workshops, Volume 494 of CEUR Workshop Proceedings. CEUR-WS.org, 2009.
2. Declarative Agent Languages and Technologies VII, 7th Int. Workshop, DALT 2009, Volume 5948 of Lecture Notes in Computer Science. Springer, 2010.
3. 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 Proc. of the SAC 2004, pages 72-78. ACM, 2004.
4. M. Baldoni, C. Baroglio, I. Brunkhorst, N. Henze, E. Marengo, and V. Patti. Constraint Modeling for Curriculum Planning and Validation. Int. J. of Interactive Learning Environments, 2009.
5. M. Baldoni, C. Baroglio, and E. Marengo. Commitment-based Protocols with Behavioral Rules and Correctness Properties of MAS. In Proc. of International Workshop on Declarative Agent Languages and Technologies, DALT 2010, Toronto, Canada, May 2010.
6. G. Boella and L. W. N. van der Torre. Regulative and constitutive norms in normative multiagent systems. In Proc. of KR, pages 255-266. AAAI Press, 2004.
7. C. Cherry. Regulative rules and constitutive rules. The Philosophical Quarterly, 23(93): 301-315, 1973.
8. F. Chesani, P. Mello, M. Montali, and P. Torroni. Verifying a-priori the composition of declarative specified services. In MALLOW [1].
9. A.K. Chopra. Commitment Alignment: Semantics, Patterns, and Decision Procedures for Distributed Computing. PhD thesis, North Carolina State University, Raleigh, NC, 2009.
10. A.K. Chopra and M. P. Singh. Contextualizing commitment protocol. In Proc. of AAMAS'06, pages 1345-1352. ACM, 2006.
11. A.K. Chopra and M. P. Singh. Constitutive interoperability. In Proc. of AAMAS'08, pages 797-804, 2008.
12. A.K. Chopra and M. P. Singh. Multiagent commitment alignment. In Proc. of AAMAS'09, pages 937-944, 2009.
13. E. A. Emerson. Temporal and Modal Logic. In Handbook of Theoretical Computer Science, Volume B, pages 997-1072. Elsevier, 1990.
14. Foundation for Intelligent Physical Agents. FIPA Contract Net Interaction Protocol Specification, December 2002.
15. N. Fornara. Interaction and Communication among Autonomous Agents in Multiagent Systems. PhD thesis, Università della Svizzera italiana, Facoltà di Scienze della Comunicazione, June 2003.
16. N. Fornara and M. Colombetti. Defining interaction protocols using a commitment-based agent communication language. In Proc. of AAMAS'03, pages 520-527, 2003.
17. N. Fornara and M. Colombetti. Protocol Specification Using a Commitment Based ACL. In ACL 2003, Volume 2922 of LNCS, pages 108-127. Springer, 2003.
18. N. Fornara and M. Colombetti. A Commitment-Based Approach To Agent Communication. Applied Artificial Intelligence, 18(9-10): 853-866, 2004.
19. L. Giordano, A. Martelli, and C. Schwind. Specifying and verifying interaction protocols in a temporal action logic. J. Applied Logic, 5(2): 214-234, 2007.
20. Ö. Kafali and P. Yolum. Detecting exceptions in commitment protocols: Discovering hidden states. In MALLOW [1].
21. Montali M., M. Pesic, W.M.P. van der Aalst, F. Chesani, P. Mello, and S. Storari. Declarative specification and verification of service choreographies. ACM Transactions on the Web, 2009.
22. A. U. Mallya and M. P. Singh. Introducing preferences into commitment protocols. In AC, Volume 3859 of LNCS, pages 136-149. Springer, 2006.
23. T. Miller and P. McBurney. Annotation and matching of first-class agent interaction protocols. In Proc. of the 7th AAMAS, pages 805-812, 2008.
24. T. Miller and J. McGinnis. Amongst first-class protocols. In Proc. of Eng. Societies in the Agents World VIII, Volume 4995 of LNCS, pages 208-223. Springer, 2008.
25. M. Montali. Specification and Verification of Declarative Open Interaction Models - A Logic-based framework. PhD thesis, University of Bologna, 2009.
26. M. Pesic and W. M. P. van der Aalst. A Declarative Approach for Flexible Business Processes Management. In Proc. of. Business Process Management Workshops, Volume 4103 of LNCS, pages 169-180. Springer, 2006.
27. J. Searle. Speech Acts. Cambridge University Press, 1969.
28. M. P. Singh. An ontology for commitments in multiagent systems. Artif. Intell. Law, 7(1): 97-113, 1999.
29. M. P. Singh. A social semantics for agent communication languages. In F. Dignum and M. Greaves, editors, Issues in Agent Communication, Volume 1916 of LNCS, pages 31-45. Springer, 2000.
30. M. P. Singh. Distributed enactment of multiagent workflows: temporal logic for web service composition. In AAMAS, pages 907-914. ACM, 2003.
31. M. P. Singh and A. K. Chopra. Correctness properties for multiagent systems. In DALT [2], pages 192-207.
32. P. Torroni, F. Chesani, P. Mello, and M. Montali. Social commitments in time: Satisfied or compensated. In DALT [2], pages 228-243.
33. W. M. P. van der Aalst, M. Dumas, A. H. M. ter Hofstede, N. Russell, H. M. W. Verbeek, and P. Wohed. Life after BPEL? In Proc. of WS-FM, Volume 3670 of LNCS, pp. 35-50, 2005.
34. M. Winikoff, W. Liu, and J. Harland. Enhancing commitment machines. In Proc. of DALT, Volume 3476 of LNCS, pages 198-220, 2004.
35. P. Yolum and M. P. Singh. Commitment machines. In Proc. of ATAL, Volume 2333 of LNCS, pages 235-247. Springer, 2001.
36. P. Yolum and M. P. Singh. Designing and executing protocols using the event calculus. In Agents, pages 27-28, 2001.