Verifying the behavior of agents in BDI4JADE with AspectJ
Resumo
A utilização de sistemas multiagentes (SMA) para construção de software é uma abordagem promissora e tem sido aplicada em diferentes áreas de pesquisa. Assim, a validação destes sistemas é crucial para construção de softwares robustos. No entanto, os métodos propostos concentraram seus esforços para analisar, projetar e implementar SMA, não dando atenção necessária para a forma como tais sistemas podem ser testados. Além disso, questões relacionadas à controlabilidade e observabilidade dificultam a verificação do comportamento. Este artigo apresenta uma abordagem para verificação do comportamento de agentes baseada na combinação e adaptação de ideias já suportadas pela literatura.
Referências
Apfelbaum, L. and Doyle, J. (1997) “Model Based Testing. International Software Quality Week Conference”. CA – USA.
Binder, R (1999) “Testing Object-Oriented Systems: Models, Patterns, and Tools”, Addison-Wesley, 1999.
Bordini, R. H., Hübner, J. F. and Wooldridge, M. (2007) “Programming Multi-Agent Systems in AgentSpeak using Jason”, In Wiley Series in Agent Technology.
Braubach, L., Lamersdorf, W., and Pokahr, A. (2003) "Jadex: Implementing a BDI-infrastructure for JADE agents".
Briand, L., Labiche, Y. and Leduc, J. (2005) “Tracing Distributed Systems Executions Using AspectJ”, In: Proceedings of ICSM.
Caire, G., Cossentino, M., Negri, A., Poggi, A. and Turci, P. (2004) “Multi-agent systems implementation and testing”, In Proceedings of 4th International Symposium - From Agent Theory to Agent Implementation.
Coelho, R, Cirilo, E., Kulesza, U., Staa, A., Rashid A. and Lucena, C. (2007) “JAT: A Test Automation Framework for MultiAgent Systems”, In International Conference on Software Maintenance. ICSM.
Coelho, R., Kulesza, U., Staa, A. and Lucena, C. (2006) “Unit Testing in Multi-agent Systems using Mock Agents and Aspects”, In International Workshop on Software Engineering for Large-Scale Multi-Agent Systems. ICSE.
El-Far, I. and Whittaker, J. (2001) “Model-Based Software Testing”, In Encyclopedia of Software Engineering, pages 825-837. Wiley, Chichester.
Fisher, M., Dennis, L. and Webster, M. (2013) “Verifying Autonomous Systems”, In Communications of the ACM, Vol. 56 No. 9, Pages 84-93.
Garcia, A., Lucena, C. and Cowan, D. (2004) “Agents in Object-Oriented Software Engineering. Software Practice & Experience”, Elsevier, 34(5), pages 489-521.
Howden, N., Rönnquist, R., Hodgson, A., & Lucas, A. (2001, May). “JACK intelligent agents-summary of an agent infrastructure”. In 5th International conference on autonomous agents.
López, F. L. (2003) “Social Power and Norms”.
Nunes, I., Lucena, C. and Luck, M. (2011) “BDI4JADE: a BDI layer on top of JADE”, In: International Workshop on Programming Multi-Agent Systems - ProMAS.
Pokahr, A., Braubach L. and Lamersdorf W. (2005) “Jadex: A BDI Reasoning Engine”, Multi-Agent Programming - Springer US.
Rao, A. and Georgeff, M. (1995) “BDI-agents: from theory to practice”, In: Proceedings of the First International Conference on Multiagent Systems.
Voas, J. and Miller, K. (1995) “Software Testability: The New Verication”, In: IEEE Software, 1995.
Winikoff, M. (2005) “Jack™ Intelligent Agents: An Industrial Strength Platform”, In: Multi-Agent Programming - Springer US.
Winikoff, M. and Cranefield, S. (2010) “On the testability of BDI agents”, In: European Workshop on Multi-Agent Systems.
Zambonelli, F., Jennings, N., Omicini, A. and Wooldridge, M. (2001) “Agent-oriented software engineering for internet applications”, Coordination of Internet Agents, p. 326–346. Springer Verlag.
Zhang, Z., Thangarajah, J. and Padgham, L. (2009) “Model based testing for agent systems”, In: International Conference on Autonomous Agents and Multiagent Systems.
Binder, R (1999) “Testing Object-Oriented Systems: Models, Patterns, and Tools”, Addison-Wesley, 1999.
Bordini, R. H., Hübner, J. F. and Wooldridge, M. (2007) “Programming Multi-Agent Systems in AgentSpeak using Jason”, In Wiley Series in Agent Technology.
Braubach, L., Lamersdorf, W., and Pokahr, A. (2003) "Jadex: Implementing a BDI-infrastructure for JADE agents".
Briand, L., Labiche, Y. and Leduc, J. (2005) “Tracing Distributed Systems Executions Using AspectJ”, In: Proceedings of ICSM.
Caire, G., Cossentino, M., Negri, A., Poggi, A. and Turci, P. (2004) “Multi-agent systems implementation and testing”, In Proceedings of 4th International Symposium - From Agent Theory to Agent Implementation.
Coelho, R, Cirilo, E., Kulesza, U., Staa, A., Rashid A. and Lucena, C. (2007) “JAT: A Test Automation Framework for MultiAgent Systems”, In International Conference on Software Maintenance. ICSM.
Coelho, R., Kulesza, U., Staa, A. and Lucena, C. (2006) “Unit Testing in Multi-agent Systems using Mock Agents and Aspects”, In International Workshop on Software Engineering for Large-Scale Multi-Agent Systems. ICSE.
El-Far, I. and Whittaker, J. (2001) “Model-Based Software Testing”, In Encyclopedia of Software Engineering, pages 825-837. Wiley, Chichester.
Fisher, M., Dennis, L. and Webster, M. (2013) “Verifying Autonomous Systems”, In Communications of the ACM, Vol. 56 No. 9, Pages 84-93.
Garcia, A., Lucena, C. and Cowan, D. (2004) “Agents in Object-Oriented Software Engineering. Software Practice & Experience”, Elsevier, 34(5), pages 489-521.
Howden, N., Rönnquist, R., Hodgson, A., & Lucas, A. (2001, May). “JACK intelligent agents-summary of an agent infrastructure”. In 5th International conference on autonomous agents.
López, F. L. (2003) “Social Power and Norms”.
Nunes, I., Lucena, C. and Luck, M. (2011) “BDI4JADE: a BDI layer on top of JADE”, In: International Workshop on Programming Multi-Agent Systems - ProMAS.
Pokahr, A., Braubach L. and Lamersdorf W. (2005) “Jadex: A BDI Reasoning Engine”, Multi-Agent Programming - Springer US.
Rao, A. and Georgeff, M. (1995) “BDI-agents: from theory to practice”, In: Proceedings of the First International Conference on Multiagent Systems.
Voas, J. and Miller, K. (1995) “Software Testability: The New Verication”, In: IEEE Software, 1995.
Winikoff, M. (2005) “Jack™ Intelligent Agents: An Industrial Strength Platform”, In: Multi-Agent Programming - Springer US.
Winikoff, M. and Cranefield, S. (2010) “On the testability of BDI agents”, In: European Workshop on Multi-Agent Systems.
Zambonelli, F., Jennings, N., Omicini, A. and Wooldridge, M. (2001) “Agent-oriented software engineering for internet applications”, Coordination of Internet Agents, p. 326–346. Springer Verlag.
Zhang, Z., Thangarajah, J. and Padgham, L. (2009) “Model based testing for agent systems”, In: International Conference on Autonomous Agents and Multiagent Systems.
Publicado
01/06/2015
Como Citar
CUNHA, Francisco J. P.; VIANA, Marx Leles; ROSEMBERG, Márcio R.; LUCENA, Carlos J. P. de.
Verifying the behavior of agents in BDI4JADE with AspectJ. In: WORKSHOP-ESCOLA DE SISTEMAS DE AGENTES, SEUS AMBIENTES E APLICAÇÕES (WESAAC), 9. , 2015, Niterói/RJ.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2015
.
p. 227-232.
ISSN 2326-5434.
