Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:Model Checking Multi-Agent Web Services
Authors: Christopher Walton
Date:Mar 2004
Publication Title:Proceedings of the 2004 Spring Symposium on Semantic Web Services (SSWS04)
Publication Type:Conference Paper Publication Status:Unknown
In this paper we address the verification of communication between agents participating in multi-agent web service systems. Our approach is founded on the application of model-checking techniques to protocols which express interactions between a group of agents in the form of a dialogue. We outline a web service architecture which supports the construction of multi-agent systems using web services technology. We then define a lightweight protocol language which can express a wide range of inter-agent dialogues, and we use the SPIN model checker to verify properties of this language. Our initial results show this approach has a satisfactory success rate in the detection of failures.
Links To Paper
1st Link
Direct link to paper
Bibtex format
author = { Christopher Walton },
title = {Model Checking Multi-Agent Web Services},
book title = {Proceedings of the 2004 Spring Symposium on Semantic Web Services (SSWS04)},
year = 2004,
month = {Mar},
url = {},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh