Formal modeling and verification of real-time multi-agent systems: The REMM Framework

Studies in Computational Intelligence

Volumn 162, Issue , 2008, Pages 187-196

  Moscato, Francesco ^a   Venticinque, Salvatore ^b   Aversa, Rocco ^b   Di Martino, Beniamino ^b  

^a UNIVERSITY OF NAPLES FEDERICO II   (Italy)

^b SECOND UNIVERSITY OF NAPLES   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 51849092652     PISSN: 1860949X     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-540-85257-5_19     Document Type: Conference Paper

References (14)

1. d'Inverno, M., Luck, M., Georgeff, M., Kinny, D., Wooldridge, M.: The dMARS Architechure: A Specification of the Distributed Multi-Agent Reasoning System. Journal of Autonomous Agents and Multi-Agent Systems 9(1-2), 5-53 (2004)
2. Himoff, J., Skobelev, P., Wooldridge, M.: MAGENTA Technology: Multi-Agent Systems for Industrial Logistics. In: Proceedings of the AAMAS 2005, Industry Track, Utrecht, The Netherlands (2005)
3. Kavi, K., Aborizka, M., Kung, D.: A framework for designing, modeling and analyzing agent based software systems. In: Proc. of 5th International Conference on Algorithms & Architectures for Parallel Processing, Beijing, China, October 23-25 (2002)
4. Silva, V., Lucena, C.: From a Conceptual Framework for Agents and Objects to a Multi-Agent System Modeling Language. Journal of Autonomous Agents and Multi-Agent Systems 9(1-2), 145-189 (2004)
5. Zhang, L.: Development Method for Multi-Agent Real-Time Systems. International Journal of Information Technology 12(5) (2006)
6. Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: A BDI Reasoning Engine. In: Bordini, R., Dastani, M., Dix, J., Seghrouchni, A. (eds.) Multi-Agent Programming. Kluwer, Dordrecht (2005)
7. Wooldridge, M., Huget, M.-P., Fisher, M., Parsons, S.: Model Checking Multi-Agent Systems: The MABLE Language and Its Applications. International Journal on Artificial Intelligence Tools 15(2), 195-225 (2006)
8. Wooldridge, M.: An Automata-theoretic approach to multiagent planning. In: Proceedings of the First European Workshop on Multiagent Systems (EUMAS 2003). Oxford University, Oxford (2003)
9. Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifiable multi-agent programs. In: Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol. 3067, pp. 72-89. Springer, Heidelberg (2004)
10. Behrmann, G., David, A., Larsen, K.G.: A Tutorial on Uppaal. In: Department of Computer Science. Aalborg University, Denmark (2004)
11. Bellifemine, F., Caire, G., Poggi, A., Rimassa, G.: JADE - A white paper. EXP in search of innovation - Special Issue on JADE TILAB Journal (2003)
12. Wong, S.: StarUML Tutorial [Connexions Web site] (September 10, 2007), http://cnx.org/content/m15092/1.1/
13. Trencansky, I., Cervenka, R., Greenwood, D.: Applying a UML-based agent modeling language to the autonomic computing domain. In: Companion to the 21st ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications OOPSLA 2006, Portland, Oregon, USA, October 22 - 26, pp. 521-529. ACM, New York (2006)
14. Kaminka, G.A., Veloso, M., Schaffer, S., Sollitto, C., Adobbati, R., MarsTal, A.N., Scholer, A.S., Tejada, S.: GameBots: the ever-challenging multi-agent research testbed. Communications of the ACM (January 2002)