Multi-agent System Specification Using TCOZ

  • Tim Miller
  • Peter McBurney
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3550)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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)CrossRefGoogle Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    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)CrossRefGoogle Scholar
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International, Englewood Cliffs (1985)zbMATHGoogle Scholar
  7. 7.
    Mahony, B., Dong, J.S.: Timed Communicating Object-Z. IEEE Transactions on Software Engineering 26(2), 150–177 (2000)CrossRefGoogle Scholar
  8. 8.
    Miller, T., McBurney, P.: Multi-agent system specification using TCOZ. Technical Report UCLS-05-007, Department of Computer Science, University of Liverpool (2005)Google Scholar
  9. 9.
    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)CrossRefGoogle Scholar
  10. 10.
    Schneider, S., Davies, J.: A brief history of Timed CSP. Theoretical Computer Science 138, 243–271 (1995)zbMATHCrossRefMathSciNetGoogle Scholar
  11. 11.
    Smith, G.: The Object-Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers, Dordrecht (2000)zbMATHGoogle Scholar
  12. 12.
    Spivey, J.M.: The Z Notation: A Reference Manual, 2nd edn. International Series in Computer Science. Prentice-Hall International (UK) Ltd, Englewood Cliffs (1992)Google Scholar
  13. 13.
    Wooldridge, M.J.: Reasoning about Rational Agents. Intelligent Robotics and Autonomous Agents. MIT Press, Cambridge (2000)zbMATHGoogle Scholar
  14. 14.
    Zhu, H.: SLABS: a formal specification language for agent-based systems. International Journal of Software Engineering and Knowledge Engineering 11, 529–558 (2001)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Tim Miller
    • 1
  • Peter McBurney
    • 1
  1. 1.Department of Computer ScienceThe University of LiverpoolLiverpoolUK

Personalised recommendations