Imperial College London

ProfessorAlessioLomuscio

Faculty of EngineeringDepartment of Computing

Professor of Logic for Multiagent Systems
 
 
 
//

Contact

 

+44 (0)20 7594 8414a.lomuscio Website

 
 
//

Location

 

569Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@article{Lomuscio:2008,
author = {Lomuscio, A and Qu, H and Solanki, M},
journal = {Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS},
pages = {262--269},
title = {Towards verifying compliance in agent-based Web service compositions},
volume = {1},
year = {2008}
}

RIS format (EndNote, RefMan)

TY  - JOUR
AB - We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended to deal with compliance/violations of contracts. We illustrate these concepts using a motivating example where the behaviours of participating agents are governed by contracts. The composition is specified in OWL-S and mapped to our chosen formalism. Finally we use an existing symbolic model checker to verify the example specification whose state space is approximately 221 and discuss experimental results. Copyright © 2008, International Foundation for Autonomous Agents and Multiagent Systems (www.ifaamas.org). All rights reserved.
AU - Lomuscio,A
AU - Qu,H
AU - Solanki,M
EP - 269
PY - 2008///
SN - 1548-8403
SP - 262
TI - Towards verifying compliance in agent-based Web service compositions
T2 - Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS
VL - 1
ER -