Summary
Multi Agent Systems represent a new approach for modeling complex and distributed systems. Many efforts of software engineering aim at providing methodologies and tools for designing and developing MAS. However formal verification of MAS dependability is still an open issue. Here we focus on modeling, design and verification of real-time properties in MASs. We propose a methodology that supports developers in different phases of MAS developing cycle. We also present an integrated environment that allows for UML design, code generation, time constraints verification and testing of soft-real time MASs. A case of study is described to demonstrate an application of such methodology and the utilization of developed tools.
This work has been supported by LC3 - LABORATORIO PUBBLICO-PRIVATO DI RICERCA SUL TEMA DELLA COMUNICAZIONE DELLE CONOSCENZE CULTURALI - National Project of Ministry of Research MIUR DM17917.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
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)
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)
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)
Zhang, L.: Development Method for Multi-Agent Real-Time Systems. International Journal of Information Technology 12(5) (2006)
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)
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)
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)
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)
Behrmann, G., David, A., Larsen, K.G.: A Tutorial on Uppaal. In: Department of Computer Science. Aalborg University, Denmark (2004)
Bellifemine, F., Caire, G., Poggi, A., Rimassa, G.: JADE - A white paper. EXP in search of innovation - Special Issue on JADE TILAB Journal (2003)
Wong, S.: StarUML Tutorial [Connexions Web site] (September 10, 2007), http://cnx.org/content/m15092/1.1/
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)
Kaminka, G.A., Veloso, M., Schaffer, S., Sollitto, C., Adobbati, R., Marshal, A.N., Scholer, A.S., Tejada, S.: GameBots: the ever-challenging multi-agent research test-bed. Communications of the ACM (January 2002)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Moscato, F., Venticinque, S., Aversa, R., Di Martino, B. (2008). Formal Modeling and Verification of Real-Time Multi-Agent Systems: The REMM Framework. In: Badica, C., Mangioni, G., Carchiolo, V., Burdescu, D.D. (eds) Intelligent Distributed Computing, Systems and Applications. Studies in Computational Intelligence, vol 162. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-85257-5_19
Download citation
DOI: https://doi.org/10.1007/978-3-540-85257-5_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-85256-8
Online ISBN: 978-3-540-85257-5
eBook Packages: EngineeringEngineering (R0)