Automated analysis and verification of agent behavior

Proceedings of the International Conference on Autonomous Agents

Volumn 2006, Issue , 2006, Pages 1317-1319

  Bosse, Tibor ^a   Lam, Dung N ^b   Barber, K Suzanne ^b  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

Agent oriented software engineering; Debugging; Maintenance; Reverse engineering; Software comprehension; Tracer; Verification of agent systems

Indexed keywords

AGENT-ORIENTED SOFTWARE ENGINEERING; SOFTWARE COMPREHENSION; TRACERS;

AUTOMATION; AUTONOMOUS AGENTS; PROGRAM DEBUGGING; SOFTWARE ENGINEERING; SYSTEMS ANALYSIS; UNMANNED AERIAL VEHICLES (UAV); USER INTERFACES;

MULTI AGENT SYSTEMS;

EID: 34247273001     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1160633.1160876     Document Type: Conference Paper

References (10)

1. Bosse, T., Jonker, C.M., Meij, L. van der, and Treur, J. A Temporal Trace Language for the Formal Analysis of Dynamic Properties. Technical Report, Vrije Universiteit Amsterdam, 2005.
2. Chikofsky, E.J. and Cross, J.H. Reverse Engineering and Design Recovery: A Taxonomy. IEEE Software, vol. 7(1), 1990, pp. 13-17.
3. Clarke, E.M., Grumberg, O., and Peled, D.A. Model checking. MIT Press, 2000.
4. Edmonds, B. and Bryson, J. The Insufficiency of Formal Design Methods. In: Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS '04, 2004, pp. 938-946.
5. Finnigan, P.J., Holt, R.C., Kalas, I., Kerr, S., Kontogiannis, K., Müller, H.A., Mylopoulos, J., Perelgut, S.G., Stanley, M., and Wong, K. The Software Bookshelf. IBM Systems Journal, vol. 36(4), 1997, pp. 564-593.
6. Garcia-Molina, H., Germano, F., and Kohler, W. Debugging a Distributed Computer System. IEEE Transactions on Software-Engineering, SE-10 (2), 1984, pp. 210-219.
7. Lam, D.N. and Barber, K.S. Comprehending Agent Software. In: Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS'05, 2005, pp. 586-593.
8. Lam, D. N. and Barber, K. S. Debugging Agent Behavior in an Implemented Agent System. In: Bordini, R.H., Dastani, M., Dix, J., Seghrouchni, A.E.F. (Eds.), Programming Multi-Agent Systems (Selected Revised and Invited Papers), Springer LNCS, vol. 3346, 2005, pp. 103-125.
9. Larsen, K.G., Petterson, P., and Yi, W. UPPAAL in a nutshell. International Journal on Software Tools for Technology Transfer, 1(1-2), 1997, pp. 134-152.
10. Ndumu, D., Nwana, H., Lee, L., and Collis, J. Visualising and Debugging Distributed Multi-Agent Systems. In: Proceedings of the Third Annual Conference on Autonomous Agents, 1999, pp. 326-333.