Advertisement

Stellar: A Programming Model for Developing Protocol-Compliant Agents

  • Akın Günay
  • Amit K. ChopraEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11375)

Abstract

An interaction protocol captures the rules of encounter in a multiagent system. Development of agents that comply with protocols is a central challenge of multiagent systems. Our contribution in this chapter is a programming model, Stellar, that simplifies development of agents compliant with information protocols specified in BSPL. A significant distinction of Stellar from similar approaches is that it does not rely upon extracting control flow structures from protocol specifications to ensure compliance. Instead, Stellar provides a set of fundamental operations to programmers for producing viable messages according to the correct flow of information between agents as specified by a protocol, enabling flexible design and implementation of protocol-compliant agents. Our main contributions are: (1) identification of a set of programming errors that commonly occur when developing agents for protocol-based multiagent system, (2) definition of Stellar’s operations and a simple yet effective pattern to develop protocol-compliant agents that avoid the identified errors, and (3) demonstration of Stellar’s effectiveness by presenting concrete agents in e-commerce and insurance policy domains.

Notes

Acknowledgments

Munindar P. Singh and Thomas C. King gave valuable suggestions that helped improve this chapter. Akın Günay and Amit Chopra were supported by the EPSRC grant EP/N027965/1 (Turtles).

References

  1. 1.
    Akka: 2.5.6 (2017). http://akka.io
  2. 2.
    Bainomugisha, E., Carreton, A.L., van Cutsem, T., Mostinckx, S., de Meuter, W.: A survey on reactive programming. ACM Comput. Surv. 45(4), 52:1–52:34 (2013)CrossRefGoogle Scholar
  3. 3.
    Chopra, A.K., Christie V., S.H., Singh, M.P.: Splee: a declarative information-based language for multiagent interaction protocols. In: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, pp. 1054–1063 (2017)Google Scholar
  4. 4.
    Hewitt, C., Bishop, P., Steiger, R.: A universal modular actor formalism for artificial intelligence. In: Proceedings of the 3rd International Joint Conference on Artificial Intelligence, IJCAI 1973, pp. 235–245. Morgan Kaufmann Publishers Inc., San Francisco (1973)Google Scholar
  5. 5.
    Hu, R., Yoshida, N.: Hybrid session verification through endpoint API generation. In: Stevens, P., Wąsowski, A. (eds.) FASE 2016. LNCS, vol. 9633, pp. 401–418. Springer, Heidelberg (2016).  https://doi.org/10.1007/978-3-662-49665-7_24CrossRefGoogle Scholar
  6. 6.
    Hull, R., Narendra, N.C., Nigam, A.: Facilitating workflow interoperation using artifact-centric hubs. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC/ServiceWave -2009. LNCS, vol. 5900, pp. 1–18. Springer, Heidelberg (2009).  https://doi.org/10.1007/978-3-642-10383-4_1CrossRefGoogle Scholar
  7. 7.
    Ladkin, P.B., Leue, S.: Interpreting message flow graphs. Formal Aspects Comput. 7(5), 473–509 (1995)CrossRefGoogle Scholar
  8. 8.
    Milicevic, A., Jackson, D., Gligoric, M., Marinov, D.: Model-based, event-driven programming paradigm for interactive web applications. In: Proceedings of the 2013 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2013, pp. 17–36. ACM, New York (2013)Google Scholar
  9. 9.
    Nigam, A., Caswell, N.S.: Business artifacts: an approach to operational specification. IBM Syst. J. 42(3), 428–445 (2003)CrossRefGoogle Scholar
  10. 10.
    Ouyang, C., Dumas, M., van der Aalst, W.M.P., Hofstede, A.H.M., Mendling, J.: From business process models to process-oriented software systems. ACM Trans. Softw. Eng. Methodol. 19(1), 2:1–2:37 (2009)CrossRefGoogle Scholar
  11. 11.
    Singh, M.P.: Information-driven interaction-oriented programming: BSPL, the Blindingly Simple Protocol Language. In: Proceedings of the 10th International Conference on Autonomous Agents and MultiAgent Systems, pp. 491–498 (2011)Google Scholar
  12. 12.
    Singh, M.P.: Semantics and verification of information-based protocols. In: Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems, pp. 1149–1156 (2012)Google Scholar
  13. 13.
    Singh, M.P.: Bliss: specifying declarative service protocols. In: Proceedings of the 2014 IEEE International Conference on Services Computing, pp. 235–242 (2014)Google Scholar
  14. 14.
    Winikoff, M., Yadav, N., Padgham, L.: A new hierarchical agent protocol notation. Auton. Agents Multi-Agent Syst. 32(1), 59–133 (2018)CrossRefGoogle Scholar
  15. 15.
    Yoshida, N., Hu, R., Neykova, R., Ng, N.: The Scribble protocol language. In: Abadi, M., Lluch Lafuente, A. (eds.) TGC 2013. LNCS, vol. 8358, pp. 22–41. Springer, Cham (2014).  https://doi.org/10.1007/978-3-319-05119-2_3CrossRefGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.Lancaster UniversityLancasterUK

Personalised recommendations