[HTML][HTML] Cpn4m: Testing multi-agent systems under organizational model m oise+ using colored petri nets

EMN Gonçalves, RA Machado, BC Rodrigues… - Applied Sciences, 2022 - mdpi.com
Multi-agent systems (MASs) are distributed and complex software that demand specific
software engineering features. Testing is a critical phase when validating software, and it is …

Toward an embedded multi-agent system methodology and positioning on testing

C Barnier, A Mercier, JP Jamont - 2017 IEEE International …, 2017 - ieeexplore.ieee.org
Like all systems, multi-agent systems need to be verified during the design cycle. But the test
of multi-agent systems is more diffi-cult than the test of classic software. Indeed, it implies to …

MAMTCPN: oise Automated Map** to Colored Petri Net

R Machado, A Zelindro, G Farias, D Adamatti… - Intelligent Systems …, 2024 - Springer
The demand for systems with artificial intelligence, such as multi-agent systems, is
continuously growing. At the same time, there is a need for the development of tools for …

MAMTCPN: Moise+ Automated Map** to Colored Petri Net

E Gonçalves - … Systems and Applications: Proceedings of the …, 2024 - books.google.com
The demand for systems with artificial intelligence, such as multi-agent systems, is
continuously growing. At the same time, there is a need for the development of tools for …

Multi-level testing approach for multi-agent systems

Y Kissoum, M Redjimi - International Journal of Organizational and …, 2022 - igi-global.com
The software development cycles need product testing. There is a crucial lack in testing
phases of multi-agent systems. To this end, a call for an investigation of appropriate testing …

[PDF][PDF] Towards a meta-modeling and verification approach of multi-agent systems based on the agent petri net formalism

A Dembri, M Redjimi - International Journal of Information …, 2019 - researchgate.net
The Agent Petri Nets (APN) formalism provides a set of adapted and specific tools, relations
and functions for modeling multi-agent systems (MAS). However, there is a lack of tools for …

Mobile agents-based modelling for the vehicular network congestion problem resolution

S Mameri, Y Kissoum… - International Journal of …, 2023 - inderscienceonline.com
Traffic management systems aim to improve traffic flow and reduce congestion, especially
for emergency vehicles. This work focuses on adapting intelligent agents in VANETs to …

Uma ferramenta para mapeamento de sistemas multiagente em redes de petri coloridas

RA Machado, A Zelindro… - … de Educación y …, 2024 - ojs.cuadernoseducacion.com
A demanda por sistemas com inteligência artificial, como sistemas multiagente, está
continuamente crescendo. Ao mesmo tempo, há uma necessidade de desenvolvimento de …

Testing Multiagent Systems Under Organizational Model oise Using a Test Adequacy Criterion Based on State Transition Path

RA Machado, EM Gonçalves - Brazilian Conference on Intelligent Systems, 2020 - Springer
The test phase is a crucial step to seek the correction of the entire software system to provide
guarantees of operation and safety for users. However, applications based on multiagent …

Toward testing self-organizations in multi-embedded-agent systems

A Baudet, OEK Aktouf, A Mercier, JP Jamont - Software Engineering for …, 2019 - Springer
This paper presents a testing approach for validating global adaptation in multi-embedded-
agent systems. Those systems are gaining increasing attention due to their high adaptability …