|
Informatics Report Series
|
|
|
|
|
|
|
|
|
| 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
|
|
|
|
|
- Abstract:
-
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
- @InProceedings{EDI-INF-RR-0369,
- 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 = {http://www.daml.ecs.soton.ac.uk/SSS-SWS04/Papers.html},
- }
|
