Improving the Mapping of Moise+ to Colored Petri Nets

• Ricardo A. Machado FURG
• Diana F. Adamatti FURG
• Eder M. Gonçalves FURG

Resumo

The demand for systems with artificial intelligence such as Multiagent Systems (MAS) is continuously growing. At the same time, the need for the development of tools that help software development increases, ensuring better fault tolerance for the project, since these systems have characteristics that make the system non-deterministic and increase the difficulty in carrying out tests. In previous work, an approach was presented for tests in MAS that use the organizational model Moise+, where test cases were generated using Colored Petri Nets (CPN) to map the system in a formal model. In this work, an update is presented for the inclusion of more elements contained in Moise+ that will be mapped in the CPN, more specifically, the minimum and maximum cardinality for each existing mission.

Referências

Abran, A., Moore, J. W., Bourque, P., Dupuis, R., and Tripp, L. (2004). Software engineering body of knowledge. IEEE Computer Society, Angela Burgess.

Boissier, O., Bordini, R. H., Hubner, J., and Ricci, A. (2020). Multi-agent oriented programming: programming multi-agent systems using JaCaMo. Mit Press.

Boucherit, A., Castro, L. M., Khababa, A., and Hasan, O. (2020). Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems. Multiagent and Grid Systems, 16(1):47–66.

Dehimi, N. E. H. and Mokhati, F. (2019). A novel test case generation approach based on auml sequence diagram. In 2019 International Conference on Networking and Advanced Systems (ICNAS), pages 1–4. IEEE.

Frasheri, M., Trinh, L. A., Cürüklü, B., and Ekström, M. (2017). Failure analysis for adaptive autonomous agents using petri nets. In 2017 Federated Conference on Computer Science and Information Systems (FedCSIS), pages 293–297. IEEE.

Gonçalves, E. M. N., Machado, R. A., Rodrigues, B. C., and Adamatti, D. (2022). Cpn4m: Testing multi-agent systems under organizational model m oise+ using colored petri nets. Applied Sciences, 12(12):5857.

Hübner, J. F., Boissier, O., and Bordini, R. H. (2011). A normative programming language for multi-agent organisations. Annals of Mathematics and Artificial Intelligence, 62(1-2):27–53.

Hübner, J. and Sichman, J. (2007). Developing organised multi-agent systems using the Moise+ model: Programming issues at the system and agent levels. In Int. J. Accounting, Auditing and Performance Evaluation, pages 1–10.

Jensen, K. (1997). Coloured Petri nets: basic concepts, analysis methods and practical use, volume 1. Springer Science & Business Media.

Padgham, L. and Winikoff, M. (2005). Developing intelligent agent systems: A practical guide, volume 13. John Wiley & Sons.

Rehman, S. U., Nadeem, A., and Sindhu, M. (2019). Towards automated testing of multi-agent systems using prometheus design models. Int. Arab J. Inf. Technol, 16(1):54–65.

Zhu, H., Hall, P. A., and May, J. H. (1997). Software unit test coverage and adequacy. Acm computing surveys (csur), 29(4):366–427.