Abstract
With the recent rapid growth of interest in Multi-Agent System (MAS), both in distributed artificial intelligence and software engineering, has come an associated difficulty concerning basic terms, concepts and corresponding formal methods. In this paper, a new definition of agent companying with soft gene and role is proposed. As a distributed system, a MAS formal method is presented.
This work is supported by the National Natural Science Foundation of China under Grant No.600003002; the National High Technology Development 863 Program of China under Grant No.2002AA116070.
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
Wooldridge, M., Ciancarini, P.: Agent-Oriented Software Engineering: The State of The Art. Handbook of Software Engineering and Knowledge Engineering. World Scientific Publishing, Singapore (2001)
Yan, Q., Mao, X.J., Zhu, H., Qi, Z.C.: Agent-Oriented Software Engineering IV. In: Giorgini, P., Müller, J.P., Odell, J.J. (eds.) AOSE 2003. LNCS, vol. 2935, pp. 36–52. Springer, Heidelberg (2004)
Mattern, F.: Virtual Time and Global States of Distributed Systems. In: Proc. Of Parallel and Distributed Algorithms Conf., pp. 215–226 (1988)
Reenskaug, T., Wold, P., Lehne, O.A.: Working with Objects, The OOram Software Engineering Method. Manning Publications Co., Greenwich (1996)
Wooldridge, M., Jennings, N., Kinny, D.: The Gaia Methodology for Agent-Oriented Analysis and Design. Journal of Autonomous Agents and Multi-Agent Systems 3, 285–312 (2000)
Yan, Q., Shan, L.J., Mao, X.J.: RoMAS: A Role-Based Modeling Method for Multi-Agent System. In: Proceedings of International Conference on Active Media Technology, World Scientific Publishing, Singapore (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Qi, Y., Wang, X., Yan, W., Mao, X., Qi, Z. (2003). A Formal Specification and Method for MAS as a Distributed System. In: Zhou, X., Xu, M., Jähnichen, S., Cao, J. (eds) Advanced Parallel Processing Technologies. APPT 2003. Lecture Notes in Computer Science, vol 2834. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39425-9_24
Download citation
DOI: https://doi.org/10.1007/978-3-540-39425-9_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20054-3
Online ISBN: 978-3-540-39425-9
eBook Packages: Springer Book Archive