Skip to main content
SpringerLink
Log in

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

  • Chapter
  • First Online:
Intelligent Distributed Computing XI (IDC 2017)

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

Included in the following conference series:

Abstract

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.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    http://www.fipa.org/.

  2. 2.

    http://www.eclipse.org/ide.

  3. 3.

    http://river.apache.org.

  4. 4.

    http://bitbucket.org/gciatto/respectx.

  5. 5.

    http://eclipse.org/Xtext/.

References

  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

    Article  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). http://ieeexplore.ieee.org/document/5211924/

  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

    Article  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). http://ceur-ws.org/Vol-1664/w16.pdf

  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

    Article  MathSciNet  Google Scholar 

  28. Viroli, M., Omicini, A.: Coordination as a service. Fundam. Inform. 73(4), 507–534 (2006). http://content.iospress.com/articles/fundamenta-informaticae/fi73-4-04

  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

  1. DISI—Università di Bologna, Bologna, Italy

    Giovanni Ciatto & Andrea Omicini

  2. DISMI—Università degli Studi di Modena e Reggio Emilia, Reggio Emilia, Italy

    Stefano Mariani

Authors
  1. Giovanni Ciatto
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stefano Mariani
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Andrea Omicini
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Stefano Mariani .

Editor information

Editors and Affiliations

  1. Department of Mathematics and Informatics, Faculty of Sciences, University of Novi Sad, Novi Sad, Serbia

    Mirjana Ivanović

  2. Faculty of Automatics, Computer Science and Electronics, University of Craiova, Craiova, Romania

    Costin Bădică

  3. Institut für Informatik, Technische Universität Clausthal, Clausthal-Zellerfeld, Germany

    Jürgen Dix

  4. School of Electrical Engineering, University of Belgrade, Belgrade, Serbia

    Zoran Jovanović

  5. Dipartimento di Ingegneria Elettrica, Elettronica e Informatica, Universita degli Studi di Catania, Catania, Italy

    Michele Malgeri

  6. Department of Mathematics and Informatics, Faculty of Sciences, University of Novi Sad, Novi Sad, Serbia

    Miloš Savić

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. https://doi.org/10.1007/978-3-319-66379-1_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-66379-1_9

  • Published:

  • Publisher Name: Springer, Cham

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

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

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation