Skip to main content
Log in

Muon: designing multiagent communication protocols from interaction scenarios

Autonomous Agents and Multi-Agent Systems Aims and scope Submit manuscript

Abstract

Designing a suitable communication protocol is a key challenge in engineering a multiagent system. This paper proposes Muon, an approach that begins from representative samples of interactions or scenarios. Muon identifies key semantic structures and patterns based on (social) commitments to formally analyze the scenarios and offers a methodology for designing protocols that would meet stakeholder needs. Interestingly, Muon applies its formal representations to suggest ways to identify additional scenarios needed to address exceptions arising in the interactions. This paper contributes (1) a conceptual model of message types and causal relationships among them as a foundation for developing commitment-based communication protocols; (2) a robust, reusable characterization of semantic structures reflecting the above model; (3) a mapping from an annotated scenario to causally related interactions; and (4) a methodology to synthesize specifications of communication protocols. This paper reports on an empirical evaluation involving developers creating protocols from two real-life cases.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12

Similar content being viewed by others

References

  1. Álvarez-Napagao, S., Cliffe, O., Padget, J. A., & Vázquez-Salceda, J. (2009). Norms, organisations and semantic web services: The ALIVE approach. In: Proceedings of the 2nd multi-agent logics, languages, and organisations (MALLOW) (Vol. 494 of CEUR). CEUR-WS.org, Torino.

  2. Artikis, A., Sergot, M. J., & Pitt, J. V. (2009). Specifying norm-governed computational societies. ACM Transactions on Computational Logic, 10(1), 1:1–1:42.

  3. ASPE. (2010). The importance of radiology and pathology communication in the diagnosis and staging of cancer: Mammography as a case study. Office of the Assistant Secretary for Planning and Evaluation, U.S. Department of Health and Human Services; available at http://aspe.hhs.gov/sp/reports/2010/PathRad/index.shtml

  4. Baldoni, M., Baroglio, C., Marengo, E., Patti, V., & Capuzzimati, F. (2014). Engineering commitment-based business protocols with 2CL methodology. Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS), 28(4), 519–557.

  5. Beck, K., & Cunningham, W. (1989). A laboratory for teaching object-oriented thinking. Proceedings of the 4th conference on object-oriented programming systems, languages, and applications (OOPSLA) (pp. 1–6). New Orleans: ACM.

  6. Browne, S., & Kellett, M. (1999). Insurance (motor damage claims) scenario. Document D1.a, CrossFlow Consortium.

  7. Carabelea, C., & Boissier, O. (2006). Coordinating agents in organizations using social commitments. Electronic Notes in Theoretical Computer Science, 150(3), 73–91.

    Article  Google Scholar 

  8. Chesani, F., Mello, P., Montali, M., & Torroni, P. (2009). Commitment tracking via the reactive event calculus. Proceedings of the 21st international joint conference on artificial intelligence (IJCAI) (pp. 91–96). Pasadena, CA: IJCAI.

  9. Chopra, A., & Singh, M. P. (2004). Nonmonotonic commitment machines. In: Dignum, F. (Ed.), Advances in agent communication: Proceedings of the 2003 AAMAS workshop on agent communication languages (pp. 183–200, Vol. 2922 of LNAI). Springer.

  10. Chopra, A. K., & Singh, M. P. (2011). Specifying and applying commitment-based business patterns. Proceedings of the 10th international conference on autonomous agents and multiagent systems (AAMAS) (pp. 475–482). Taipei: IFAAMAS.

  11. Desai, N., Chopra, A. K., Arrott, M., Specht, B., & Singh, M. P. (2007a). Engineering foreign exchange processes via commitmentprotocols. Proceedings of the 4th IEEE international conferenceon services computing (SCC) (pp. 514–521). Salt Lake City: Application and Industry Track. IEEEComputer Society.

  12. Desai, N., Chopra, A. K., & Singh, M. P. (2007b). Representing and reasoning about commitments in business processes. Proceedings of the 22nd conference on artificial intelligence (AAAI) (pp. 1328–1333). Vancouver: AAAI Press.

  13. Desai, N., Chopra, A. K., & Singh, M. P. (2009). Amoeba: A methodology for modeling and evolving cross-organizational business processes. ACM Transactions on Software Engineering and Methodology (TOSEM), 19(2), 6:1–6:45.

  14. Desai, N., Mallya, A. U., Chopra, A. K., & Singh, M. P. (2005). Interaction protocols as design abstractions for business processes. IEEE Transactions on Software Engineering, 31(12), 1015–1027.

    Article  Google Scholar 

  15. Dignum, V., Vázquez-Salceda, J., & Dignum, F. (2005). OMNI: Introducing social structure, norms and ontologies into agent organizations. In: Programming multi-agent systems (pp. 181–198, Vol. 3346 of, Lecture Notes in Computer Science).

  16. El Menshawy, M., Bentahar, J., Kholy, W. E., & Dssouli, R. (2013). Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*. Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS), 27(3), 375–418.

    Article  Google Scholar 

  17. Filippidou, D. (1998). Designing with scenarios: A critical review of current research and practice. Requirements Engineering, 2(1), 1–22.

    Article  Google Scholar 

  18. Flores, R. A., Kremer, R. C. (2004). A principled modular approach to construct flexible conversation protocols. In: Proceedings of the 17th Canadian conference on artificial intelligence (pp. 1–15, Vol. 3060 of LNCS). London, ON: Springer.

  19. Flores, R. A., Pasquier, P., & Chaib-draa, B. (2007). Conversational semantics sustained by commitments. Autonomous Agents and Multi-Agent Systems, 14(2), 165–186.

    Article  Google Scholar 

  20. Fornara, N., & Colombetti, M. (2003). Defining interaction protocols using a commitment-based agent communication language. Proceedings of the 2nd international joint conference on autonomous agents and multiagent systems (AAMAS) (pp. 520–527). Melbourne: ACM Press.

  21. Fornara, N., & Colombetti, M. (2009). Specifying and enforcing norms in artificial institutions. In: Declarative agent languages and technologies VI, revised selected and invited papers (pp. 1–17, Vol. 5397 of LNCS). Berlin: Springer.

  22. Gamma, E., Helm, R., Johnson, R., & Vlissides, J. (1995). Design patterns: Elements of reusable object-oriented software. Professional computing series. Reading, MA: Addison-Wesley.

    Google Scholar 

  23. Grosof, B. N., & Poon, T. C. (2003). SweetDeal: Representing agent contracts with exceptions using XML rules, ontologies, and process descriptions. In: Proceedings of the 12th international conference on the, World Wide Web (pp. 340–349).

  24. Günay, A., Winikoff, M., & Yolum, P. (2012). Commitment protocol generation. In: Proceedings of the 10th AAMAS workshop on declarative agent languages and technologies (DALT) (pp. 51–66).

  25. ISO/HL7. (2009). Data exchange standards–Health Level Seven version 2.5: An application protocol for electronic data exchange in healthcare environments. TC 215’s ISO/HL7 27931 http://www.iso.org/iso/catalogue_detail.htm?csnumber=44428

  26. Kalia, A. K., Nezhad, H. R. M., Bartolini, C., & Singh, M. P. (2013). Monitoring commitments in people-driven service engagements. Proceedings of the 10th IEEE international conference on services computing (SCC) (pp. 160–167). Santa Clara, CA: IEEE Computer Society.

  27. Malone, T. W., Crowston, K., & Herman, G. A. (Eds.). (2003). Organizing business knowledge: The MIT process handbook. Cambridge, MA: MIT Press.

    Google Scholar 

  28. Object Management Group. (2004). UML 2.0 Superstructure specification. Framingham, Massachusetts, http://www.omg.org/spec/UML/2.0/Superstructure/PDF/.

  29. Odell, J., Parunak, H. V. D., & Bauer, B. (2001). Representing agent interaction protocols in UML. In: Proceedings of the 1st international workshop on agent-oriented software engineering (AOSE 2000) (pp. 121–140, Vol. 1957 of LNCS). Toronto: Springer.

  30. OMG. (2010). Business process model and notation (BPMN), version 2.0 beta. Object Management Group. http://bpmn.org/

  31. Oracle. (2009). Automating the Quote-to-Cash process. http://www.oracle.com/us/industries/045546.

  32. Parunak, H. V. D. (1996). Visualizing agent conversations: Using enhanced Dooley graphs for agent design and analysis. Proceedings of the 2nd international conference on multiagent systems (pp. 275–282). Kyoto: AAAI Press.

  33. Qumer, A., & Henderson-Sellers, B. (2008). An evaluation of the degree of agility in six agile methods and its applicability for method engineering. Information and Software Technology, 50(4), 280–295.

    Article  Google Scholar 

  34. Robinson, W. N., & Purao, S. (2009). Specifying and monitoring interactions and commitments in open business processes. IEEE Software, 26(2), 72–79.

    Article  Google Scholar 

  35. RosettaNet. (2009). Home page. http://www.rosettanet.org

  36. Serenko, A., & Turel, O. (2010). Rigor and relevance: The application of the critical incident technique to investigate email usage. Journal of Organizational Computing and Electronic Commerce, 20(2), 182–207.

    Article  Google Scholar 

  37. Singh, M. P. (1999). An ontology for commitments in multiagent systems: Toward a unification of normative concepts. Artificial Intelligence and Law, 7(1), 97–113.

    Article  Google Scholar 

  38. Singh, M. P. (2000). Synthesizing coordination requirements for heterogeneous autonomous agents. Autonomous Agents and Multi-Agent Systems, 3(2), 107–132.

    Article  Google Scholar 

  39. Singh, M. P. (2008). Semantical considerations on dialectical and practical commitments. Proceedings of the 23rd conference on artificial intelligence (AAAI) (pp. 176–181). Chicago: AAAI Press.

  40. Singh, M. P. (2012). Commitments in multiagent systems: Some history, some confusions, some controversies, some prospects. In: Paglieri, F., Tummolini, L., Falcone, R., Miceli, M. (Eds.), The goals of cognition: Essays in honor of cristiano castelfranchi (Ch. 32, pp. 613–638). London: College Publications. Available at http://www.csc.ncsu.edu/faculty/mpsingh/papers

  41. Singh, M. P., Chopra, A. K., & Desai, N. (2009). Commitment-based service-oriented architecture. IEEE Computer, 42(11), 72–79.

    Article  Google Scholar 

  42. Telang, P. R., & Singh, M. P. (2012). Specifying and verifying cross-organizational business models: An agent-oriented approach. IEEE Transactions on Services Computing, 5(3), 305–318. Appendix pages 1–5.

    Article  Google Scholar 

  43. TWIST. (2008). Transaction workflow innovation standards team. http://www.twiststandards.org

  44. van der Aalst, W. M. P., ter Hofstede, A. H. M., Kiepuszewski, B., & Barros, A. P. (2003). Workflow patterns. Distributed and Parallel Databases, 14(1), 5–51.

    Article  Google Scholar 

  45. Verdicchio, M., & Colombetti, M. (2003). A logical model of social commitment for agent communication. Proceedings of the 2nd international joint conference on autonomous agents and multiagent systems (AAMAS) (pp. 528–535). Melbourne: ACM Press.

  46. Wan, F., & Singh, M. P. (2003). Commitments and causality for multiagent design. Proceedings of the 2nd international joint conference on autonomous agents and multiagent systems (AAMAS) (pp. 749–756). Melbourne: ACM Press.

  47. Winikoff, M. (2006). Designing commitment-based agent interactions. In: ıProceedings of the IEEE/WIC/ACM international conference on intelligent agent technology (pp. 363–370). Hong Kong.

  48. Yolum, P., & Singh, M. P. (2002a). Commitment machines. In: Proceedings of the 8th international workshop on agent theories, architectures, and languages (ATAL 2001) (pp. 235–247, Vol. 2333 of LNAI). Seattle: Springer.

  49. Yolum, P., & Singh, M. P. (2002b). Flexible protocol specification and execution: Applying event calculus planning using commitments. Proceedings of the 1st international joint conference on autonomous agents and multiagent systems (AAMAS) (pp. 527–534). Bologna: ACM Press.

  50. Yolum, P., & Singh, M. P. (2004). Reasoning about commitments in the event calculus: An approach for specifying and executing protocols. Annals of Mathematics and Artificial Intelligence, 42(1–3), 227–253.

    Article  MATH  MathSciNet  Google Scholar 

