Constitutive and regulative specifications of commitment protocols: A decoupled approach

ACM Transactions on Intelligent Systems and Technology

Volumn 4, Issue 2, 2013, Pages

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

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

Commitments; Constitutive and regulative specifications; Constraints among commitments; Interaction protocols

Indexed keywords

BUSINESS PROCESS; COMMITMENT PROTOCOLS; COMMITMENTS; CONSTRAINTS AMONG COMMITMENTS; GRAPHICAL NOTATION; INTER-ACTION PROTOCOLS; MULTI-AGENT INTERACTION; WORK-FLOWS;

MULTI AGENT SYSTEMS;

SPECIFICATIONS;

EID: 84876136635     PISSN: 21576904     EISSN: 21576912     Source Type: Journal    
DOI: 10.1145/2438653.2438657     Document Type: Article

References (65)

1. A GOTNES, T., VAN DER HOEK, W., RODRIGUEZ-AGUILAR, J. A., SIERRA, C., AND WOOLDRIDGE, M. 2007. On the logic of normative systems. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI '07). M. M. Veloso, Ed., AAAI Press, 1175-1180.
2. ALBERTI, M., DAOLIO, D., TORRONI, P., GAVANELLI, M., LAMMA, E., AND MELLO, P. 2004. Specification and verification of agent interaction protocols in a logic-based system. In Proceedings of the ACM Symposium on Applied Computing (SAC'04). H. Haddad, A. Omicini, R. L. Wainwright, and L. M.Liebrock, Eds., ACM Press, New York, 72-78.
3. ARCOS, J. L., NORIEGA, P., RODRIGUEZ-AGUILAR, J. A., AND SIERRA, C. 2007. E4MAS through electronic institutions. In Proceedings of the 3rd International Workshop on Environments for Multiagent Systems III (E4MAS'06). D. Weyns, H. Van Dyke Parunak, and F. Michel, Eds., Lecture Notes in Computer Science, vol. 4389, Springer, 184-202.
4. BALDONI, M., BAROGLIO, C., BERGENTI, F., BOCCALATTE, A., MARENGO, E., MARTELLI, M., MASCARDI, V., PADOVANI, L., PATTI, V., RICCI, A., ROSSI, G., AND SANTI, A. 2010a. MERCURIO: An iteraction-oriented framework for designing, verifying and programming multi-agent systems. In Proceedings of the 11th International Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems (COIN@MALLOW'10). N. Fornara and G. Vouros, Eds., CEUR Workshop Proceedings.
5. BALDONI, M., BAROGLIO, C., AND MARENGO, E. 2010b. Behavior-Oriented commitment-based protocols. In Proceedings of the European Conference on Artificial Intelligence (ECAI '10), H. Coelho, R. Studer, and M. Wooldridge, Eds., Frontiers in Artificial Intelligence and Applications Series, vol. 215. IOS Press, 137-142.
6. BALDONI, M., BAROGLIO, C., BRUNKHORST, I., HENZE, N., MARENGO, E., AND PATTI, V. 2011a. Constraint modeling for curriculum planning and validation. Int. J. Interact. Learn. Environ. 19, 1, 83-123.
7. BALDONI, M., BAROGLIO, C., AND MARENGO, E. 2011b. Commitment-Based protocols with behavioral rules and correctness properties of mas. In Post Proceedings. of the International Workshop on Declarative Agent Languages and Technologies (DALT'10). A. Omicini, S. Sardina, andW. Vasconcelos, Eds., Lecture Notes in Artificial Intelligence, Springer.
8. BENTAHAR, J., MEYER, J.-J.C., ANDWAN, W. 2009. Model checking communicative agent-based systems. Knowl.- Based Syst. 22, 3, 142-159.
9. BOELLA, G. AND VAN DER TORRE, L. W. N. 2004. Regulative and constitutive norms in normative multiagent systems. In Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning (KR '04). D. Dubois, C. A. Welty, and M.-A. Williams, Eds., AAAI Press, 255-266.
10. CASTELFRANCHI, C. 1995. Commitments: From individual intentions to groups and organizations. In Proceedings of the 1st International Conference on Multiagent Systems (ICMAS'95). V. R. Lesser and L. Gasser, Eds., The MIT Press, 41-48.
11. CHERRY, C. 1973. Regulative rules and constitutive rules. Philos. Quart. 23, 93, 301-315.
12. CHESANI, F., MELLO, P., MONTALI, M., AND TORRONI, P. 2009. Verifying a-priori the composition of declarative specified services. In Proceedings of the 2nd Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW'09). M. Baldoni, C. Baroglio, J. Bentahar, G. Boella, M. Cossentino, M. Dastani, B. Dunin-Keplicz, G. Fortino, M. P. Gleizes, J. Leite, V. Mascardi, J. A. Padget, J. Pav'on, A. Polleres, A. El Fallah-Seghrouchni, P. Torroni, and R. Verbrugge, Eds., CEUR Workshop Proceedings Series, vol. 494.
13. CHOPRA, A. 2009. Commitment alignment: Semantics, patterns, and decision procedures for distributed computing. Ph.D. thesis, North Carolina State University, Raleigh, NC.
14. CHOPRA, A. K. AND SINGH, M. P. 2006. Contextualizing commitment protocol. In Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06). H. Nakashima, M. P. Wellman, G. Weiss, and P. Stone, Eds., ACM Press, New York, 1345-1352.
15. CHOPRA, A. K. AND SINGH, M. P. 2008. Constitutive interoperability. In Proceedings of the 7th International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS'08). Vol. 2. 797-804.
16. CHOPRA, A. K. AND SINGH, M. P. 2009a. An architecture for multiagent systems: An approach based on commitments. In Proceedings of the AAMAS Workshop on Programming Multiagent Systems (ProMAS'09). L. Braubach, J.-P. Briot, and J. Thangarajah, Eds., Lecture Notes in Artificial Intelligence, vol. 5919, Springer, 148-162.
17. CHOPRA, A. K. AND SINGH, M. P. 2009b. Multiagent commitment alignment. In Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'09). C. Sierra, C. Castelfranchi, K. S. Decker, and J. S. Sichman, Eds., vol. 2. IFAAMAS, 937-944.
18. CLARKE, O. E. M. AND PELED, D. 2001. Model Checking. MIT Press, Cambridge, MA.
19. CONTE, A. G. 1983. Regola Costitutiva, Condizione Antinomia. Edizioni di Comunit 'a, Milano.
20. DASTANI, M., GROSSI, D., MEYER, J. J. C., AND TINNEMEIER, N. A. M. 2008. Normative multi-agent programs and their logics. In Proceedings of the 1st International Workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS'08). J.-J. C. Meyer and J. Broersen, Eds., Lecture Notes in Computer Science, vol. 5605, Springer, 16-31.
21. EL-MENSHAWY, M., BENTAHAR, J., AND DSSOULI, R. 2010. Verifiable semantic model for agent interactions using social commitments. In Proceedings of the Workshop on Languages, Methodologies and Development Tools for Multi-Agent Systems (LADS'09). M. Dastani, A. Seghrouchni El Fallah, J. Leite, and P. Torroni, Eds., Lecture Notes in Computer Science, vol. 6039, Springer, 128-152.
22. EL-MENSHAWY, M., BENTAHAR, J., AND DSSOULI, R. 2011. Symbolic model checking commitment protocols using reduction. In Declarative Agent Languages and Technologies VIII. A. Omicini, S. Sardina, and W. Vasconcelos, Eds., Springer.
23. EMERSON, E. A. 1990. Temporal and Modal Logic. Vol. B, Elsevier.
24. ESTEVA, M., ROSELL, B., RODRIGUEZ-AGUILAR, J. A., AND ARCOS, J. L. 2004. AMELI: An agent-based middleware for electronic institutions. In Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS '04). IEEE Computer Society, 236-243.
25. FIPA MODELING TC. 2007. FIPA agent uml. http://www.auml.org/.
26. FORNARA, N. 2003. Interaction and communication among autonomous agents in multiagent systems. Ph.D. thesis, Universita della Svizzera Italiana, Facolta di Scienze della Comunicazione.
27. FORNARA, N. AND COLOMBETTI, M. 2003. 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'03). ACM Press, New York, 520-527.
28. FORNARA, N. AND COLOMBETTI, M. 2004a. A commitment-based approach to agent communication. Appl. Artif. Intell. 18, 9-10, 853-866.
29. FORNARA, N. AND COLOMBETTI, M. 2004b. Protocol specification using a commitment based acl. In Proceedings of Advances in Agent Communication, International Workshop on Agent Communication Languages (ACL'03). F. Dignum, Ed., Lecture Notes in Computer Science, vol. 2922, Springer, 108-127.
30. FORNARA, N., VIGANO, F., VERDICCHIO, M., AND COLOMBETTI, M. 2008. Artificial institutions: A model of institutional reality for open multiagent systems. Artif. Intell. Law 16, 1, 89-105.
31. FOUNDATION FOR INTELLIGENT PHYSICAL AGENTS. 2002. FIPA contract net interaction protocol specification. Foundation for Intelligent Physical Agents.
32. GIORDANO, L., MARTELLI, A., AND SCHWIND, C. 2007. Specifying and verifying interaction protocols in a temporal action logic. J. Appl. Logic 5, 2, 214-234.
33. GROSSI, D. 2007. Designing invisible handcuffs, formal investigations in institutions and organizations for multi-agent systems. Ph.D. thesis, University of Utrecht.
34. GROSSI, D., ALDEWERELD, H., AND DIGNUM, F. 2007. Ubi lex, ibi poena: Designing norm enforcement in einstitutions. In Proceedings of the AAMAS06Workshop on Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems II (COIN'06). V. Dignum, N. Fornara, P. Noriega, G. Boella, O. Boissier, E. Matson, and J. Vazquez-Salceda, Eds., Lecture Notes in Computer Science, vol. 4386, Springer, 101-114.
35. HUBNER, J. F., BOISSIER, O., AND BORDINI, R. H. 2010. From organisation specification to normative programming in multi-agent organisations. In Proceedings of the 11th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA'10). J. Dix, J. Leite, G. Governatori, andW. Jamroga, Eds., Lecture Notes in Computer Science, vol. 6245, Springer, 117-134.
36. JONES, A. J. I. AND SERGOT, M. 1994. On the Characterization of Law and Computer Systems: The Normative Systems Perspective. John Wiley & Sons, New York, 275-307.
37. JONES, A. J. I. AND SERGOT, M. J. 1996. A formal characterisation of institutionalised power. Logic J. IGPL 4, 3, 429-445.
38. KAFALI, O. AND YOLUM, P. 2009. Detecting exceptions in commitment protocols: Discovering hidden states. In Proceedings of the 2nd Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW' 09). CEUR Workshop Proceedings Series, vol. 494, LA TORRE, M. 2010. Law as Institution. Law and Philosophy Library Series, vol. 90, Springer.
39. LAMPORT, L. 1978. Time, clocks, and the ordering of events in a distributed system. Comm. ACM 21, 7, 558-565.
40. MALLYA, A. U. AND SINGH, M. P. 2006. Introducing preferences into commitment protocols. In Proceedings of the International Workshops on Agent Communication and Agent Communication II (AC'05 and AC'06). F. Dignum, R. M. van Eijk, and R. A. Flores, Eds., Lecture Notes in Computer Science, vol. 3859, Springer, 136-149.
41. MARENGO, E., BALDONI, M., BAROGLIO, C., CHOPRA, A. K., PATTI, V., AND SINGH, M. P. 2011. Commitments with regulations: Reasoning about safety and control in regula. In Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'11).
42. MCBURNEY, P. AND PARSONS, S. 2002. Games that agents play: A formal framework for dialogues between autonomous agents. J. Logic Lang. Inf. 11, 3, 315-334.
43. MILLER, T. AND MCBURNEY, P. 2008. Annotation and matching of first-class agent interaction protocols. In Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'08). Vol. 2, 805-812.
44. MILLER, T. AND MCGINNIS, J. 2008. Amongst first-class protocols. In Proceedings of the 8th International Workshop on Engineering Societies in the Agents World VIII (ESAW'07). Lecture Notes in Computer Science, vol. 4996, Springer, 208-223.
45. MONTALI, M. 2010. Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach. Lecture Notes in Business Information Processing, vol. 56, Springer.
46. MONTALI, M., PESIC, M., VAN DER AALST, W. P., CHESANI, F., MELLO, P., AND STORARI, S. 2010. Declarative specification and verification of service choreographies. ACM Trans. Web 4, 1, 3-62.
47. OMICINI, A., RICCI, A., AND VIROLI, M. 2008. Artifacts in the a&a meta-model for multi-agent systems. J. Auton. Agents Multi-Agent Syst. 17, 3, 432-456.
48. PESIC, M., BOSNACKI, D., AND VAN DER AALST, W. M. P. 2010. Enacting declarative languages using LTL: Avoiding errors and improving performance. In Proceedings of the 17th International SPIN Workshop on Model Checking of Software (SPIN'10). J. van de Pol and M. Weber, Eds., Lecture Notes in Computer Science, vol. 6349, Springer, 146-161.
49. PESIC, M. AND VAN DER AALST, W. M. P. 2006. A declarative approach for flexible business processes management. In Proceedings of the Business Process Management International Workshops (BPM'06). J. Eder and S. Dustdar, Eds., Lecture Notes in Computer Science, vol. 4103, Springer, 169-180.
50. PITT, J., KAMARA, L., SERGOT, M. J., AND ARTIKIS, A. 2006. Voting in multi-agent systems. Comput. J. 49, 2, 156-170.
51. ROBERT, H. M. I., EVANS, W. J., HONEMANN, D. H., AND BALCH, T. J. 2000. Robert's Rules of Order Newly Revised 10th Ed. Da Capo Press, Cambridge, MA.
52. SEARLE, J. 1969. Speech Acts. Cambridge University Press.
53. SEARLE, J. 1995. The Construction of Social Reality. Free Press, New York.
54. SERGOT, M. J. 2007. Action and agency in norm-governed multi-agent systems. In Proceedings of the 8th International Workshop on Engineering Societies in the Agents World VIII (ESAW '07). Lecture Notes in Computer Science, vol. 4996, Springer, 1-54.
55. SINGH, M. P. 1999. An ontology for commitments in multiagent systems. Artif. Intell. Law 7, 1, 97-113.
56. SINGH, M. P. 2000. A social semantics for agent communication languages. In Issues in Agent Communication, F. Dignum and M. Greaves, Eds., Lecture Notes in Computer Science, vol. 1916, Springer, 31-45.
57. SINGH, M. P. 2003. Distributed enactment of multiagent workflows: Temporal logic for web service composition. In Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'03). ACM Press, New York, 907-914.
58. SINGH, M. P. 2008. Semantical considerations on dialectical and practical commitments. In Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI'08). D. Fox and C. P. Gomes, Eds., AAAI Press, Chicago, 176-181.
59. SINGH, M. P. 2010. Community standards for agent communication. http://www.csc.ncsu.edu/faculty/mpsingh/ papers/drafts/Singh-AC-Manifesto.pdf.
60. SINGH, M. P. AND CHOPRA, A. K. 2010. Correctness properties for multiagent systems. In Proceedings of the 7th International Workshop on Declarative Agent Languages and Technologies VII (DALT'09). Lecture Notes in Computer Science, vol. 5948, Springer, 192-207.
61. TORRONI, P., CHESANI, F., MELLO, P., AND MONTALI, M. 2010. Social commitments in time: Satisfied or compensated. In Proceedings of the 7th InternationalWorkshop on Declarative Agent Languages and Technologies VII (DALT '09). Lecture Notes in Computer Science, vol. 5948, Springer, 228-243.
62. VAN DER AALST, W. M. P., DUMAS, M., TER HOFSTEDE, A. H. M., RUSSELL, N., VERBEEK, H. M. W., AND WOHED, P. 2005. Life after BPEL? In Proceedings of the Formal Techniques for Computer Systems and Business Processes, European Performance EngineeringWorkshop (EPEW'05) and InternationalWorkshop onWeb Services and Formal Methods (WS-FM'05). M. Bravetti, L. Kloul, and G. Zavattaro, Eds., Lecture Notes in Computer Science, vol. 3670, Springer, 35-50.
63. WINIKOFF, M., LIU, W., AND HARLAND, J. 2005. Enhancing commitment machines. In Proceedings of the 2nd International Workshop on Declarative Agent Languages and Technologies II (DALT'04). J. A. Leite, A. Omicini, P. Torroni, and P. Yolum, Eds., Lecture Notes in Computer Science, vol. 3476, Springer, 198-220.
64. YOLUM, P. AND SINGH, M. P. 2001. Designing and executing protocols using the event calculus. In Proceedings of the 5th International Conference on Autonomous Agents. ACM Press, New York, 27-28.
65. YOLUM, P. AND SINGH, M. P. 2002. Commitment machines. In Proceedings of the 8th International Workshop on Intelligent Agents VIII (ATAL'01). J.-J. C. Meyer and M. Tambe, Eds., Lecture Notes in Computer Science, vol. 2333, Springer, 235-247.