Avaliação da testabilidade do modelo organizacional Moise+ baseada em Redes de Petri
Resumo
Modelos organizacionais em Sistemas Multiagentes (SMA) são empregados para estruturar os agentes em grupos, onde os membros têm papéis a desempenhar e também restrições a obedecer. Mesmo com este nível de controle sobre os agentes, comportamentos inesperados podem surgir. Para garantir o correto funcionamento do sistema, técnicas de teste de software podem ser empregadas como uma das estratégias. Este trabalho tem por objetivo propor um método para avaliar a testabilidade em SMA que emprega o modelo de organização Moise+, utilizando Rede de Petri (RP) como ferramenta de descrição e análise. O método é baseado em uma técnica de avaliação de testabilidade para agentes BDI, que deve ser mapeado para Redes de Petri. O resultado inicial indica o número de casos de uso necessários para garantir a cobertura do sistema.Referências
Argente, E., Julian, V., and Botti, V. (2006). Multi-agent system development based on organizations. Electronic Notes in Theoretical Computer Science, 150(3):55–71.
Athamena, B. and Houhamdi, Z. (2012). A petri net based multi-agent system behavioral testing. Modern Applied Science, 6(3):46.
Bai, Q., Zhang, M., and Win, K. T. (2004). A colored petri net based approach for multi-agent interactions. In Proc. of 2nd International Conference on Autonomous Robots and Agents, Palmerston North, New Zealand, pages 152–157.
Cardoso, J. and Valette, R. (1997). Redes de petri. Editora da UFSC.
de Almeida, H. O., da Silva, L. D., Perkusich, A., and de Barros Costa, E. (2004). A formal approach for the modelling and verification of multiagent plans based on model checking and petri nets. In International Workshop on Software Engineering for Large-Scale Multi-agent Systems, pages 162–179. Springer.
Goncalves, E. M. N. (2010). An approach to specify knowledge in multi-agent systems using petri nets. In Network and System Security (NSS), 2010 4th International Conference on, pages 456–461. IEEE.
Graham, D., Van Veenendaal, E., and Evans, I. (2008). Foundations of software testing: ISTQB certification. Cengage Learning EMEA.
Hannoun, M., Boissier, O., Sichman, J., and Sayettat, C. (2000). Moise: An organizational model for multi-agent systems. Advances in Artificial Intelligence, pages 156–165.
Houhamdi, Z. (2011). Multi-agent system testing: A survey. International Journal of Advanced Computer Science and Applications, 2(6):135–141.
Hübner, J. F. (2003). Um modelo de reorganização de sistemas multiagentes. PhD thesis, Universidade de São Paulo.
Hübner, J. F., Sichman, J. S., and Boissier, O. (2005). \mathcal {SM} oiseˆ{+}: A middleware for developing organised multi-agent systems. In International Conference on Autonomous Agents and Multiagent Systems, pages 64–77. Springer.
Hübner, J. F., Sichman, J. S., and Boissier, O. (2007). Developing organised multiagent systems using the moise+ model: programming issues at the system and agent levels. International Journal of Agent-Oriented Software Engineering, 1(3-4):370–395.
Jorgensen, P. C. (2016). Software testing: a craftsman’s approach. CRC press.
Köhler, M., Moldt, D., and Rölke, H. (2001). Modelling the structure and behaviour of petri net agents. Applications and Theory of Petri Nets 2001, pages 224–241.
Lesser, V. R. (1999). Cooperative multiagent systems: A personal view of the state of the art. IEEE Transactions on knowledge and data engineering, 11(1):133–142.
Miller, T., Padgham, L., and Thangarajah, J. (2011). Test coverage criteria for agent interaction testing. In Agent-oriented Software Engineering XI, pages 91–105. Springer.
Murata, T. (1989). Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541–580.
Myers, G. J., Sandler, C., and Badgett, T. (2011). The art of software testing. John Wiley & Sons.
Nguyen, D. C. (2009). Testing techniques for software agents. PhD thesis, University of Trento.
Peterson, J. L. (1977). Petri nets. ACM Computing Surveys (CSUR), 9(3):223–252.
Poutakidis, D., Winikoff, M., Padgham, L., and Zhang, Z. (2009). Debugging and testing of multi-agent systems using design artefacts. Multi-Agent Programming:, pages 215–258.
Pressman, R. S. (2005). Software engineering: a practitioner’s approach. Palgrave Macmillan.
Rouff, C. (2002). A test agent for testing agents and their communities. In Aerospace Conference Proceedings, 2002. IEEE, volume 5, pages 5–2638. IEEE.
Sommerville, I. (2010). Software Engineering. Addison-Wesley Publishing Company, USA, 9th edition.
Van Den Broek, E. L., Jonker, C. M., Sharpanskykh, A., Treur, J., et al. (2005). Formal modeling and analysis of organizations. In International Conference on Autonomous Agents and Multiagent Systems, pages 18–34. Springer.
Weyns, D. and Holvoet, T. (2002). A colored petri-net for a multi-agent application. In Proceedings of MOCA’02, volume 561, pages 121–141.
Winikoff, M. (2010). Assurance of agent systems: What role should formal verification play? Specification and Verification of Multi-agent systems, pages 353–383.
Winikoff, M. (2017). Bdi agent testability revisited. Autonomous Agents and Multi-Agent Systems, pages 1–39.
Winikoff, M. and Cranefield, S. (2014). On the testability of bdi agent systems. Journal of Artificial Intelligence Research, 51:71–131.
Athamena, B. and Houhamdi, Z. (2012). A petri net based multi-agent system behavioral testing. Modern Applied Science, 6(3):46.
Bai, Q., Zhang, M., and Win, K. T. (2004). A colored petri net based approach for multi-agent interactions. In Proc. of 2nd International Conference on Autonomous Robots and Agents, Palmerston North, New Zealand, pages 152–157.
Cardoso, J. and Valette, R. (1997). Redes de petri. Editora da UFSC.
de Almeida, H. O., da Silva, L. D., Perkusich, A., and de Barros Costa, E. (2004). A formal approach for the modelling and verification of multiagent plans based on model checking and petri nets. In International Workshop on Software Engineering for Large-Scale Multi-agent Systems, pages 162–179. Springer.
Goncalves, E. M. N. (2010). An approach to specify knowledge in multi-agent systems using petri nets. In Network and System Security (NSS), 2010 4th International Conference on, pages 456–461. IEEE.
Graham, D., Van Veenendaal, E., and Evans, I. (2008). Foundations of software testing: ISTQB certification. Cengage Learning EMEA.
Hannoun, M., Boissier, O., Sichman, J., and Sayettat, C. (2000). Moise: An organizational model for multi-agent systems. Advances in Artificial Intelligence, pages 156–165.
Houhamdi, Z. (2011). Multi-agent system testing: A survey. International Journal of Advanced Computer Science and Applications, 2(6):135–141.
Hübner, J. F. (2003). Um modelo de reorganização de sistemas multiagentes. PhD thesis, Universidade de São Paulo.
Hübner, J. F., Sichman, J. S., and Boissier, O. (2005). \mathcal {SM} oiseˆ{+}: A middleware for developing organised multi-agent systems. In International Conference on Autonomous Agents and Multiagent Systems, pages 64–77. Springer.
Hübner, J. F., Sichman, J. S., and Boissier, O. (2007). Developing organised multiagent systems using the moise+ model: programming issues at the system and agent levels. International Journal of Agent-Oriented Software Engineering, 1(3-4):370–395.
Jorgensen, P. C. (2016). Software testing: a craftsman’s approach. CRC press.
Köhler, M., Moldt, D., and Rölke, H. (2001). Modelling the structure and behaviour of petri net agents. Applications and Theory of Petri Nets 2001, pages 224–241.
Lesser, V. R. (1999). Cooperative multiagent systems: A personal view of the state of the art. IEEE Transactions on knowledge and data engineering, 11(1):133–142.
Miller, T., Padgham, L., and Thangarajah, J. (2011). Test coverage criteria for agent interaction testing. In Agent-oriented Software Engineering XI, pages 91–105. Springer.
Murata, T. (1989). Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541–580.
Myers, G. J., Sandler, C., and Badgett, T. (2011). The art of software testing. John Wiley & Sons.
Nguyen, D. C. (2009). Testing techniques for software agents. PhD thesis, University of Trento.
Peterson, J. L. (1977). Petri nets. ACM Computing Surveys (CSUR), 9(3):223–252.
Poutakidis, D., Winikoff, M., Padgham, L., and Zhang, Z. (2009). Debugging and testing of multi-agent systems using design artefacts. Multi-Agent Programming:, pages 215–258.
Pressman, R. S. (2005). Software engineering: a practitioner’s approach. Palgrave Macmillan.
Rouff, C. (2002). A test agent for testing agents and their communities. In Aerospace Conference Proceedings, 2002. IEEE, volume 5, pages 5–2638. IEEE.
Sommerville, I. (2010). Software Engineering. Addison-Wesley Publishing Company, USA, 9th edition.
Van Den Broek, E. L., Jonker, C. M., Sharpanskykh, A., Treur, J., et al. (2005). Formal modeling and analysis of organizations. In International Conference on Autonomous Agents and Multiagent Systems, pages 18–34. Springer.
Weyns, D. and Holvoet, T. (2002). A colored petri-net for a multi-agent application. In Proceedings of MOCA’02, volume 561, pages 121–141.
Winikoff, M. (2010). Assurance of agent systems: What role should formal verification play? Specification and Verification of Multi-agent systems, pages 353–383.
Winikoff, M. (2017). Bdi agent testability revisited. Autonomous Agents and Multi-Agent Systems, pages 1–39.
Winikoff, M. and Cranefield, S. (2014). On the testability of bdi agent systems. Journal of Artificial Intelligence Research, 51:71–131.
Publicado
02/05/2018
Como Citar
RODRIGUES, Bruno Coelho; GONÇALVES, Eder Mateus.
Avaliação da testabilidade do modelo organizacional Moise+ baseada em Redes de Petri. In: WORKSHOP-ESCOLA DE SISTEMAS DE AGENTES, SEUS AMBIENTES E APLICAÇÕES (WESAAC), 12. , 2018, Fortaleza/CE.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2018
.
p. 97-108.
ISSN 2326-5434.
DOI: https://doi.org/10.5753/wesaac.2018.33258.
