Debugging complex software systems by means of pathfinder networks

Information Sciences

Volumn 180, Issue 5, 2010, Pages 561-583

  Serrano, Emilio ^a   Quirin, Arnaud ^b   Botia, Juan ^a   Cordón, Oscar ^b  

^a UNIVERSITY OF MURCIA   (Spain)

^b EUROPEAN CENTRE FOR SOFT COMPUTING   (Spain)

Author keywords

Complex systems; Debugging; Forensic analysis; Multi agent systems; Pathfinder networks

Indexed keywords

COMPLEX SOFTWARE SYSTEMS; COMPLEX SYSTEMS; COMPLEX TASK; COMPLEX TISSUES; CUSTOMIZABLE; DATA COMPLEXITY; DEBUGGING PROCESS; EMERGENT BEHAVIORS; FORENSIC ANALYSIS; GLOBAL INTERACTION; HUMAN BEING; PATHFINDER NETWORKS; SOCIAL BEHAVIOR; VISUALIZATION OF INFORMATION;

LARGE SCALE SYSTEMS; PROGRAM DEBUGGING;

MULTI AGENT SYSTEMS;

EID: 71849094330     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2009.11.007     Document Type: Article

References (61)

1. Bauer A.L., Beauchemin C.A.A., and Perelson A.S. Agent-based modeling of host-pathogen systems: the successes and challenges. Information Sciences 179 10 (2009) 1379-1389. http://dx.doi.org/10.1016/j.ins.2008.11.012 URL
2. Bezdek J. Pattern Recognition with Fuzzy Objective Function Algorithms (1981), Plenum Press, New York
3. Bordini R.H., Costa A.C.d.R., Hübner J.F., Okuyama F.Y., Moreira l.F., and Vieira R. {MAS-SOC}: a social simulation platform based on agent-oriented programming. Journal of Artificial Societies and Social Simulation 8 3 (2005) 7. http://jasss.soc.surrey.ac.uk/8/3/7.html URL
4. R.H. Bordini, M. Dastani, J. Dix, A.E. Fallah-Seghrouchni, (Eds.), Programming Multi-Agent Systems, Fourth International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers, Lecture Notes in Computer Science, vol. 4411, Springer, 2007.
5. J.A. Botia, J.M. Hernansaez, A.F. Gómez-Skarmeta, On the application of clustering techniques to support debugging large-scale multi-agent systems, in: Programming Multi-Agent Systems, Fourth International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers, Lecture Notes in Computer Science, vol. 4411, Springer, 2006, pp. 217-227. URL .
6. Chen C. Information Visualization and Virtual Environments (1999), Springer, Berlin, Germany; New York
7. Chen C. Information Visualization: Beyond the Horizon (2004), Springer, Berlin, Germany
8. Chen C., Kuljis J., and Paul R. Visualizing latent domain knowledge. IEEE Transactions on Systems, Man, and Cybernetics, Part C 31 4 (2001) 518-529
9. C. Chen, S. Morris, Visualizing evolving networks: Minimum spanning trees versus pathfinder networks, in: Information Visualization, IEEE Symposium on 09.2003. URL .
10. R. Coelho, U. Kulesza, A. von Staa, C. Lucena, Unit testing in multi-agent systems using mock agents and aspects, in: SELMAS '06: Proceedings of the 2006 International Workshop on Software Engineering for Large-scale Multi-agent Systems, ACM, New York, NY, USA, 2006, pp. 83-90. URL .
11. Cormen T.H., Leiserson C.E., Rivest R.L., and Stein C. Introduction to Algorithms. second ed. (2001), The MIT Press
12. R.S. Cost, Y. Chen, T.W. Finin, Y. Labrou, Y. Peng, Using colored petri nets for conversation modeling, in: Issues in Agent Communication. Springer-Verlag, London, UK, 2000, pp. 178-192.
13. Dearholt D., and Schvaneveldt R. Properties of pathfinder networks. In: Schvaneveldt R. (Ed). Pathfinder Associative Networks: Studies in Knowledge Organization (1990), Ablex Publishing Corporation 1-30
14. Duda R.O., Hart P.E., and Stork D.G. Pattern Classification. second ed. (2000), Wiley-Interscience. http://www.amazon.ca/exec/obidos/redirect?tag=citeulike%09-20&path=ASIN/0471056693 November URL
15. M.B. Dwyer, L.A. Clarke, Data flow analysis for verifying properties of concurrent programs, in: SIGSOFT: Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, ACM, New York, NY, USA, 1994, pp. 62-75. URL .
16. J. Ferber, Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence, Addison-Wesley Professional, February 1999. URL .
17. J.J. Gómez-Sanz, J. Botia, E. Serrano, J. Pavón, Testing and debugging of MAS interactions with INGENIAS, in: Agent-Oriented Software Engineering IX: 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers, Springer-Verlag, Berlin, Heidelberg, 2009, pp. 199-212. URL .
18. Guerrero-Bote V., Zapico-Alonso F., Espinosa-Calvo M., Gómez-Crisóstomo R., and Moya-Anegón F. Binary pathfinder: an improvement to the pathfinder algorithm. Information Processing and Management 42 (2006) 1484-1490
19. Harel D., and Politi M. Modeling Reactive Systems with Statecharts: The Statemate Approach (1998), McGraw-Hill, Inc., New York, NY, USA
20. Hu H.-L., and Chen Y.-L. Mining typical patterns from databases. Information Sciences 178 19 (2008) 3683-3696. http://dx.doi.org/10.1016/j.ins.2008.05.036 URL
21. Huizinga D.M., Phung D., and Ryu T. Automated defect prevention with visual studio team system: a case study for software engineering. In: Arabnia H.R., and Reza H. (Eds). Software Engineering Research and Practice (2008), CSREA Press 32-38
22. S. Johnson, Emergence: The Connected Lives of Ants, Brains, Cities, and Software, Scribner, September 2002. URL .
23. Kamada T., and Kawai S. An algorithm for drawing general undirected graphs. Information Processing Letters 31 1 (1989) 7-15
24. Keil D., and Goldin D.Q. Indirect interaction in environments for multi-agent systems E4MAS. In: Weyns D., Parunak H.V.D., and Michel F. (Eds). Lecture Notes in Computer Science vol. 3830 (2005), Springer 68-87
25. Keim D.A. Information visualization and visual data mining. IEEE Transactions on Visualization and Computer Graphics 08 1 (2002) 1-8. http://doi.ieeecomputersociety.org/10.1109/2945.981847 URL .
26. Kudikyala U., and Vaughn R. Software requirement understanding using pathfinder networks: discovering and evaluating mental models. Journal of Systems and Software 74 1 (2005) 101-108
27. S. Kumar, E. Spafford, An application of pattern matching in intrusion detection, Technical Report, Purdue University, Department of Computer Sciences, 1994.
28. D.N. Lam, K.S. Barber, Comprehending agent software, in: AAMAS '05: Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems, ACM, New York, NY, USA, 2005, pp. 586-593.
29. Lamport L. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM 21 7 (1978) 558-565. http://doi.acm.org/10.1145/359545.359563 URL
30. M. Last, M. Friedman, A. Kandel, The data mining approach to automated software testing, in: KDD '03: Proceedings of the Ninth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, ACM, New York, NY, USA, 2003, pp. 388-396. URL .
31. R. Miles, AspectJ Cookbook, 2004. ISBN 10: 0-596-00654-3.
32. Moya-Anegón F., Vargas-Quesada B., Chinchilla-Rodríguez Z., Corera-Álvarez E., González-Molina A., Muńoz-Fernández F., and Herrero-Solana V. Visualizing the marrow of science. Journal of the American Society for Information Science and Technology 58 14 (2007) 2167-2179
33. Myers G.J., Sandler C., Badgett T., and Thomas T.M. The Art of Software Testing. second ed (2004), Wiley. http://www.amazon.ca/exec/obidos/redirect?tag=citeulike%09-20&path=ASIN/0471469122 URL
34. D.T. Ndumu, H.S. Nwana, L.C. Lee, J.C. Collis, Visualising and debugging distributed multi-agent systems, in: AGENTS '99: Proceedings of the Third Annual Conference on Autonomous Agents, 1999a, pp. 326-333.
35. D.T. Ndumu, H.S. Nwana, L.C. Lee, J.C. Collis, Visualising and debugging distributed multi-agent systems, in: AGENTS'99: Proceedings of the Third Annual Conference on Autonomous Agents, ACM, New York, NY, USA, 1999b, pp. 326-333. URL .
36. M. Nowostawski, M. Purvis, S. Cranefield, Modelling and visualizing agent conversations, in: AGENTS '01: Proceedings of the Fifth International Conference on Autonomous Agents, ACM, New York, NY, USA, 2001, pp. 234-235. URL .
37. G.M.P. O'Hare, M.J. Wooldridge, A software engineering perspective on multi-agent system design: experience in the development of MADE, in: Distributed Artificial Intelligence: Theory and Praxis, Kluwer Academic Publishers, Norwell, MA, USA, 1992, pp. 109-127. ISBN 0-7923-1585-5.
38. H.V.D. Parunak, Visualizing agent conversations: using enhanced dooley graphs for agent design and analysis, in: Proceedings of the Second International Conference on Multiagent Systems, AAAI Press, Menlo Park, California, 1996, pp. 275-282.
39. S. Paurobally, Developing agent interaction protocols using graphical and logical methodologies, in: PROMAS, LNCS, vol. 3067, Springer, 2003, pp. 149-168.
40. J. Pavón, J. Gómez-Sanz, R. Fuentes, Agent-oriented methodologies, Chapter the INGENIAS Methodology and Tools, Idea Group Publishing, 2005, pp. 236-276.
41. S.P. Peisert, A model of forensic analysis using goal-oriented logging, Ph.D. Thesis, La Jolla, CA, USA, Adviser-Sidney Karin, 2007.
42. W. Peng, W. Krueger, A. Grushin, P. Carlos, V. Manikonda, M. Santos, Graph-based methods for the analysis of large-scale multiagent systems, in: AAMAS '09: Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems, International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2009, pp. 545-552.
43. D. Poutakidis, L. Padgham, M. Winikoff, Debugging multi-agent systems using design artifacts: the case of interaction protocols, in: AAMAS '02: Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems, ACM, New York, NY, USA, 2002, pp. 960-967. URL .
44. D. Poutakidis, L. Padgham, M. Winikoff, An exploration of bugs and debugging in multi-agent systems, in: AAMAS '03: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems, ACM, New York, NY, USA, 2003, pp. 1100-1101. URL .
45. Quirin A., Cordón O., Guerrero-Bote V.P., Vargas-Quesada B., and Moya-Anegón F. A quick MST-based algorithm to obtain pathfinder networks. Journal of the American Society for Information Science and Technology 59 12 (2008) 1912-1924
46. Quirin A., Cordón O., Santamaría J., Vargas-Quesada B., and Moya-Anegón F. A new variant of the pathfinder algorithm to generate large visual science maps in cubic time. Information Processing and Management 44 4 (2008) 1611-1623
47. Rosen K.H. Discrete Mathematics and Its Applications (1998), McGraw-Hill Higher Education
48. M. Schut, On model design for simulation of collective intelligence, Information Sciences, 2009. URL .
49. Schvaneveldt R.W., Durso F.T., and Dearholt D.W. Network structures in proximity data. The Psychology of Learning and Motivation: Advances in Research and Theory 5 24 (1989) 249-284
50. Scott J. Social Network Analysis: A Handbook. second ed. (2000), Sage, Newberry Park
51. E. Serrano, J. Botia, Infrastructure for forensic analysis of multi-agent systems, in: Programming Multi-Agent Systems: Sixth International Workshop, PROMAS 2008 Estoril, Portugal, May 12-13, 2008, Revised Selected Papers. Springer-Verlag, Berlin, Heidelberg, 2009, pp. 168-183. URL .
52. Serrano E., Gómez-Sanz J.J., Botia J.A., and Pavón J. Intelligent data analysis applied to debug complex software systems. Neurocomputing 72 13-15 (2009) 2785-2795. http://dx.doi.org/10.1016/j.neucom.2008.10.025 URL
53. S. Shope, J. DeJoode, N. Cooke, H. Pedersen, Using pathfinder to generate communication networks in a cognitive task analysis, in: Proceedings of the Human Factors and Ergonomics Society, 48th Annual Meeting, 2004, pp. 678-682.
54. Simon H.A. The architecture of complexity. Proceedings of the American Philosophical Society 106 6 (1962) 467-482. http://dx.doi.org/10.2307/985254 URL
55. S. Staniford-Chen, S. Cheung, R. Crawford, M. Dilger, J. Frank, J.H.K. Levitt, C. Wee, R. Yip, D. Zerkle, The design of grids: a graph-based intrusion detection system, Technical Report, Department of Computer Science, University of California at Davis, 1999.
56. Tsai W.-T., Zhou X., Chen Y., and Bai X. On testing and evaluating service-oriented software. Computer 41 8 (2008) 40-46. http://doi.ieeecomputersociety.org/10.1109/MC.2008.304 URL
57. Vargas-Quesada B., and de Moya-Anegón F. Visualizing the Structure of Science (2007), Springer, New York
58. G. Vigueras, J.A. Botia, Tracking causality by visualization of multi-agent interactions using causality graphs, in: M. Dastani, A.E. Fallah-Seghrouchni, A. Ricci, M. Winikoff, PROMAS, Lecture Notes in Computer Science, vol. 4908, Springer, 2007, pp. 190-204.
59. G. Vigueras, J.J. Gómez, J.A. Botia, J. Pavón, Using semantic causality graphs to validate MAS models, in: Hybrid Artificial Intelligence Systems Workshop (HAIS 07), Salamanca (Spain), 2007.
60. Zernick D., Snir M., and Malki D. Using visualization tools to understand concurrency. IEEE Software 9 3 (1992) 87-92. http://dx.doi.org/10.1109/52.136185 URL
61. Zhu W. Relationship between generalized rough sets based on binary relation and covering. Information Sciences 179 3 (2009) 210-225. http://dx.doi.org/10.1016/j.ins.2008.09.015 URL