Model Checking Multi-Agent Web Services
(2004) Model Checking Multi-Agent Web Services. In Proceedings AAAI Spring Symposium on Semantic Web Services, Stanford, California.
Full text available as:
 | PDF - Requires Adobe Acrobat Reader or other PDF viewer. |
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.
| Keywords: | multi agent systems, model checking, web service coordination |
|---|---|
| Subjects: | Status > AKT Submitted |
| ID Code: | 295 |
| Deposited By: | Walton, Dr Chris |
| Deposited On: | 02 April 2004 |
| Alternative Locations: | http://www.daml.ecs.soton.ac.uk/SSS-SWS04/32.pdf, http://homepages.inf.ed.ac.uk/cdw/papers/aaai04/wsmodel.pdf |
Contact the site administrator at: hg@ecs.soton.ac.uk