Abstract
TCOZ is a specification language that combines the strengths of Object-Z and Timed CSP with the goal of specifying distributed systems containing objects that act independently and concurrently. Such goals are similar to the goals of the autonomous agent paradigm, in which agents are entities in an environment that act independently of one another, concurrently, and work proactively to achieve certain goals. This paper discusses the suitability of several TCOZ constructs in specifying multi-agent systems.
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
Bauer, B., Müller, J.P., Odell, J.: Agent UML: A formalism for specifying multiagent interaction. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 91–103. Springer, Heidelberg (2001)
Brandao, A.A.F., Alencar, P., de Lucena, C.J.P.: Extending (Object-)Z for multi-agent systems specification. In: Bresciani, P., Giorgini, P., Henderson-Sellers, B., Low, G., Winikoff, M. (eds.) AOIS 2004. LNCS (LNAI), vol. 3508. Springer, Heidelberg (2005)
Dong, J.S., Mahony, B.: Active objects in TCOZ. In: Proc. of the 1998 IEEE International Conference on Formal Engineering Methods, pp. 16–25. IEEE Computer Society Press, Los Alamitos (1998)
Fisher, M.: A survey of concurrent MetateM — the language and its applications. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL 1994. LNCS (LNAI), vol. 827, pp. 480–505. Springer, Heidelberg (1994)
Hilaire, V., Simonin, O., Koukam, A., Ferber, J.: A formal approach to design and reuse agent and multiagent models. In: Odell, J.J., Giorgini, P., Müller, J.P. (eds.) AOSE 2004. LNCS, vol. 3382, pp. 142–157. Springer, Heidelberg (2005)
Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International, Englewood Cliffs (1985)
Mahony, B., Dong, J.S.: Timed Communicating Object-Z. IEEE Transactions on Software Engineering 26(2), 150–177 (2000)
Miller, T., McBurney, P.: Multi-agent system specification using TCOZ. Technical Report UCLS-05-007, Department of Computer Science, University of Liverpool (2005)
Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol. 1038, pp. 42–55. Springer, Heidelberg (1996)
Schneider, S., Davies, J.: A brief history of Timed CSP. Theoretical Computer Science 138, 243–271 (1995)
Smith, G.: The Object-Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers, Dordrecht (2000)
Spivey, J.M.: The Z Notation: A Reference Manual, 2nd edn. International Series in Computer Science. Prentice-Hall International (UK) Ltd, Englewood Cliffs (1992)
Wooldridge, M.J.: Reasoning about Rational Agents. Intelligent Robotics and Autonomous Agents. MIT Press, Cambridge (2000)
Zhu, H.: SLABS: a formal specification language for agent-based systems. International Journal of Software Engineering and Knowledge Engineering 11, 529–558 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Miller, T., McBurney, P. (2005). Multi-agent System Specification Using TCOZ. In: Eymann, T., Klügl, F., Lamersdorf, W., Klusch, M., Huhns, M.N. (eds) Multiagent System Technologies. MATES 2005. Lecture Notes in Computer Science(), vol 3550. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11550648_20
Download citation
DOI: https://doi.org/10.1007/11550648_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28740-7
Online ISBN: 978-3-540-28741-4
eBook Packages: Computer ScienceComputer Science (R0)