Abstract
A novel formal functional requirements specification approach for real-time multi-agent system is presented in this paper. The methodology of our approach consists in translating extended AUML diagrams describing RT-MAS’ functional requirements into a RT-Maude specification. The proposed approach considers jointly functional, static and dynamic aspects of real-time multi-agent systems. The functional aspects are described by a temporal AUML use case diagram and the static aspects are represented using a temporal AUML class diagram. Whereas the dynamic aspects are described using state chart (individual behavior) and an extended AUML protocol (collective behavior) diagrams. The aims of this approach are, on the one hand, to combine the advantages of the graphical modeling formalism Agent UML and the formal specification language RT-Maude in a single technique, and, on the other hand, to integrating the formal validation of the consistency of the models, since the analysis phase. The approach is illustrated using a concrete example.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Julián, V., Soler, J., Moncho, M.C., Botti, V.: Real-Time Multi-Agent System Development and Implementation (2004)
Melián, S.F., Marsá, I., Ukrania, M., Miguel, D.-R., Carmona, A.-L.: Extending the BDI ASDP methodologie for Real Time (2005)
Zhang, L.: Development Method for Multi-Agent Real Time Systems. Faculty of Computer Science and Technology Guangdong University of Technology. International Journal of Information Technology 12(6) (2006)
Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1999)
Bauer, B., Muller, J.P., Odell, J.: An extension of UML by protocols for multiagent interaction. In: International Conference on MultiAgent Systems (ICMAS’00), Boston, Massachussetts, pp. 207–214 (2000)
Odell, J., Parunak, H.V.D., Bauer, B.: Extending UML for Agents. In: Wagner, G., Lesperance, Y., Yu, E. (eds.) Proceedings of the Agent-Oriented Information Systems Workshop at the 17th National Conference on Artificial Intelligence, Austin, Texas. ICue Publishing (2000)
Huget, M.P.: Extending agent UML protocol diagrams. In: Giunchiglia, F., Odell, J.J., Weiss, G. (eds.) AOSE 2002. LNCS, vol. 2585, pp. 150–161. Springer, Heidelberg (2003)
Huget, M.P.: Agent UML class diagrams revisited. Technical Report, Department of Computer Science, University of Liverpool, p. 1–13 (2002)
Ferber, J.: Les systèmes Multi-Agents: vers une intelligence collective, Inter edn., Paris, France (1995)
Omicini, A.: Soda: Societies and infrastructures in the analysis and design of agent-based systems. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 185–193. Springer, Heidelberg (2001)
Message, http://www.eurescom.de/public/projects/P900-series/p907/
Message, Metamodel, http://www.eurescom.de/~public-webspace/P900-series/P907/MetaModel/index.Htm
Clavel, M., Duran, F., Eker, S., Lincoln, P., Marti-Oliet, N., Meseguer, J., Talcott, C.: Maude Manual (version 2.2). In: SRI International, Menlo Park, CA 94025, USA (2005)
Olveczky, P.C.: Real-Time Maude 2.3 Manual. Department of Informatics, University of Oslo (2007)
Heinze, C., Papasimeon, M., Goss, S.: Specifying Agent behaviour with use Case (2000)
Papasimeon, M., Heinze, C.: Specifying Requirement in Multi-agent System with use Cases (2000)
Bauer, B., Odell, J.: UML 2.0 and Agents: How to Build Agent-based Systems with the New UML Standard (2005)
Shen, W., Norrie, D.-H.: Agent-Based Systems for Intelligent Manufacturing: A State-of-the-Art Survey. Knowledge and Information Systems 1, 129–156 (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Laouadi, M.A., Mokhati, F., Seridi-Bouchelaghem, H. (2010). A Novel Formal Specification Approach for Real Time Multi-Agent System Functional Requirements. In: Dix, J., Witteveen, C. (eds) Multiagent System Technologies. MATES 2010. Lecture Notes in Computer Science(), vol 6251. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16178-0_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-16178-0_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16177-3
Online ISBN: 978-3-642-16178-0
eBook Packages: Computer ScienceComputer Science (R0)