Logo PTI Logo FedCSIS

Proceedings of the 19th Conference on Computer Science and Intelligence Systems (FedCSIS)

Annals of Computer Science and Information Systems, Volume 39

DSML4JaCaMo: A Modelling tool for Multi-agent Programming with JaCaMo

, , ,

DOI: http://dx.doi.org/10.15439/2024F6157

Citation: Proceedings of the 19th Conference on Computer Science and Intelligence Systems (FedCSIS), M. Bolanowski, M. Ganzha, L. Maciaszek, M. Paprzycki, D. Ślęzak (eds). ACSIS, Vol. 39, pages 637–642 ()

Full text

Abstract. This paper introduces a domain-specific modelling tool called DSML4JaCaMo to develop belief-desire-intention (BDI) agents. The tool's design covers aspects of Jason, Cartago, and Moise from viewpoints that follow the meta-modelling approach. In this way, the DSML4JaCaMo enables graphical modelling of JaCaMo's multi-agent systems, providing comprehensive support for defining agents' beliefs, desires, and intentions (BDI) using Jason, specifying artifacts and their operations with Cartago, and outlining organizational structures and norms via Moise. The tool's operational semantics ensure seamless integration of these components, facilitating automatic code generation and artifact construction for creating JaCaMo-based system. The graphical syntax contributes to ease of use, making it accessible for novice and experienced developers. This work aims to enhance the JaCaMo ecosystem by offering a model-driven approach to provide abstraction on multi-agent system development, ensuring consistency, reliability, and scalability in the resulting implementations.

