Skip to main content
Springer Nature Link
Log in

A Description of the Jadescript Type System

  • Conference paper
  • First Online:
Distributed Artificial Intelligence (DAI 2021)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 13170))

Included in the following conference series:

Abstract

Jadescript is an agent-oriented programming language that benefits from JADE, the popular framework to develop multi-agent systems in Java. The major goal behind the introduction of Jadescript is to simplify the implementation of real-world multi-agent systems by devising a language with specific linguistic constructs for agent-oriented abstractions. However, Jadescript needs to be coherent and consistent across its several features to effectively achieve its goals. This paper discusses some of the most relevant decisions taken during the design of Jadescript by means of an informal description of its type system. The discussed type system includes ordinary types, as found in many other programming languages, but it also includes a few types that are needed to adequately support relevant agent-oriented abstractions.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Bellifemine, F., Bergenti, F., Caire, G., Poggi, A.: Jade — a Java agent development framework. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) Multi-Agent Programming. MSASSO, vol. 15, pp. 125–147. Springer, Boston, MA (2005). https://doi.org/10.1007/0-387-26350-0_5

    Chapter  Google Scholar 

  2. Bellifemine, F., Caire, G.: Dominic Greenwood. Developing Multi-Agent Systems with JADE. Wiley Series in Agent Technology. John Wiley & Sons, New York (2007)

    Google Scholar 

  3. Bergenti, F.: An introduction to the JADEL programming language. In: Proceedings of the \(26^{\rm th}\) IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2014), pp. 974–978. IEEE (2014)

    Google Scholar 

  4. Bergenti, F., Caire, G., Gotta, D.: An overview of the AMUSE social gaming platform. In: Proceedings of the Workshop “From Objects to Agents" (WOA 2013), vol. 1099. RWTH, Aachen (2013)

    Google Scholar 

  5. Bergenti, F., Caire, G., Gotta, D.: Agent-based social gaming with AMUSE. In: Proceedings of the \(5^{\rm th}\) International Conference on Ambient Systems, Networks and Technologies (ANT 2014) and \(4^{\rm th}\) International Conference on Sustainable Energy Information Technology (SEIT 2014), Procedia Computer Science, pp. 914–919. Elsevier (2014)

    Google Scholar 

  6. Bergenti, F., Caire, G., Gotta, D.: Large-scale network and service management with WANTS. In: Industrial Agents: Emerging Applications of Software Agents in Industry, pp. 231–246. Elsevier (2015)

    Google Scholar 

  7. Bergenti, F., Caire, G., Monica, S., Poggi, A.: The first twenty years of agent-based software development with JADE. Auton. Agents Multi-agent Syst. 34(2), 1–19 (2020). https://doi.org/10.1007/s10458-020-09460-z

    Article  Google Scholar 

  8. Bergenti, F., Gleizes, M.-P., Zambonelli, F. (eds.) Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook. Springer, Boston (2004). https://doi.org/10.1007/b116049

  9. Bergenti, F., Iotti, E., Monica, S., Poggi, A.: A case study of the JADEL programming language. In: Proceedings of the \(17^{\rm th}\) Workshop “From Objects to Agents” (WOA 2016), vol. 1664 of CEUR Workshop Proceedings, pp. 85–90 (2016)

    Google Scholar 

  10. Bergenti, F., Iotti, E., Monica, S., Poggi, A.: Interaction protocols in the JADEL programming language. In: Proceedings of the \(6^{\rm th}\) ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control (AGERE 2016) at ACM SIGPLAN Conference Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2016), pp. 11–20. ACM (2016)

    Google Scholar 

  11. Bergenti, F., Iotti, E., Monica, S., Poggi, A.: Agent-oriented model-driven development for JADE with the JADEL programming language. Comput. Lang. Syst. Struct. 50, 142–158 (2017)

    Google Scholar 

  12. Bergenti, F., Iotti, E., Monica, S., Poggi, A.: A comparison between asynchronous backtracking pseudocode and its JADEL implementation. In: Proceedings of the \(9^{\rm th}\) International Conference on Agents and Artificial Intelligence (ICAART 2017), vol. 2, pp. 250–258. SciTePress (2017)

    Google Scholar 

  13. Bergenti, F., Iotti, E., Monica, S., Poggi, A.: Overview of a formal semantics for the JADEL programming language. In: Proceedings of the \(18^{\rm th}\) Workshop “From Objects to Agents”, vol. 1867 of CEUR Workshop Proceedings, pp. 55–60. RWTH Aachen (2017)

    Google Scholar 

  14. Bergenti, F., Iotti, E., Poggi, A.: Core features of an agent-oriented domain-specific language for JADE agents. In: Trends in Practical Applications of Scalable Multi-Agent Systems, the PAAMS Collection, pp. 213–224. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-40159-1

  15. Bergenti, F., Monica, S.: Location-aware social gaming with AMUSE. In: Demazeau, Y., Ito, T., Bajo, J., Escalona, M.J. (eds.) PAAMS 2016. LNCS (LNAI), vol. 9662, pp. 36–47. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-39324-7_4

    Chapter  Google Scholar 

  16. Bergenti, F., Monica, S., Petrosino. G.: A scripting language for practical agent-oriented programming. In: Proceedings of the \(8^{\rm th}\) ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control (AGERE 2018) at ACM SIGPLAN Conference Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2018), pp. 62–71. ACM (2018)

    Google Scholar 

  17. Bergenti, F., Petrosino, G.: Overview of a scripting language for JADE-based multi-agent systems. In: Proceedings of the \(19^{\rm th}\) Workshop “From Objects to Agents" (WOA 2018), vol. 2215 of CEUR Workshop Proceedings, pp. 57–62. RWTH, Aachen (2018)

    Google Scholar 

  18. Bettini, L.: Implementing Domain-Specific Languages with Xtext and Xtend. Packt Publishing, Birmingham (2013)

    Google Scholar 

  19. Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming multi-agent systems in AgentSpeak using Jason. Wiley Series in Agent Technology. John Wiley & Sons, New York (2007)

    Google Scholar 

  20. Cardoso, R.C., Ferrando, A.: A review of agent-based programming for multi-agent systems. Computers 10(2), 16 (2021)

    Google Scholar 

  21. Dastani, M.: A survey of multi-agent programming languages and frameworks. In: Shehory, O., Sturm, A. (eds.) Agent-Oriented Software Engineering, pp. 213–233. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-642-54432-3_11

    Chapter  Google Scholar 

  22. Eysholdt, M., Behrens, H.: Xtext-implement your language faster than the quick and dirty way. In: Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications Companion (OOPSLA 2010). ACM (2010)

    Google Scholar 

  23. Iotti, E., Petrosino, G., Monica, S., Bergenti, F.: wo agent-oriented programming approaches checked against a coordination problem. In: Dong, Y., et al. (eds.) Distributed Computing and Artificial Intelligence, 17th International Conference. DCAI 2020. Advances in Intelligent Systems and Computing, vol. 1237, pp. 60–70. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-53036-5_7

  24. Monica, S., Bergenti, F.: Location-aware JADE agents in indoor scenarios. In: Proceedings of the \(16^{\rm th}\) Workshop “From Objects to Agents", volume 1382 of CEUR Workshop Proceedings, pp. 103–108. RWTH, Aachen (2015)

    Google Scholar 

  25. Monica, S., Bergenti, F.: A comparison of accurate indoor localization of static targets via WiFi and UWB ranging. In: Trends in Practical Applications of Scalable Multi-Agent Systems, the PAAMS Collection, pp. 111–123. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-40159-1

  26. Monica, S., Bergenti, F.:Experimental evaluation of agent-based localization of smart appliances. In: EUMAS 2016, AT 2016: Multi-Agent Systems and Agreement Technologies, vol. 10207, LNCS, pp. 293–304. Springer, Cham (2017). /DOIurl10.1007/978-3-319-33509-4

    Google Scholar 

  27. Monica, S., Bergenti, F.: Indoor localization of JADE agents without a dedicated infrastructure. In: Berndt, J.O., Petta, P., Unland, R. (eds.) MATES 2017. LNCS (LNAI), vol. 10413, pp. 256–271. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-64798-2_16

    Chapter  Google Scholar 

  28. Monica, S., Bergenti, F.: An optimization-based algorithm for indoor localization of JADE agents. In Proceedings of the \(18^{\rm th}\) Workshop “From Objects to Agents", vol. 1867 of CEUR Workshop Proceedings, pp. 65–70. RWTH, Aachen (2017)

    Google Scholar 

  29. Monica, S., Bergenti, F.: Optimization based robust localization of JADE agents in indoor environments. In: Proceedings of the \(3^{\rm rd}\) Italian Workshop on Artificial Intelligence for Ambient Assisted Living (AI*AAL.IT 2017), vol. 2061 of CEUR Workshop Proceedings, pp. 58–73. RWTH Aachen (2017)

    Google Scholar 

  30. Monica, S., Bergenti, F.: An experimental evaluation of agent-based indoor localization. In: Proceedings of the Computing Conference 2017, pp. 638–646. IEEE (2018)

    Google Scholar 

  31. Petrosino, G., Bergenti, F.: An introduction to the major features of a scripting language for JADE agents. In: Ghidini, C., Magnini, B., Passerini, A., Traverso, P. (eds.) AI*IA 2018. LNCS (LNAI), vol. 11298, pp. 3–14. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-03840-3_1

    Chapter  Google Scholar 

  32. Petrosino, G., Bergenti, F.: Extending message handlers with pattern matching in the Jadescript programming language. In: Proceedings of the \(20^{\rm th}\) Workshop “From Objects to Agents" (WOA 2019), vol. 2404 of CEUR Workshop Proceedings, pp. 113–118. RWTH Aachen (2019)

    Google Scholar 

  33. Petrosino, G., Iotti, E., Monica, S., Bergenti, F.: Prototypes of productivity tools for the Jadescript programming language. In: Proceedings of the \(22^{\rm nd}\) Workshop “From Objects to Agents" (WOA 2021), vol. 2963 of CEUR Workshop Proceedings, pp. 14–28. RWTH Aachen (2021)

    Google Scholar 

  34. Poslad, S.: Specifying protocols for multi-agent systems interaction. ACM Trans. Autonom. Adap. Syst. 2(4), 15:–15:24 (2007)

    Google Scholar 

  35. Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Van de Velde, W., Perram, J.W. (eds.) MAAMAW 1996. LNCS, vol. 1038, pp. 42–55. Springer, Heidelberg (1996). https://doi.org/10.1007/BFb0031845

    Chapter  Google Scholar 

  36. Rodriguez, S., Gaud, N., Galland, S.: SARL: a general-purpose agent-oriented programming language. In: Proceedings of the IEEE/WIC/ACM International Joint Conferences of Web Intelligence (WI 2014) and Intelligent Agent Technologies (IAT 2014), vol. 3, pp. 103–110. IEEE (2014)

    Google Scholar 

  37. Searle, J.: Speech Acts. Cambridge University Press, Cambridge (1969)

    Google Scholar 

  38. Shoham, Y.: Agent-oriented programming. Artif. Intell. 60(1), 51–92 (1993)

    Article  MathSciNet  Google Scholar 

  39. Shoham, Y.: An overview of agent-oriented programming. In: Bradshaw, J. (ed.) Software Agents, vol. 4, pp. 271–290. MIT Press, Cambridge (1997)

    Google Scholar 

  40. Wooldridge, M.: Reasoning About Rational Agents. MIT Press, Cambridge (2000)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Scienze e Metodi dell’Ingegneria, Università degli Studi di Modena e Reggio Emilia, Modena, Italy

    Giuseppe Petrosino & Stefania Monica

  2. Dipartimento di Scienze Matematiche, Fisiche e Informatiche, Università degli Studi di Parma, Parma, Italy

    Eleonora Iotti & Federico Bergenti

Authors
  1. Giuseppe Petrosino
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Eleonora Iotti
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Stefania Monica
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Federico Bergenti
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Federico Bergenti .

Editor information

Editors and Affiliations

  1. Tongji University, Shanghai, China

    Jie Chen

  2. Lamsade Bureau, Université Paris-Dauphine, Paris Cedex 16, France

    Jérôme Lang

  3. Khoury College of Computer Sciences, Northeastern University, Boston, MA, USA

    Christopher Amato

  4. ShanghaiTech University, Shanghai, China

    Dengji Zhao

Rights and permissions

Reprints and permissions

Copyright information

© 2022 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Petrosino, G., Iotti, E., Monica, S., Bergenti, F. (2022). A Description of the Jadescript Type System. In: Chen, J., Lang, J., Amato, C., Zhao, D. (eds) Distributed Artificial Intelligence. DAI 2021. Lecture Notes in Computer Science(), vol 13170. Springer, Cham. https://doi.org/10.1007/978-3-030-94662-3_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-94662-3_13

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-94661-6

  • Online ISBN: 978-3-030-94662-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics