On the application of clustering techniques to support debugging large-scale multi-agent systems

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

Volumn 4411 LNAI, Issue , 2007, Pages 217-227

  Botía, Juan A ^a   Hernansáez, Juan M ^a   Gómez Skarmeta, Antonio F ^a  

^a UNIVERSITY OF MURCIA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

CLUSTER ANALYSIS; DISTRIBUTED COMPUTER SYSTEMS; LARGE SCALE SYSTEMS; MULTI AGENT SYSTEMS; PROBLEM SOLVING;

CODE DEBUGGING; CONVENTIONAL DATA MINING; DISTRIBUTED SYSTEMS;

PROGRAM DEBUGGING;

EID: 38049156253     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71956-4_13     Document Type: Conference Paper

References (24)

1. S. Abdelwahed and W. M. Wonham. Blocking detection in discrete event systems. In Proceeding of the American Control Conference, pages 1673-1678, Denver, Colorado, 2003.
2. Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Specification and verification of agent interaction using social integrity constraints. Electronic Notes in Theoretical Computer Science, 85(2), 2004.
3. Gregory R. Andrews. Concurrent Programming. Principles and Practice. Addison-Wesley, 1991.
4. Juan A. Botía, Juan M. Hernansáez, and Antonio F. Gómez-Skarmeta. Towards an approach for debugging mas through the analysis of acl messages. Computer Systems Science and Engineering, 20, July 2005.
5. E.M. Clarke, O. Grumber, and D. Peled. Model Checking. MIT Press, 1999.
6. P. R. Cohen and H. J. Levesque. Communicative actions for artificial agents. In Proceedings of the First International Conference on Multi-Agent Systems (ICMAS-95), pages 65-72, San Francisco, CA, June 1995.
7. Dawson Engler and Ken Ashcraft. Racerx: Effective, static detection of race conditions and deadlocks. In Proceedings of the SOSP, 2003.
8. Usama Fayyad, Gregory Piatetsky-Shapiro, and Padhraic Smyth. Data Mining and Its Applications: A General Overview. In Jiawei Han Evangelos Simoudis and Usama Fayyad, editors, The Second International Conference on Knowledge Discovery & Data Mining. AAAI Press, August 1996.
9. FIPA. FIPA Contract Net Interaction Protocol Specification. SC00030, 2002.
10. Foundation for Intelligent Physical Agents. FIPA Communicative Act Library Specification. SC00037, 2002.
11. Sudipto Guha, Rajeev Rastogi, and Kyuseok Shim. ROCK: A robust clustering algorithm for categorical attributes. Information Systems, 25(5):345-366, 2000, (citeseer.nj.nec.com/guha00rock.html).
12. D. N. Lam and K. S. Barber. Comprehending agent software. In AAMAS '05: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, pages 586-593, New York, NY, USA, 2005. ACM Press.
13. J. B. MacQueen. Some methods for classification and analysis of multivariate observations. In 5-th Berkeley Symposium on Mathematical Statistics and Probability, Berkeley, 1967. University of California Press.
14. Tom M. Mitchell. Machine Learning. McGraw-Hill, 1997.
15. Jorg P. Muller. The Design of Intelligent Agents. A Layered Approach, volume 1117 of Lecture Notes in Artificial Intelligence. Springer, 1996.
16. Madanlal Musuvathi, David Y.W. Park, Andy Chou, Dawson R. Engler, and David L. Dill. Cmc: A pragmatic approach to model checking real code. In Proceedings of the OSDI, 2002.
17. David Poutakidis, Lin Padgham, and Michael Winikoff. Debugging multi-agent systems using design artifacts: The case of interaction protocols. In AAMAS'02, Bologna, Italy, July 2002.
18. David Poutakidis, Lin Padgham, and Michael Winikoff. An exploration of bugs and debugging in multi-agent systems, 2003.
19. Wolfgang Reisig. Petri Nets, An Introduction. Springer-Verlag, Berlin, 1985.
20. Reid R. Smith. The contract net protocol: High-level communication and control in a distributed problem solver. In A. H. Bond and L. Gasser, editors, Readings in Distributed Artificial Intelligence, pages 357-366. Morgan Kaufmann Publishers, Los Altos, CA, 1988.
21. Agnieszka Wegrzyn, Andrei Karatkevich, and Jacek Bieganowski. Detection of deadlocks and traps in petri nets by means of thelen's prime implicant method. International Journal of Applied Mathematics and Computer Science, 14(1):113-121, 2004.
22. James A. Whittaker. What is software testing? and why it is so hard? IEEE Software, pages 70-79, January 2000.
23. Graham Wills and Daniel Keim. Data visualization for domain exploration. In Handbook of Data Mining and Knowledge Discovery, pages 226-232. Oxford University Press, 2002.
24. Pin Zhou, Fen Qin, Wei Liu, Yuanyuan Zhou, and Josep Torrellas, iwatcher: Simple, general architectural support for software debugging. IEEE Micro, pages 50-56, November 2004.