REFERÊNCIAS
AHLBRECHT, T.; DIX, J.; KÖSTER, M.; SCHLESINGER, F. Multi-agent program-ming contest 2013. In: INTERNATIONAL WORKSHOP ON ENGINEERING MULTI-AGENT SYSTEMS, 2013.Anais. . . [S.l.: s.n.], 2013. p.292–318.
ALMEIDA, H. O. de; SILVA, L. D. da; PERKUSICH, A.; BARROS COSTA, E. de. A formal approach for the modelling and verification of multiagent plans based on mo-del checking and Petri nets. In: INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR LARGE-SCALE MULTI-AGENT SYSTEMS, 2004. Anais. . . [S.l.: s.n.], 2004. p.162–179.
AMMANN, P.; OFFUTT, J.Introduction to software testing. [S.l.]: Cambridge Univer-sity Press, 2016.
ARGENTE, E.; JULIAN, V.; BOTTI, V. Multi-agent system development based on orga-nizations.Electronic Notes in Theoretical Computer Science, [S.l.], v.150, n.3, p.55–
71, 2006.
ATHAMENA, B.; HOUHAMDI, Z. A petri net based multi-agent system behavioral tes-ting.Modern Applied Science, [S.l.], v.6, n.3, p.46, 2012.
BAI, Q.; ZHANG, M.; WIN, K. T. A colored petri net based approach for multi-agent interactions. In: INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOTS AND AGENTS, PALMERSTON NORTH, NEW ZEALAND, 2., 2004.Proceedings. . . [S.l.: s.n.], 2004. p.152–157.
BENFIELD, S. S.; HENDRICKSON, J.; GALANTI, D. Making a strong business case for multiagent technology. In: AUTONOMOUS AGENTS AND MULTIAGENT SYS-TEMS, 2006.Proceedings. . . [S.l.: s.n.], 2006. p.10–15.
BOND, A. H.; GASSER, L.Readings in distributed artificial intelligence. [S.l.]: Mor-gan Kaufmann, 2014.
BOTÍA, J. A.; LÓPEZ-ACOSTA, A.; SKARMETA, A. G. ACLAnalyser: a tool for de-bugging multi-agent system. In: EUROPEAN CONFERENCE ON ARTIFICIAL IN-TELLIGENCE, 16., 2004.Proceedings. . . [S.l.: s.n.], 2004. p.967–968.
BOURQUE, P.; FAIRLEY, R. E. et al.Guide to the software engineering body of kno-wledge (SWEBOK (R)): Version 3.0. [S.l.]: IEEE Computer Society Press, 2014.
BURMEISTER, B.; ARNOLD, M.; COPACIU, F.; RIMASSA, G. BDI-agents for agile goal-oriented business processes. In: AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS: INDUSTRIAL TRACK, 7., 2008.Proceedings. . . [S.l.: s.n.], 2008. p.37–44.
CAIRE, G.; COSSENTINO, M.; NEGRI, A.; POGGI, A.; TURCI, P.Multi-agent sys-tems implementation and testing. [S.l.]: na, 2004.
CARDOSO, J.; VALETTE, R.Redes de petri. [S.l.]: Editora da UFSC, 1997.
CIALDINI, R. B.; TROST, M. R. Social influence: Social norms, conformity and com-pliance. , [S.l.], 1998.
COELHO, R.; KULESZA, U.; STAA, A. von; LUCENA, C. Unit testing in multi-agent systems using mock multi-agents and aspects. In: SOFTWARE ENGINEERING FOR LARGE-SCALE MULTI-AGENT SYSTEMS, 2006., 2006.Proceedings. . . [S.l.: s.n.], 2006. p.83–90.
DURFEE, E. H. The distributed artificial intelligence melting pot. Ann Arbor, [S.l.], v.1001, p.48109, 1991.
DURFEE, E. H.; ROSENSCHEIN, J. S. Distributed problem solving and multi-agent systems: Comparisons and examples.Ann Arbor, [S.l.], v.1001, n.48109, p.29, 1994.
EKINCI, E. E.; TIRYAKI, A. M.; ÇETIN, Ö.; DIKENELLI, O. Goal-oriented agent tes-ting revisited. In: Agent-Oriented Software Engineering IX. [S.l.]: Springer, 2009.
p.173–186.
FERBER, J.; GASSER, L. Intelligence artificielle distribuée.Tutorial Notes of the 11th Conference on Expert Systems and their Aplications, [S.l.], 1991.
FRANKLIN, S.; GRAESSER, A. Is it an Agent, or just a Program?: A Taxonomy for Autonomous Agents. In: INTERNATIONAL WORKSHOP ON AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 1996.Anais. . . [S.l.: s.n.], 1996. p.21–35.
GOMEZ-SANZ, J. J.; BOTÍA, J.; SERRANO, E.; PAVÓN, J. Testing and debugging of MAS interactions with INGENIAS. In: INTERNATIONAL WORKSHOP ON AGENT-ORIENTED SOFTWARE ENGINEERING, 2008.Anais. . . [S.l.: s.n.], 2008. p.199–212.
GONCALVES, E. M. N. An approach to specify knowledge in multi-agent systems using petri nets. In: NETWORK AND SYSTEM SECURITY (NSS), 2010 4TH INTERNATI-ONAL CONFERENCE ON, 2010.Anais. . . [S.l.: s.n.], 2010. p.456–461.
GRAHAM, D.; VAN VEENENDAAL, E.; EVANS, I.Foundations of software testing:
ISTQB certification. [S.l.]: Cengage Learning EMEA, 2008.
HANNOUN, M.; BOISSIER, O.; SICHMAN, J.; SAYETTAT, C. MOISE: An organiza-tional model for multi-agent systems.Advances in Artificial Intelligence, [S.l.], p.156–
165, 2000.
HORLING, B.; LESSER, V. A survey of multi-agent organizational paradigms. The Knowledge Engineering Review, [S.l.], v.19, n.4, p.281–316, 2004.
HOUHAMDI, Z. Multi-agent system testing: A survey. International Journal of Ad-vanced Computer Science and Applications, [S.l.], v.2, n.6, p.135–141, 2011.
HOUHAMDI, Z.; ATHAMENA, B. Structured integration test suite generation process for multi-agent system.Journal of Computer Science, [S.l.], v.7, n.5, p.690, 2011.
HÜBNER, J. F. Um modelo de reorganização de sistemas multiagentes. 2003. Tese (Doutorado em Ciência da Computação) — Universidade de São Paulo.
HÜBNER, J. F.; BOISSIER, O.; BORDINI, R. H. A normative programming language for multi-agent organisations.Annals of Mathematics and Artificial Intelligence, [S.l.], v.62, n.1-2, p.27–53, 2011.
HÜBNER, J. F.; SICHMAN, J. S.; BOISSIER, O. \mathcal {SM} oiseˆ{+}: A Mid-dleware for Developing Organised Multi-agent Systems. In: INTERNATIONAL CON-FERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, 2005.
Anais. . . [S.l.: s.n.], 2005. p.64–77.
HÜBNER, J. F.; SICHMAN, J. S.; BOISSIER, O. Developing organised multiagent sys-tems using the MOISE+ model: programming issues at the system and agent levels. In-ternational Journal of Agent-Oriented Software Engineering, [S.l.], v.1, n.3-4, p.370–
395, 2007.
JENNINGS, N. R. On agent-based software engineering. Artificial intelligence, [S.l.], v.117, n.2, p.277–296, 2000.
JENSEN, K.Coloured Petri nets: basic concepts, analysis methods and practical use.
[S.l.]: Springer Science & Business Media, 2013. v.1.
JORGENSEN, P. C.Software testing: a craftsman’s approach. [S.l.]: CRC press, 2016.
KITIO, R.; BOISSIER, O.; HÜBNER, J. F.; RICCI, A. Organisational artifacts and agents for open multi-agent organisations:“giving the power back to the agents”. In: Coordina-tion, Organizations, Institutions, and Norms in Agent Systems III. [S.l.]: Springer, 2008. p.171–186.
KNUBLAUCH, H. Extreme programming of multi-agent systems. In: AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS: PART 2, 2002.Proceedings. . . [S.l.: s.n.], 2002. p.704–711.
KÖHLER, M.; MOLDT, D.; RÖLKE, H. Modelling the structure and behaviour of Petri net agents.Applications and Theory of Petri Nets 2001, [S.l.], p.224–241, 2001.
KÖSTER, M.; SCHLESINGER, F.; DIX, J. The multi-agent programming contest 2012.
In: INTERNATIONAL WORKSHOP ON PROGRAMMING MULTI-AGENT SYS-TEMS, 2012.Anais. . . [S.l.: s.n.], 2012. p.174–195.
LAM, D. N.; BARBER, K. S. Debugging Agent Behavior in an Implemented Agent Sys-tem. In: PROMAS, 2004.Anais. . . [S.l.: s.n.], 2004. p.104–125.
LESSER, V. R. Cooperative multiagent systems: A personal view of the state of the art.
IEEE Transactions on knowledge and data engineering, [S.l.], v.11, n.1, p.133–142, 1999.
MACIEL, P. R.; LINS, R. D.; CUNHA, P. R.Introdução às redes de Petri e aplicações.
[S.l.]: UNICAMP-Instituto de Computacao, 1996.
MALONE, T. W.; CROWSTON, K. The interdisciplinary study of coordination. ACM Computing Surveys (CSUR), [S.l.], v.26, n.1, p.87–119, 1994.
MILLER, T.; PADGHAM, L.; THANGARAJAH, J. Test coverage criteria for agent in-teraction testing. In: Agent-oriented Software Engineering XI. [S.l.]: Springer, 2011.
p.91–105.
MURATA, T. Petri nets: Properties, analysis and applications.Proceedings of the IEEE, [S.l.], v.77, n.4, p.541–580, 1989.
MYERS, G. J.; SANDLER, C.; BADGETT, T.The art of software testing. [S.l.]: John Wiley & Sons, 2011.
NGUYEN, C. D.; PERINI, A.; TONELLA, P. Goal-oriented testing for MASs. Inter-national Journal of Agent-Oriented Software Engineering, [S.l.], v.4, n.1, p.79–109, 2009.
NGUYEN, D. C. Testing techniques for software agents. 2009. Tese (Doutorado em Ciência da Computação) — University of Trento.
NÚÑEZ, M.; RODRÍGUEZ, I.; RUBIO, F. Specification and testing of autonomous agents in e-commerce systems. Software Testing, Verification and Reliability, [S.l.], v.15, n.4, p.211–233, 2005.
NWANA, H. S. Software agents: An overview. The knowledge engineering review, [S.l.], v.11, n.3, p.205–244, 1996.
ODELL, J. J.; PARUNAK, H. V. D.; FLEISCHER, M. The role of roles in designing effective agent organizations. In: INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR LARGE-SCALE MULTI-AGENT SYSTEMS, 2002. Anais. . . [S.l.: s.n.], 2002. p.27–38.
PADGHAM, L.; WINIKOFF, M.; POUTAKIDIS, D. Adding debugging support to the Prometheus methodology. Engineering Applications of Artificial Intelligence, [S.l.], v.18, n.2, p.173–190, 2005.
PETERSON, J. L. Petri nets.ACM Computing Surveys (CSUR), [S.l.], v.9, n.3, p.223–
252, 1977.
POUTAKIDIS, D.; WINIKOFF, M.; PADGHAM, L.; ZHANG, Z. Debugging and tes-ting of multi-agent systems using design artefacts.Multi-Agent Programming:, [S.l.], p.215–258, 2009.
PRESSMAN, R. S. Software engineering: a practitioner’s approach. [S.l.]: Palgrave Macmillan, 2005.
RATZER, A. V.; WELLS, L.; LASSEN, H. M.; LAURSEN, M.; QVORTRUP, J. F.;
STISSING, M. S.; WESTERGAARD, M.; CHRISTENSEN, S.; JENSEN, K. CPN to-ols for editing, simulating, and analysing coloured Petri nets. In: INTERNATIONAL CONFERENCE ON APPLICATION AND THEORY OF PETRI NETS, 2003.Anais. . . [S.l.: s.n.], 2003. p.450–462.
RODRIGUES, L.; CARVALHO, G.; PAES, R.; LUCENA, C. Towards an integration test architecture for open MAS. In: SOFTWARE ENGINEERING FOR AGENT-ORIENTED SYSTEMS/SBES, 1., 2005.Anais. . . [S.l.: s.n.], 2005. p.60–66.
ROUFF, C. A test agent for testing agents and their communities. In: AEROSPACE CONFERENCE PROCEEDINGS, 2002. IEEE, 2002.Anais. . . [S.l.: s.n.], 2002. v.5, p.5–
2638.
RUSSELL, S. J.; NORVIG, P.Artificial intelligence: a modern approach (International Edition). [S.l.]:{Pearson US Imports & PHIPEs}, 2002.
SEN, S.; AIRIAU, S. Emergence of norms through social learning. In: IJCAI, 2007.
Anais. . . [S.l.: s.n.], 2007. v.1507, p.1512.