Skip to main content

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}\)

This is a preview of subscription content, access via your institution.

Buying options

USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-319-66379-1_9
  • Chapter length: 13 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
USD   139.00
Price excludes VAT (USA)
  • ISBN: 978-3-319-66379-1
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   179.99
Price excludes VAT (USA)
Hardcover Book
USD   179.99
Price excludes VAT (USA)


  1. 1.

  2. 2.

  3. 3.

  4. 4.

  5. 5.


  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. 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. Bellifemine, F.L., Caire, G., Greenwood, D.: Developing Multi-agent Systems with JADE. Wiley, Feb (2007)

    Google Scholar 

  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. 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

    CrossRef  Google Scholar 

  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. 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. 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. 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. 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. 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. 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. 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. 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. Freeman, E., Arnold, K., Hupfer, S.: JavaSpaces Principles, Patterns, and Practice, 1st edn. Addison-Wesley Longman Ltd., Essex, UK (1999)

    Google Scholar 

  16. Gelernter, D.: Generative communication in Linda. ACM Trans. Program. Lang. Syst. 7(1), 80–112 (1985). doi:10.1145/2363.2433

  17. Gelernter, D., Carriero, N.: Coordination languages and their significance. Commun. ACM 35(2), 96–107 (1992). doi:10.1145/129630.376083

  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

    CrossRef  Google Scholar 

  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. 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. 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. 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. 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. 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. 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. 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. 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

    CrossRef  MathSciNet  Google Scholar 

  28. Viroli, M., Omicini, A.: Coordination as a service. Fundam. Inform. 73(4), 507–534 (2006).

  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. 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

Download references

Author information

Authors and Affiliations


Corresponding author

Correspondence to Stefano Mariani .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2018 Springer International Publishing AG

About this chapter

Cite this chapter

Ciatto, G., Mariani, S., Omicini, A. (2018). Programming the Interaction Space Effectively with \(\texttt {ReSpecT}\mathbb {X}\) . In: Ivanović, M., Bădică, C., Dix, J., Jovanović, Z., Malgeri, M., Savić, M. (eds) Intelligent Distributed Computing XI. IDC 2017. Studies in Computational Intelligence, vol 737. Springer, Cham.

Download citation

  • DOI:

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-66378-4

  • Online ISBN: 978-3-319-66379-1

  • eBook Packages: EngineeringEngineering (R0)