SSP Group Meeting

11am, 16 March, 2004
Room 4.03, Appleton Tower
CISA, School of Informatics
University of Edinburgh

Model-Checking Multi-Agent Web Services

Chris Walton

In this talk I will describe how to build Multi-Agent Systems from Web Services and Agent Protocols. I will then show how we can apply Model Checking to these systems. This will allow us to detect potential problems before deployment. I will also give a brief demo of my 'MagentA' tool for constructing and verifying such systems. This talk is a rehearsal for my AAAI Semantic Web Services Symposium presentation.