Tech Reports


Agent system specification using TCOZ

Tim Miller and Peter McBurney


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, and presents a small, yet non-trivial case study of a multi-agent system speci cation using TCOZ.

[Full Paper]