{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T11:13:41Z","timestamp":1768562021116,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540245599","type":"print"},{"value":"9783540322603","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-32260-3_6","type":"book-chapter","created":{"date-parts":[[2010,7,2]],"date-time":"2010-07-02T17:52:21Z","timestamp":1278093141000},"page":"104-125","source":"Crossref","is-referenced-by-count":27,"title":["Debugging Agent Behavior in an Implemented Agent System"],"prefix":"10.1007","author":[{"given":"Dung N.","family":"Lam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K. Suzanne","family":"Barber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1023\/A:1010071910869","volume":"3","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge, M., Jennings, N.R., Kinny, D.: The GAIA methodology for agent-oriented analysis and design. Journal of Autonomous Agents and Multi-Agent Systems\u00a03, 285\u2013312 (2000)","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1142\/S0218194001000542","volume":"11","author":"S.A. DeLoach","year":"2001","unstructured":"DeLoach, S.A., Wood, M.F., Sparkman, C.H.: Multiagent systems engineering. International Journal of Software Engineering and Knowledge Engineering\u00a011, 231\u2013258 (2001); World Scientific Publishing Company","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Dignum, V., Vazquez-Salceda, J., Dignum, F.: OMNI: Introducing social structure, norms and ontologies into agent organizations. In: Second International Workshop on Programming Multi-Agent Systems at the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems, New York, NY, pp. 91\u2013102 (2004)","DOI":"10.1007\/978-3-540-32260-3_10"},{"key":"6_CR4","unstructured":"JADE: Java agent development framework (2000), http:\/\/sharon.cselt.it\/projects\/jade\/"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1145\/301136.301234","volume-title":"Third International Conference on Autonomous Agents","author":"H.S. Nwana","year":"1999","unstructured":"Nwana, H.S., Ndumu, D.T., Lee, L.C., Collis, J.C.: ZEUS: A toolkit for building distributed multi-agent systems. In: Etzioni, O., Muller, J.P., Bradshaw, J.M. (eds.) Third International Conference on Autonomous Agents, Seattle, WA, pp. 360\u2013361. ACM Press, New York (1999)"},{"key":"6_CR6","unstructured":"Poslad, S., Buckle, P., Hadingham, R.: The FIPA-OS agent platform: Open source for open standards. In: Fifth International Conference and Exhibition on the Practical Application of Intelligent Agents and Multi-Agents, Manchestor, UK, pp. 355\u2013368 (2000)"},{"key":"6_CR7","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/B978-0-934613-38-5.50008-8","volume-title":"Distributed Artificial Intelligence","author":"L. Gasser","year":"1987","unstructured":"Gasser, L., Braganza, C., Herman, N.: MACE: A flexible testbed for distributed AI research. In: Huhns, M.N. (ed.) Distributed Artificial Intelligence, pp. 119\u2013152. Morgan Kaufmann, San Mateo (1987)"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Doi, T., Yoshioka, N., Tahara, Y., Honiden, S.: Bridging the gap between AUML and implementation using FOPL. In: Second International Workshop on Programming Multi-Agent Systems at the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems, New York, NY, pp. 69\u201378 (2004)","DOI":"10.1007\/978-3-540-32260-3_8"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Braubach, L., Pokahr, A., Lamersdorf, W., Moldt, D.: Goal representation for BDI agent systems. In: Second International Workshop on Programming Multi-Agent Systems at the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems, New York, NY, pp. 9\u201320 (2004)","DOI":"10.1007\/978-3-540-32260-3_3"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-48437-X_1","volume-title":"Multi-Agent System Engineering","author":"N.R. Jennings","year":"1999","unstructured":"Jennings, N.R.: Agent-oriented software engineering. In: Garijo, F.J., Boman, M. (eds.) MAAMAW 1999. LNCS, vol.\u00a01647, pp. 1\u20137. Springer, Heidelberg (1999)"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Ross, R., Collier, R., O\u2019Hare, G.M.: AF-APL \u2013 bridging principles & practice in agent oriented languages. In: Second International Workshop on Programming Multi-Agent Systems at the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems, New York, NY, pp. 21\u201333 (2004)","DOI":"10.1007\/978-3-540-32260-3_4"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Suna, A., Fallah-Seghrouchni, A.E.: A mobile agents platform: Architecture, mobility and security elements. In: Second International Workshop on Programming Multi-Agent Systems at the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems, New York, NY, pp. 57\u201366 (2004)","DOI":"10.1007\/978-3-540-32260-3_7"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Devanbu, P.T.: GENOA- a customizable, language- and front-end independent code analyzer. In: Fourteenth International Conference on Software Engineering, Melbourne, Australia, pp. 307\u2013319 (1992)","DOI":"10.1109\/ICSE.1992.753508"},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1145\/175290.175300","volume":"37","author":"T.J. Biggerstaff","year":"1994","unstructured":"Biggerstaff, T.J., Mitbander, B.G., Webster, D.: Program understanding and the concept assignment problem. Communications of the ACM\u00a037, 72\u201383 (1994)","journal-title":"Communications of the ACM"},{"key":"6_CR15","unstructured":"Barber, K.S., Lam, D.: Enabling abductive reasoning for agent software comprehension. In: 18th International Joint Conference on Artificial Intelligence Workshop on Agents and Automated Reasoning, Acapulco, Mexico, pp. 7\u201313 (2003)"},{"key":"6_CR16","unstructured":"Sun Microsystems, Inc.: Java Logging API (2002), http:\/\/java.sun.com\/j2se\/1.4\/docs\/guide\/util\/logging"},{"key":"6_CR17","unstructured":"Grahlmann, B., Pohl, C.: Profiting from SPIN in PEP. In: SPIN 1998 Workshop (1998)"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Bose, P.: Automated translation of uml models of architectures for verification and simulation using SPIN. In: IEEE International Conference on Automated Software Engineering, pp. 102\u2013109 (1999)","DOI":"10.1109\/ASE.1999.802135"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Barber, K.S., Graser, T.J., Holt, J.: Providing early feedback in the development cycle through automated application of model checking to software architectures. In: 16th International Conference on Automated Software Engineering, San Diego, CA, pp. 341\u2013345 (2001)","DOI":"10.1109\/ASE.2001.989825"},{"key":"6_CR20","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1145\/860575.860641","volume-title":"Second International Joint Conference on Autonomous Agents and Multi-Agent Systems","author":"R.H. Bordini","year":"2003","unstructured":"Bordini, R.H., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking AgentSpeak. In: Rosenschein, J.S., Sandholm, T., Michael, W., Yokoo, M. (eds.) Second International Joint Conference on Autonomous Agents and Multi-Agent Systems, Melbourne, Australia, pp. 409\u2013416. ACM Press, New York (2003)"},{"key":"6_CR21","unstructured":"Edmonds, B., Bryson, J.: The insufficiency of formal design methods. In: Third International Joint Conference on Autonomous Agents and Multi-Agent Systems, pp. 938\u2013946 (2004)"}],"container-title":["Lecture Notes in Computer Science","Programming Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-32260-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T17:57:54Z","timestamp":1559239074000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-32260-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540245599","9783540322603"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-32260-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}