Download references

Acknowledgments

Special thanks to Ashok Mallya for early discussions that led to this work. Thanks to Amit Chopra, Nirmit Desai, Jon Doyle, Scott Gerard, Emerson Murphy-Hill, Pankaj Telang, and the anonymous reviewers for helpful comments. This work was partially supported by the NSF under Grant 0910868 and by the U.S. Army Research Office (ARO) under Grant W911NF-08-1-0105 managed by the NCSU Secure Open Systems Initiative.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Anup K. Kalia.

Appendices

Appendix 1: A complete scenario

Step M4 yields a complete scenario containing the happy path and exception scenarios. Table 6 shows this complete scenario.

Table 6 A complete scenario for the AGFIL case

Appendix 2: Empirical study details

1.1 The ASPE breast cancer diagnosis case

We provided the following passage to study subjects.

A patient (P) finds symptoms of breast cancer and reports a primary care physician (PCP). If the patient is new, PCP immediately starts examining the patient or else he collects the history of the patient before the examination. PCP thoroughly examine the breasts for lumps or suspicious areas. He then sends the patient to a radiologist (R) for a mammography or imaging. R performs a diagnostic imaging and reports the results to PCP. PCP reviews the results. If PCP finds P’s condition not worrisome, then he asks P to visit just for an yearly checkup. If PCP finds the P’s tumor benign, then he asks her to come back after four to six months. If PCP finds the tumor suspicious then he orders R for a biopsy. R performs a biopsy and forwards the tissue specimens to a pathologist (PT). PT accesses the specimen and conducts several laboratory examinations to determine the nature of the cancer and comes up with a report. PT then holds a conference with R and ensures their results are concordant. R then forwards the integrated reports produced by him and P to PCP. The registrar (RG) registers the patient under a breast cancer registry. PCP checks the integrated report. If the tissue sample is benign, the tumor is removed by a surgeon (S). If the sample is malignant, PCP discusses the treatment steps with P. P pays PCP for the checkup, imaging, and biopsy. PCP pays R for imaging and biopsy. R pays PT for preparing the biopsy report (Tables 7, 8, 9, 10, 11).

