Abstract
One of the most appealing features of multiagent technology is its natural way to modularise a complex system in terms of multiple, interacting and autonomous components. As a natural extension of classes, castes introduced in the formal specification language SLAB provide a language facility that provides modularity in the formal specification of multiagent systems. A caste represents a set of agents of common structural and behavioural characteristics. A caste description defines the tasks that the agents of the caste are capable of, the rules that govern their behaviour, and the environment that they live in. The inheritance relationship between castes defines the sub-group relationship between the agents so that special capabilities and behaviours can be introduced. The instance relationship between an agent and a caste declares that an agent is a member of a caste. This paper discuses how the caste facility can be employed to specify multiagent systems so that the notion of roles, organisational structures of agent societies, communication and, collaboration protocols etc. can be naturally represented.
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
Jennings, N. R., On agent-based software engineering, Artificial Intelligence, Vol. 117, 2000,pp277~296.
Zhu, H. Formal Specification of Agent Behaviour through Environment Scenarios, Proc. of NASA First Workshop on Formal Aspects of Agent-Based Systems, LNCS, Springer. (In press) Also available as Technical Report, School of Computing and Mathematical Sciences, Oxford Brookes University, 2000.
Zhu, H., SLAB: A Formal Specification Language for Agent-Based Systems, Technical Report, School of Computing and Mathematical Sciences, Oxford Brookes University, Feb. 2001.
Rao, A. S., Georgreff, M. P., Modeling Rational Agents within A BDI-Architecture, in Proc. of the International Conference on Principles of Knowledge Representation and Reasoning, 1991,pp473~484.
Wooldrighe, M., Reasoning About Rational Agents, The MIT Press, 2000.
Jennings, N. R., Agent-Oriented Software Engineering, in Multi-Agent System Engineering, Proceedings of 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Valencia, Spain, June/July 1999, Garijo, F. J, Boman, M. (eds.), LNAI Vol. 1647, Springer, Berlin, Heidelberg, New York, 1999, pp1~7.
Bauer, B., Muller, J. P., and Odell, J., Agent UML: a formalism for specifying multiagent software systems, in Agent-Oriented Software Engineering, Ciancarini, P. and Wooldridge, M. (Eds.), LNCS, Vol. 1957, Springer, 2001, pp91~103.
Odell, J., Van Dyke Parunak, H., and Bauer, B., Representing Agent interaction protocols in UML, in Agent-Oriented Software Engineering, Ciancarini, P. and Wooldridge, M. (Eds.), LNCS, Vol. 1957, Springer, 2001, pp121~140.
Jennings, N. R., Wooldridge, M. J. (eds.), Agent Technology: Foundations, Applications, And Markets. Springer, Berlin, Heidelberg, New York, 1998.
Huhns, M., Singh, M. P. (eds.), Readings in Agents, Morgan Kaufmann, San Francisco, 1997.
Lange, D. B. and Oshima, M., Mobile agents with Java: the Aglet API, World Wide Web Journal, 1998.
Spivey, J. M., The Z Notation: A Reference Manual, (2nd edition), Prentice Hall, 1992.
Maes, P., Agents That Reduce Work And Information Overload, Communications of the ACM, Vol. 37, No. 7, 1994, pp31~40.
Lesperance, Y., levesque, H. J., Lin, F., Marcu, D., Reiter, R. and Scherl, R., Foundations of logical approach to agent programming, in Intelligent Agents II, Eds. Wooldridge, M., Muller, J., and Tambe, M., LNAI, Vol. 1037, Springer-Verlag, 1996, pp331~346.
Jacobson, I., et al., Object-Oriented Software Engineering: A Use Case Driven Approach, Addison-Wesley, 1992.
Iglesias, C. A., Garijo, M. Gonzalez, J. C., A Survey of Agent-Oriented Methodologies, in Intelligent Agents V, Muller, J. P., Singh, M. P., Rao, A., (eds.), LNAI Vol. 1555. Springer, 1999,pp317~330.
Iglesias, C. A., Garijo, M., Gonzalez, J. C., Velasco, J. R., Analysis And Design of Multiagent Systems Using MAS-Common KADS, in Intelligent Agents IV, Singh, M. P., Rao, A., Wooldridge, M. J. (eds.), LNAI Vol. 1356, Springer, 1998, pp313~327.
Moulin, B. Brassard, M., A Scenario-Based Design Method And Environment for Developing Multi-Agent Systems, in Proc. of First Australian Workshop on DAI, Lukose, D., Zhang, C. (eds.), LNAI Vol. 1087, Springer Verlag, 1996, pp216~231.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhu, H. (2001). The Role of Castes in Formal Specification of MAS. In: Yuan, S.T., Yokoo, M. (eds) Intelligent Agents: Specification, Modeling, and Applications. PRIMA 2001. Lecture Notes in Computer Science, vol 2132. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44637-0_1
Download citation
DOI: https://doi.org/10.1007/3-540-44637-0_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42434-5
Online ISBN: 978-3-540-44637-8
eBook Packages: Springer Book Archive