Infrastructure for forensic analysis of multi-agent systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5442 LNAI, Issue , 2009, Pages 168-183

  Serrano, Emilio ^a   Botia, Juan A ^a  

^a UNIVERSITY OF MURCIA   (Spain)

Author keywords

Debugging multi agent systems; Forensic analysis

Indexed keywords

DEBUGGING MULTI-AGENT SYSTEMS; DISTRIBUTED SYSTEMS; FORENSIC ANALYSIS; GENERAL APPROACH; OPEN SOURCES;

MOBILE AGENTS;

MULTI AGENT SYSTEMS;

EID: 70349336874     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-03278-3_11     Document Type: Conference Paper

References (25)

1. Iglesias, C.A., Garijo, M., Centeno-González, J.: A Survey of Agent-Oriented Methodologies. In: Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages, July 04-07, pp. 317-330 (1998)
2. Birk, A., DingsØyr, T., Stlhane, T.: Postmortem: Never leave a project without it. IEEE Software, special issue on knowledge management in software engineering 19(3), 43-45 (2002)
3. Black, J.P., Coffin, M.H., Taylor, D.J., Kunz, T., Basten, A.A.: Linking Specifications, Abstraction, and Debugging., CCNG Technical Report E-232, Computer Communications and Network Group, University of Waterloo (November 1993)
4. Bordini, R.H., Dastani, M., Dix, J., Fallah-Seghrouchni, A.E.: Multi-Agent Programming: Languages, Platforms and Applications. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol. 15. Springer, Heidelberg (2005)
5. Botía, J.A., González, J.C., Gómez-Sanz, J., Pavón, J.: The INGENIAS Project. In: 6th International Workshop on Practical Applications on Agents and MultiAgent Systems. IWPAAMS 2007, Salamanca, Spain (2007)
6. Carr, S., Fang, C., Jozwowski, T.R., Mayo, J., Shene, C.-K.: ConcurrentMentor: A Visualization System for Distributed Programming Education. In: The 2003 International Conference on Parallel and Distributed Processing Techniques and Applications, June 23-26, pp. 1676-1682. Las Vegas, Nevada (2003)
7. Dwyer, M., Clarke, L.: Data Flow Analysis for Verifying Properties of Concurrent Programs. In: Proc. of ACM SIGSOFT 1994, New Orleans, LA, USA (1994)
8. Fang, W., Wang, C.-L., Zhu, W., Lau, F.C.M.: PAT: a postmortem object access pattern analysis and visualization tool. In: IEEE International Symposium on Cluster Computing and the Grid, CCGrid 2004 (2004)
9. Fromentin, E., Raynal, M., Garg, V., Tomlinson, A.: On the Fly Testing of Regular Patterns in Distributed Computations. Internal Publication # 817, IRISA, Rennes, France (1994)
10. Hallal, H., Petrenko, A., Ulrich, A., Boroday, S.: Using SDL Tools to Test Properties of Distributed Systems. In: Formal Approches to Testing of Software (FATES 2001), Workshop of the International Conference on Concurrency Theory (CONCUR 2001), Aalborg, Denmark, August 21-24 (2001)
11. Jard, C., Jeron, T., Jourdan, G.V., Rampon, J.X.: A General Approach to Tracechecking in Distributed Computing Systems. In: Proc. IEEE Int. Conf. on Distributed Computing Systems, Poznan, Poland (June 1994)
12. Kumar, S., Spafford, E.: An Application of Pattern Matching in Intrusion Detection. Technical Report 94-013, Purdue University, Department of Computer Sciences (March 1994)
13. Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558-565 (1978)
14. Lee, D.W., Ramakrishna, R.S.: Visok: A Flexible Visualization System for Distributed Java Object Application. In: Proceedings of 14th International Parallel and Distributed Processing Synposium IPDPS 2000, Cancun, Mexico, May 1-5, pp. 393-398 (2000)
15. Luckham, D.C., Frasca, B.: Complex Event Processing in Distributed Systems. Stanford University Technical Report CSL-TR-98-754, 28 pages (March 1998)
16. Mattern, F.: Virtual time and global states of distributed systems. In: Proceedings of the International Workshop on Parallel and Distributed Algorithms. LNCS, pp. 215-226. North-Holland, Amsterdam (1989)
17. Mazouzi, H., Seghrouchni, A.E.F., Haddad, S.: Open protocol design for complex interactions in multi-agent systems. In: AAMAS 2002: Proceedings of the first international joint conference on Autonomous agents and multiagent systems, pp. 517-526. ACM Press, New York (2002)
18. Miles, R.: AspectJ Cookbook, 1st edn., December 2004. Cookbooks, p. 354 (2004) ISBN 10: 0-596-00654-3
19. Myers, G.J.: The Art fo Software Testing. Wiley-Interscience, Hoboken (1979)
20. Rossen, K.H.: Discrete Mathematics and Its Applications, 5th edn. McGraw-Hill, cop., Boston (2003)
21. Stalhane, T., Dingsayr, T., Moe, N.B., Hanssen, G.K.: Post Mortem - An Assessment of Two Approaches, EuroSPI, Limrerick, Ireland (2001)
22. Staniford-Chen, S., Cheung, S., Crawford, R., Dilger, M., Frank, J., Hoaglan, J., Levitt, K., Wee, C., Yip, R., Zerkle, D.: The Design of GrIDS: A Graph-Based Intrusion Detection System. Technical Report, Department of Computer Science, University of California at Davis (January 1999)
23. Van Dyke Parunak, H.: Visualizing Agent Conversations: Using Enhanced Dooley Graphs for Agent Design and Analysis. In: Proceedings of the First International Conference on Multi-Agent Systems
24. Vigueras, G., Botia, J.A.: Tracking causality by visualization of multi-agent interactions using causality graphs. In: Dastani, M., El Fallah Seghrouchni, A., Ricci, A., Winikoff, M. (eds.) ProMAS 2007. LNCS (LNAI), vol. 4908, pp. 190-204. Springer, Heidelberg (2008)
25. Ward, P.A.S.: A Framework Algorithm for Dynamic Centralized Dimension-Bounded Timestamps. In: Proc. of CASCON 2000, Mississauga (2000)