1.2 AGFIL automobile insurance case

We provided the following passage to study subjects.

AGF Irish Life Holdings (AG) is an insurer and covers the losses incurred by policy holders. John Doe (JD) is a policy holder. AG creates a policy with JD such that if JD pays the premium, AG will insure his car. JD pays the premium and gets his car insured. AG requests Europ Assist (EA) to receive claims from policy holders to which EA agrees. AG pays EA for receiving the claims. When JD meets with a car accident, he requests for a claim to EA. EA asks JD to take his car to a mechanic (M) and reports AG about the claim made by JD. AG hires Lee CS (LCS) for handling the claims made by JD. LCS offers M to pay if M estimates the repair costs for the JD’s car. When M provides the estimates, LCS verifies it. If the estimates are reasonable, he offers M to repair the car. When M repairs the car, LCS delegates the payment to AG. AG pays M for the repair and informs JD. JD gets his repaired car from M. AG pays EA for receiving the claims (Tables 12, 13, 14, 15).

1.3 Scenarios for the ASPE case

We provided the following happy path and exception scenarios to study subjects (Tables 16, 17, 18).

Table 7 The breast cancer case (happy path I)
Table 8 The breast cancer case (exceptions I)
Table 9 The breast cancer case (happy path II)
Table 10 The breast cancer case (exceptions II)

1.4 Scenarios for the AGFIL Case

We provided the following happy path and exception scenarios to study subjects (Tables 19, 20).

Table 11 The breast cancer case (happy path III)
Table 12 The breast cancer case (exceptions III)
Table 13 The breast cancer case (happy path IV)
Table 14 The breast cancer case (exceptions IV)
Table 15 I: A successful scenario for the AGFIL example
Table 16 I: A scenario of exceptions for the AGFIL example
Table 17 II: A successful scenario for the AGFIL example
Table 18 II: A scenario of exceptions for the AGFIL example
Table 19 III: A successful scenario for the AGFIL example
Table 20 III: A scenario of exceptions for the AGFIL example

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Kalia, A.K., Singh, M.P. Muon: designing multiagent communication protocols from interaction scenarios. Auton Agent Multi-Agent Syst 29, 621–657 (2015). https://doi.org/10.1007/s10458-014-9264-2

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10458-014-9264-2

Keywords

Navigation