Multi-agent system specification using TCOZ

Authors:
Tim Miller;Peter McBurney
Affiliations:
Department of Computer Science, The University of Liverpool, Liverpool, UK;Department of Computer Science, The University of Liverpool, Liverpool, UK
Venue:
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
Year:
2005

Citing 11
Cited 0

Communicating sequential processes

Communicating sequential processes
The Z notation: a reference manual

The Z notation: a reference manual
A brief history of Timed CSP

MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics
AgentSpeak(L): BDI agents speak out in a logical computable language

MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
The Object-Z specification language

The Object-Z specification language
Timed Communicating Object Z

IEEE Transactions on Software Engineering
Agent UML: a formalism for specifying multiagent software systems

First international workshop, AOSE 2000 on Agent-oriented software engineering
A Survey of Concurrent METATEM - the Language and its Applications

ICTL '94 Proceedings of the First International Conference on Temporal Logic
Active Objects in TCOZ

ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
A formal approach to design and reuse agent and multiagent models

AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
AgentZ: extending object-z for multi-agent systems specification

AOIS'04 Proceedings of the 6th international conference on Agent-Oriented Information Systems II

Quantified Score

Hi-index	0.00

Visualization

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.