Model-checking agent refinement

Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS

Volumn 2, Issue , 2008, Pages 694-701

  Aştefǎnoaei, Lǎcrǎmioara ^a   De Boer, Frank S ^a  

^a CWI   (Netherlands)

Author keywords

BDI; Non determinism; Refinement; Rewriting; Simulation

Indexed keywords

AUTONOMOUS AGENTS; MODEL CHECKING; SPECIFICATIONS;

BDI; NON-DETERMINISM; REFINEMENT; REWRITING; SIMULATION;

MULTI AGENT SYSTEMS;

EID: 84899972601     PISSN: 15488403     EISSN: 15582914     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. F. Arbab. Reo: a channel-based coordination model for component composition. Mathematical Structures in Computer Science, 14(3):329-366, 2004.
2. R. H. Bordini, M. Fisher, W. Visser, and M. Wooldridge. Verifying multi-agent programs by model checking. Autonomous Agents and Multi-Agent Systems, 12(2):239-256, 2006.
3. T. Bosse, C. M. Jonker, L. van der Meij, A. Sharpanskykh, and J. Treur. Specification and verification of dynamics in cognitive agent models. In I AT, pages 247-254, 2006.
4. M. Bratman. Intentions, Plans, and Practical Reason. Harvard University Press, 1987.
5. K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison Wesley Publishing Company, Inc., Reading, Massachusetts, 1988.
6. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Marti-Oliet, J. Meseguer, and J. F. Quesada. Maude: Specification and programming in rewriting logic. Theoretical Computer Science, 2001.
7. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and C. L. Talcott. AU About Maude-A High-Performance Logical Framework, volume 4350 of Lecture Notes in Computer Science. Springer, 2007.
8. 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. J. Applied Logic, 5(2):277-302, 2007.
9. J. Edmund M. Clarke, O. Grumberg, and D. A. Peled. Model checking. MIT Press, Cambridge, MA, USA, 1999.
10. S. Eker, J. Meseguer, and A. Sridharanarayanan. The Maude LTL model checker and its implementation. In Model Checking Software: Proc. 10 th Intl. SPIN Workshop, volume 2648 of LNCS, pages 230-234. Springer, 2003.
11. K. V. Hindriks, F. S. de Boer, W. van der Hoek, and J.-J. C. Meyer. Agent programming in 3apl. Autonomous Agents and Multi-Agent Systems, 2(4):357-401, 1999.
12. Z. Manna and A. Pnueli. The temporal logic of reactive and concurrent systems. Springer-Verlag New York, Inc., New York, NY, USA, 1992.
13. J. Meseguer and G. Rosu. Rewriting logic semantics: From language specifications to formal analysis tools.
14. F. Raimondi and A. Lomuscio. Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams. J. Applied Logic, 5(2):235-251, 2007.
15. S. Safra. Complexity of automata on infinite objects. PhD thesis, Rehovot, Israel, 1989.
16. M. B. van Riemsdijk, F. S. de Boer, M. Dastani, and J.-J. C. Meyer. Prototyping 3apl in the maude term rewriting language. In AAMAS '06: Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems, pages 1279-1281, New York, NY, USA, 2006. ACM Press.
17. A. Verdejo and N. Martí-Oliet. Two case studies of semantics execution in maude: Ces and lotos. Form. Methods Syst. Des., 27(1/2): 113-172, 2005.