A TOOL ENVIRONMENT FOR SPECIFYING AND VERIFYING MULTI-AGENT SYSTEMS

Christian Schwarz, Ammar Mohammed, Frieder Stolzenburg

2010

Abstract

We present a tool environment with a constraint logic programming core, that allows us to specify multi-agent systems graphically and verify them automatically. This combines the advantages of graphical notations from software engineering and formal methods. We demonstrate this on a Robocup rescue scenario.

References

  1. Apt, K. R. and M. Wallace (2007). Constraint Logic Programming Using ECLiPSe. Cambridge, UK: Cambridge University Press.
  2. Frehse, G. (2005). PHAVer: Algorithmic verification of hybrid systems past HyTech. In M. Morari and L. Thiele (Eds.), Hybrid Systems: Computation and Control, 8th International Workshop, Proceedings, LNCS 3414, pp. 258-273. Springer.
  3. Henzinger, T. (1996). The theory of hybrid automata. In Proceedings of the 11th Annual Symposium on Logic in Computer Science, New Brunswick, NJ, pp. 278-292. IEEE Computer Society Press.
  4. Henzinger, T., P.-H. Ho, and H. Wong-Toi (1995). HyTech: The Next Generation. In IEEE Real-Time Systems Symposium, pp. 56-65.
  5. Mohammed, A. and C. Schwarz (2009). HieroMate: A graphical tool for specification and verification of hierarchical hybrid automata. In B. Mertsching, M. Hund, and Z. Aziz (Eds.), KI 2009: Advances in Artificial Intelligence, Proceedings of 32nd Annual German Conference on Artificial Intelligence, LNAI 5803, Paderborn, pp. 695-702. Springer, Berlin, Heidelberg, New York.
  6. Mohammed, A. and F. Stolzenburg (2008). Implementing hierarchical hybrid automata using constraint logic programming. In S. Schwarz (Ed.), Proceedings of 22nd Workshop on (Constraint) Logic Programming, Dresden, pp. 60-71. University Halle Wittenberg, Institute of Computer Science. Technical Report 2008/08.
  7. Mohammed, A. and F. Stolzenburg (2009). Using constraint logic programming for modeling and verifying hierarchical hybrid automata. Arbeitsberichte des Fachbereichs Informatik 6/2009, Universität Koblenz-Landau.
Download


Paper Citation


in Harvard Style

Schwarz C., Mohammed A. and Stolzenburg F. (2010). A TOOL ENVIRONMENT FOR SPECIFYING AND VERIFYING MULTI-AGENT SYSTEMS . In Proceedings of the 2nd International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-674-022-1, pages 323-326. DOI: 10.5220/0002727703230326


in Bibtex Style

@conference{icaart10,
author={Christian Schwarz and Ammar Mohammed and Frieder Stolzenburg},
title={A TOOL ENVIRONMENT FOR SPECIFYING AND VERIFYING MULTI-AGENT SYSTEMS},
booktitle={Proceedings of the 2nd International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2010},
pages={323-326},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002727703230326},
isbn={978-989-674-022-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - A TOOL ENVIRONMENT FOR SPECIFYING AND VERIFYING MULTI-AGENT SYSTEMS
SN - 978-989-674-022-1
AU - Schwarz C.
AU - Mohammed A.
AU - Stolzenburg F.
PY - 2010
SP - 323
EP - 326
DO - 10.5220/0002727703230326