Programming the Interaction Space Effectively with \(\texttt {ReSpecT}\mathbb {X}\)

Part of the Studies in Computational Intelligence book series (SCI, volume 737)


The lack of a suitable toolchain for programming the interaction space with coordination languages hinders their adoption in the industry, and limits their application as core calculus, proof-of-concept frameworks, or rapid prototyping/simulation environments. In this paper we present the \(\texttt {ReSpecT}\mathbb {X}\) language and toolchain as a first step toward closing the gap, by equipping a core coordination language (ReSpecT) with tools and features commonly found in mainstream programming languages, improving likelihood of adoption in real-world scenarios.


Coordination Multi-agent systems Tools TuCSoN \(\texttt {ReSpecT}\mathbb {X}\) 


  1. 1.
    Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14(3), 329–366 (2004). doi: 10.1017/S0960129504004153
  2. 2.
    Arbab, F., Koehler, C., Maraikar, Z., Moon, Y.J., Proença, J.: Modeling, testing and executing Reo connectors with the Eclipse coordination tools. In: International Workshop on Formal Aspects of Component Software (FACS 2008) (Sep, 2008)Google Scholar
  3. 3.
    Bellifemine, F.L., Caire, G., Greenwood, D.: Developing Multi-agent Systems with JADE. Wiley, Feb (2007)Google Scholar
  4. 4.
    Bettini, L., De Nicola, R., Pugliese, R.: Klava: a Java package for distributed and mobile applications. Softw. Pract. Exp. 32(14), 1365–1394 (2002). doi: 10.1002/spe.486
  5. 5.
    Bettini, L., Nicola, R.D., Pugliese, R.: X-Klaim and Klava. Electron. Notes Theor. Comput. Sci. 62, 24–37 (2002). doi: 10.1016/S1571-0661(04)00317-2 CrossRefGoogle Scholar
  6. 6.
    Bordini, R.H., Hübner, J.F., Wooldridge, M.J.: Programming Multi-Agent Systems in AgentSpeak using Jason. Wiley, Oct (2007)Google Scholar
  7. 7.
    Bos, B., Chmielewski, L., Hoepman, J.H., Nguyen, T.S.: Remote management and secure application development for pervasive home systems using Jason. In: 3rd International Workshop on Security, Privacy and Trust in Pervasive and Ubiquitous Computing (SecPerU 2007), pp. 7–12. Jul (2007). doi: 10.1109/SECPERU.2007.9
  8. 8.
    Castanedo, F., Patricio, M.A., García, J., Molina, J.M.: Extending surveillance systems capabilities using BDI cooperative sensor agents. In: 4th ACM International Workshop on Video Surveillance and Sensor Networks (VSSN ’06), pp. 131–138. ACM (2006). doi: 10.1145/1178782.1178802
  9. 9.
    Ceriotti, M., Mottola, L., Picco, G.P., Murphy, A.L., Guna, S., Corra, M., Pozzi, M., Zonta, D., Zanon, P.: Monitoring heritage buildings with wireless sensor networks: the Torre Aquila deployment. In: 2009 International Conference on Information Processing in Sensor Networks (IPSN 2009), pp. 277–288. IEEE Computer Society (2009).
  10. 10.
    De Nicola, R., Ferrari, G., Pugliese, R.: KLAIM: a kernel language for agent interaction and mobility. IEEE Trans. Softw. Eng. 24(5), 315–330 (1998). doi: 10.1109/32.685256
  11. 11.
    Denti, E., Calegari, R.: Butler-ising homemanager: a pervasive multi-agent system for home intelligence. In: 7th International Conference on Agents and Artificial Intelligence (ICAART 2015), pp. 249–256. (10–12 Jan 2015). doi: 10.5220/0005284002490256
  12. 12.
    Denti, E., Natali, A., Omicini, A.: On the expressive power of a language for programming coordination media. In: 1998 ACM Symposium on Applied Computing (SAC’98), pp. 169–177. ACM (27 Feb–1 Mar 1998). doi: 10.1145/330560.330665
  13. 13.
    Dubovitskaya, A., Urovi, V., Barba, I., Aberer, K., Schumacher, M.I.: A multiagent system for dynamic data aggregation in medical research. BioMed. Res. Int. (2016). doi: 10.1155/2016/9027457
  14. 14.
    Fernandez-Marquez, J., Marzo Serugendo, G., Montagna, S., Viroli, M., Arcos, J.: Description and composition of bio-inspired design patterns: a complete overview. Nat. Comput. 12(1), 43–67 (2013). doi: 10.1007/s11047-012-9324-y
  15. 15.
    Freeman, E., Arnold, K., Hupfer, S.: JavaSpaces Principles, Patterns, and Practice, 1st edn. Addison-Wesley Longman Ltd., Essex, UK (1999)Google Scholar
  16. 16.
    Gelernter, D.: Generative communication in Linda. ACM Trans. Program. Lang. Syst. 7(1), 80–112 (1985). doi: 10.1145/2363.2433
  17. 17.
    Gelernter, D., Carriero, N.: Coordination languages and their significance. Commun. ACM 35(2), 96–107 (1992). doi: 10.1145/129630.376083
  18. 18.
    González Pérez, P.P., Omicini, A., Sbaraglia, M.: A biochemically-inspired coordination-based model for simulating intracellular signalling pathways. J. Simul. 7(3), 216–226 (2013). doi: 10.1057/jos.2012.28 CrossRefGoogle Scholar
  19. 19.
    Mariani, S., Omicini, A.: multi-paradigm coordination for MAS: integrating heterogeneous coordination approaches in MAS technologies. In: WOA 2016—17th Workshop “From Objects to Agents”. CEUR Workshop Proceedings, vol. 1664, pp. 91–99. (29–30 Jul 2016).
  20. 20.
    Omicini, A.: Formal ReSpecT in the A&A perspective. Electron. Notes Theor. Comput. Sci. 175(2), 97–117 (2007). doi: 10.1016/j.entcs.2007.03.006
  21. 21.
    Omicini, A., Denti, E.: From tuple spaces to tuple centres. Sci. Comput. Program. 41(3), 277–294 (2001). doi: 10.1016/S0167-6423(01)00011-9
  22. 22.
    Omicini, A., Viroli, M.: Coordination models and languages: from parallel computing to self-organisation. Knowl. Eng. Rev. 26(1), 53–59 (2011). doi: 10.1017/S026988891000041X
  23. 23.
    Omicini, A., Zambonelli, F.: Coordination for Internet application development. Auton. Ag. Multi-Agent Syst. 2(3), 251–269 (1999). doi: 10.1023/A:1010060322135
  24. 24.
    Picco, G.P., Murphy, A.L., Roman, G.C.: LIME: Linda meets mobility. In: 21st International Conference on Software Engineering (ICSE ’99), pp. 368–377. ACM Press (16–22 May 1999). doi: 10.1145/302405.302659
  25. 25.
    Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: a BDI reasoning engine. In: Multi-Agent Programming: Languages, Platforms and Applications, pp. 149–174. Springer US (2005). doi: 10.1007/0-387-26350-0_6
  26. 26.
    Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Agents Breaking Away, Springer (1996). doi: 10.1007/BFb0031845
  27. 27.
    Su, C.J., Wu, C.Y.: Jade implemented mobile multi-agent based, distributed information platform for pervasive health care monitoring. Appl. Soft Comput. 11(1), 315–325 (2011). doi: 10.1016/j.asoc.2009.11.022 MathSciNetCrossRefGoogle Scholar
  28. 28.
    Viroli, M., Omicini, A.: Coordination as a service. Fundam. Inform. 73(4), 507–534 (2006).
  29. 29.
    Wallis, P., Ronnquist, R., Jarvis, D., Lucas, A.: The automated wingman—using JACK intelligent agents for unmanned autonomous vehicles. In: 2002 IEEE Aerospace Conference, vol. 5, pp. 2615–2622 (2002). doi: 10.1109/AERO.2002.1035444
  30. 30.
    Winikoff, M.: Jack™ intelligent agents: an industrial strength platform. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications, pp. 175–193. Springer, US (2005). doi: 10.1007/0-387-26350-0_7

Copyright information

© Springer International Publishing AG 2018

Authors and Affiliations

  • Giovanni Ciatto
    • 1
  • Stefano Mariani
    • 2
  • Andrea Omicini
    • 1
  1. 1.DISI—Università di BolognaBolognaItaly
  2. 2.DISMI—Università degli Studi di Modena e Reggio EmiliaReggio EmiliaItaly

Personalised recommendations