Automated verification of multi-agent programs

ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, Proceedings

Volumn , Issue , 2008, Pages 69-78

  Bordini, Rafael H ^a   Dennis, Louise A ^b   Farwer, Berndt ^a   Fisher, Michael ^b  

^a DURHAM UNIVERSITY   (United Kingdom)

^b UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AGENTS; AUTOMATION; AUTONOMOUS AGENTS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; COMPUTER SOFTWARE SELECTION AND EVALUATION; COMPUTER SYSTEMS PROGRAMMING; COMPUTERS; JAVA PROGRAMMING LANGUAGE; LINGUISTICS; MODEL CHECKING; OBJECT ORIENTED PROGRAMMING; QUERY LANGUAGES; SOFTWARE ENGINEERING;

AGENT INFRASTRUCTURES; AGENT PROGRAMMING LANGUAGES; AUTOMATED VERIFICATIONS; CHECKING EXPERIMENTS; FLEXIBLE MODELS; JAVA PATHFINDERS; MULTI AGENTS; PROGRAMMING LANGUAGES; TASK SHARING; TEMPORAL LANGUAGES; VERIFICATION FRAMEWORKS;

MULTI AGENT SYSTEMS;

EID: 56249145189     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2008.17     Document Type: Conference Paper

References (37)

1. M. Wooldridge and N. R. Jennings, "Intelligent Agents: Theory and Practice," The Knowledge Engineering Review, vol. 10, no. 2, pp. 115-152, 1995.
2. N. Muscettola, P. P. Nayak, B. Pell, and B. Williams, "Remote Agent: To Boldly Go Where No AI System Has Gone Before," Artificial Intelligence, vol. 103, no. 1-2, pp. 5-48, 1998.
3. A. Moreno and C. Garbay, "Software Agents in Health Care," Artificial Intelligence in Medicine, vol. 27, no. 3, pp. 229-232, 2003.
4. A. S. Rao and M. Georgeff, "BDI Agents: From Theory to Practice," in Proceedings of the First International Conference on Multi-Agent Systems (ICMAS), San Francisco, CA, Jun. 1995, pp. 312-319.
5. N. R. Jennings and M. Wooldridge, "Applications of agent technology," in Agent Technology: Foundations, Applications, and Markets. Springer-Verlag, Heidelberg, 1998.
6. M. Greaves, V. Stavridou-Coleman, and R. Laddaga, "Dependable Agent Systems (Editorial)," IEEE Intelligent Systems, vol. 19, no. 5, pp. 20-23, 2004.
7. M. Fisher, M. P. Singh, D. F. Spears, and M. Wooldridge, "Logic-Based Agent Verification (Editorial)," Journal of Applied Logic, vol. 5, no. 2, pp. 193-195, 2007.
8. "Java PathFinder," http://javapathfinder.sourceforge.net.
9. W. Visser, K. Havelund, G. P. Brat, S. Park, and F. Lerda, "Model Checking Programs," Automated Software Engineering, vol. 10, no. 2, pp. 203-232, 2003.
10. L. A. Dennis, B. Farwer, R. H. Bordini, and M. Fisher, "A Flexible Framework for Verifying Agent Programs (Short Paper)," in Proc. 7th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2008). ACM, 2008, to Appear.
11. L. A. Dennis, B. Farwer, R. H. Bordini, M. Fisher, and M. Wooldridge, "A Common Semantic Basis for BDI Languages," in Proc. 7th International Workshop on Programming Multiagent Systems (ProMAS), ser. Lecture Notes in Artificial Intelligence. Springer Verlag, 2007 (to appear).
12. B. Farwer and L. A. Dennis, "Translating into an Intermediate Agent Layer: A Prototype in Maude," in Proc. International Workshop on Concurrency, Specification and Programming (CS&.P), Lagow, Poland, September 2007.
13. L. A. Dennis and M. Fisher, "Programming Verifiable Heterogeneous Agent Systems," in Proc. 6th International Workshop on Programming Multiagent Systems (ProMAS), 2008, (To appear).
14. R. H. Bordini, M. Dastani, J. Dix, and A. El Fallah Seghrouchni, Eds., Multi-Agent Programming: Languages, Platforms and Applications. Springer-Verlag, 2005.
15. M. Sierhuis, J. M. Bradshaw, A. Acquisti, R. V. Hoof, R. Jeffers, and A. Uszok, "Human-Agent Teamwork and Adjustable Autonomy in Practice," in Proc. 7th International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS), Nara, Japan, 2003.
16. E. Clarke, O. Grumberg, and D. Peled, Model. Checking. MIT Press, Dec. 1999.
17. G. J. Holzmann, The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, November 2003.
18. J. C. Corbett, M. B. Dwyer, J. Hatcliff, and Robby, "Expressing checkable properties of dynamic systems: the Bandera Specification Language," International Journal on Software Tools for Technology Transfer, vol. 4, no. 1, pp. 34-56, 2002.
19. Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems: Specification. New York: Springer-Verlag, 1992.
20. E. A. Emerson, "Temporal and Modal Logic," in Handbook of Theoretical Computer Science, J. van Leeuwen, Ed. Elsevier, 1990, pp. 996-1072.
21. D. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev, ManyDimensional Modal Logics: Theory and Applications, ser. Studies in Logic and the Foundations of Mathematics. Elsevier Science, 2003, no. 148.
22. R. H. Bordini, M. Fisher, W. Visser, and M. Wooldridge, "Model Checking Rational Agents," IEEE Intelligent Systems, vol. 19, no. 5, pp. 46-52, September/October 2004.
23. M. Kacprzak, A. Lomuscio, and W. Penczek, "Verification of Multiagent Systems via Unbounded Model Checking," in Proc. 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS). IEEE Computer Society, 2004, pp. 638-645.
24. R. H. Bordini, M. Fisher, W Visser, and M. Wooldridge, "Verifying Multi-Agent Programs by Model Checking," Journal of Autonomous Agents and Multi-Agent Systems, vol. .12, no. 2, pp. 239-256, March 2006.
25. F. Raimondi and A. Lomuscio, "Automatic Verification of Multi-agent Systems by Model. Checking via Ordered Binary Decision Diagrams," Journal of Applied Logic, vol. 5, no. 2, pp. 235-251, 2007.
26. R. H. Bordini, M. Fisher, W. Visser, and M. Wooldridge, "State-Space Reduction Techniques in Agent Verification," in. Proc. 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS). IEEE Computer Society, 2004, pp. 896-903.
27. F. S. de Boer, K. V. Hindriks, W. van der Hoek, and J.-J. C. Meyer, "A verification framework, for agent programming with declarative goals," Journal of Applied Logic, vol. 5, no. 2, pp. 277-302, 2007.
28. M. Winikoff, "Implementing Commitment-Based Interactions," in Proc. 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS). New York, NY, USA: ACM, 2007, pp. 1-8.
29. M. Dastani, M. B. van Riemsdijk, and J.-J. C. Meyer, "Programming Multi-Agent Systems in 3APL," in Multi-Agent Programming: Languages, Platforms and Applications, R. H. Bordini, M. Dastani, J. Dix, and A. El Fallah Seghrouchni, Eds. Springer-Verlag, 2005, ch. 2, pp. 39-67.
30. A. Rao, "Agentspeak(L): BDI Agents Speak Out in a Logical Computable Language," in Proc. 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW), ser. Lecture Notes in Computer Science, vol. 1038. Springer, 1996, pp. 42-55.
31. R. H. Bordini, J. F. Hübner, and M. Wooldridge, Programming Multi-Agent Systems in AgentSpeak Using Jason, ser. Wiley Series in Agent Technology. John Wiley & Sons, 2007.
32. A. P. Sistla, M. Vardi, and P. Wolper, "The Complementation Problem for Büchi Automata with Applications to Temporal Logic," Theoretical Computer Science, vol. 49, pp. 217-237, 1987.
33. R. Gerth, D. Peled, M. Y. Vardi, and P. Wolper, "Simple On-the-fly Automatic Verification of Linear Temporal Logic," in Proc. 15th Workshop on Protocol Specification Testing and Verification. Warsaw, Poland: Chapman & Hall, 1995, pp. 3-18.
34. "Java PathFinder: Model Java Interface (MJI)," http://javapathfinder.sourceforge.net/The_Model_Java_Interfece.html.
35. T. Gvero, M. Gligoric, S. Lauterburg, M. d'Amorim, D. Marinov, and S. Khurshid, "State extensions for java pathfinder," in ICSE '08: Proceedings of the 30th international conference on Software engineering. New York, NY, USA: ACM, 2008, pp. 863-866.
36. L. A. Dennis and B. Farwer, "Gwendolen: A BDI Language for Verifiable Agents," in Logic and the Simulation of Interaction and Reasoning, B. Löwe, Ed. Aberdeen: AISB, 2008, AISB'08 Workshop.
37. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and C. Talcott, "The Maude 2.0 system," in Rewriting Techniques and Applications (RTA 2003), ser. Lecture Notes in Computer Science, R. Nieuwenhuis, Ed., no. 2706. Springer-Verlag, June 2003, pp. 76-87.