References

  1. O. Boissier, R. H. Bordini, J. Hubner, and A. Ricci, Multi-agent oriented programming: programming multi-agent systems using JaCaMo. Mit Press, 2020. ISBN 9780262044578
  2. P. Leitao, S. Karnouskos, L. Ribeiro, J. Lee, T. Strasser, and A. W. Colombo, “Smart agents in industrial cyber–physical systems,” Proceedings of the IEEE, vol. 104, no. 5, pp. 1086–1101, 2016. http://dx.doi.org/10.1109/JPROC.2016.2521931
  3. B. Karaduman, I. David, and M. Challenger, “Modeling the engineering process of an agent-based production system: An exemplar study,” in 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, 2021. http://dx.doi.org/10.1109/MODELS-C53483.2021.00051 pp. 296–305.
  4. M. Brambilla, J. Cabot, and M. Wimmer, “Model-driven software engineering in practice,” Synthesis lectures on software engineering, vol. 3, no. 1, 2017. https://doi.org/10.1007/978-3-031-02549-5
  5. B. Karaduman, B. T. Tezel, and M. Challenger, “Towards static analysis of bdi agents on cps using petri nets and model-driven engineering,” in International Conference on Practical Applications of Agents and Multi-Agent Systems. Springer (in press), 2024.
  6. C. Hahn, C. Madrigal-Mora, and K. Fischer, “A platform-independent metamodel for multiagent systems,” Autonomous Agents and Multi-Agent Systems, vol. 18, no. 2, pp. 239–266, 2009.
  7. B. T. Tezel, M. Challenger, and G. Kardas, “A metamodel for Jason BDI agents,” in 5th Symposium on Languages, Applications and Technologies (SLATE’16), vol. 51, 2016. http://dx.doi.org/10.4230/OASIcs.SLATE.2016.8 pp. 8:1—-8:9.
  8. O. Boissier, R. H. Bordini, J. F. Hübner, and A. Ricci, “Dimensions in programming multi-agent systems,” The Knowledge Engineering Review, vol. 34, p. e2, 2019. http://dx.doi.org/10.1017/S026988891800005X
  9. O. Shehory and A. Sturm, Agent-Oriented Software Engineering: Reflections on Architectures, Methodologies, Languages, and Frameworks. Springer-Verlag Berlin Heidelberg, 2014.
  10. B. Lelandais, M.-P. Oudot, and B. Combemale, “Applying model-driven engineering to high-performance computing: Experience report, lessons learned, and remaining challenges,” Journal of Computer Languages, vol. 55, p. 100919, 2019. https://doi.org/10.1016/j.cola.2019.100919
  11. A. Bucchiarone, J. Cabot, R. F. Paige, and A. Pierantonio, “Grand challenges in model-driven engineering: an analysis of the state of the research,” Software and Systems Modeling, vol. 19, no. 1, pp. 5–13, 2020. https://doi.org/10.1007/s10270-019-00773-6
  12. C. Verbruggen and M. Snoeck, “Model-driven engineering: A state of affairs and research agenda,” Enterprise, business-process and information systems modeling, 2021. http://dx.doi.org/10.1007/978-3-030-79186-5_22
  13. E. de Araújo Silva, E. Valentin, J. R. H. Carvalho, and R. da Silva Barreto, “A survey of model driven engineering in robotics,” Journal of Computer Languages, vol. 62, 2021. https://doi.org/10.1016/j.cola.2020.101021
  14. D. Di Ruscio, D. Kolovos, J. de Lara, A. Pierantonio, M. Tisi, and M. Wimmer, “Low-code development and model-driven engineering: Two sides of the same coin?” Software and Systems Modeling, vol. 21, no. 2, 2022. https://doi.org/10.1007/s10270-021-00970-2
  15. Y. E. Cakmaz, O. F. Alaca, C. Durmaz, B. Akdal, B. Tezel, M. Challenger, and G. Kardas, “Engineering a bdi agent-based semantic e-barter system,” in 2017 International Conference on Computer Science and Engineering (UBMK). IEEE, 2017. http://dx.doi.org/10.1109/UBMK.2017.8093474 pp. 1072–1077.
  16. B. T. Tezel, M. Challenger, and G. Kardas, “Dsml4bdi: A modeling tool for bdi agent development,” in 12th turkish national software engineering symposium (uyms 2018), 2018, pp. 1–8.
  17. V. Mascardi, D. Weyns, A. Ricci, C. B. Earle, A. Casals, M. Challenger, A. Chopra, A. Ciortea, L. A. Dennis, Á. F. Díaz et al., “Engineering multi-agent systems: State of affairs and the road ahead,” ACM SIGSOFT Software Engineering Notes, vol. 44, no. 1, pp. 18–28, 2019. doi: https://doi.org/10.1145/3310013.3322175
  18. M. Challenger, B. T. Tezel, V. Amaral, M. Goulao, and G. Kardas, “Agent-based cyber-physical system development with sea_ml++,” in Multi-Paradigm Modelling Approaches for Cyber-Physical Systems. Elsevier, 2021, pp. 195–219.
  19. O. F. Alaca, B. T. Tezel, M. Challenger, M. Goulão, V. Amaral, and G. Kardas, “Agentdsm-eval: A framework for the evaluation of domain-specific modeling languages for multi-agent systems,” Computer Standards & Interfaces, vol. 76, p. 103513, 2021. https://doi.org/10.1016/j.csi.2021.103513
  20. B. Karaduman, B. T. Tezel, and M. Challenger, “Rational software agents with the bdi reasoning model for cyber–physical systems,” Engineering Applications of Artificial Intelligence, vol. 123, p. 106478, 2023. https://doi.org/10.1016/j.engappai.2023.106478
  21. G. Kardas, F. Ciccozzi, and L. Iovino, “Introduction to the special issue on methods, tools and languages for model-driven engineering and low-code development,” Journal of Computer Languages, vol. 74, 2023. https://doi.org/10.1016/j.cola.2022.101190
  22. M. Challenger, S. Demirkol, S. Getir, M. Mernik, G. Kardas, and T. Kosar, “On the use of a domain-specific modeling language in the development of multiagent systems,” Engineering Applications of Artificial Intelligence, vol. 28, pp. 111–141, 2014. http://dx.doi.org///doi.org/10.1016/j.engappai.2013.11.012
  23. E. J. T. Gonçalves, M. I. Cortés, G. A. L. Campos, Y. S. Lopes, E. S. Freire, V. T. da Silva, K. S. F. de Oliveira, and M. A. de Oliveira, “Masml 2.0: Supporting the modelling of multi-agent systems with different agent architectures,” Journal of Systems and Software, vol. 108, pp. 77–109, 2015. https://doi.org/10.1016/j.jss.2015.06.008
  24. F. Bergenti, E. Iotti, S. Monica, and A. Poggi, “Agent-oriented model-driven development for JADE with the JADEL programming language,” Computer Languages, Systems & Structures, vol. 50, pp. 142–158, 2017. http://dx.doi.org/10.1016/j.cl.2017.06.001
  25. G. Kardas, B. T. Tezel, and M. Challenger, “Domain-specific modelling language for belief–desire–intention software agents,” IET Software, vol. 12, no. 4, pp. 356–364, 2018. https://doi.org/10.1049/ietsen.2017.0094
  26. D. Sredojević, M. Vidaković, and M. Ivanović, “Alas: agent-oriented domain-specific language for the development of intelligent distributed non-axiomatic reasoning agents,” Enterprise Information Systems, vol. 12, no. 8-9, pp. 1058–1082, 2018. http://dx.doi.org///doi.org/10.1080/17517575.2018.1482567
  27. A. Siabdelhadi, A. Chadli, H. Cherroun, A. Ouared, and H. Sahraoui, “Motrans-bdi: Leveraging the beliefs-desires-intentions agent architecture for collaborative model transformation by example,” Journal of Computer Languages, vol. 74, p. 101174, 2023. https://doi.org/10.1016/j.cola.2022.101174
  28. B. Karaduman, M. Challenger, R. Eslampanah, J. Denil, and H. Vangheluwe, “Analyzing WSN-based IoT Systems using MDE Techniques and Petri-net Models,” in 4th International Workshop on Model-Driven Engineering for the Internet-of-Things (MDE4IoT), Co-Located With Software Technologies: Applications and Foundations (STAF 2020), Virtual Event, Norway, 2020, pp. 35–46.