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

@inproceedings{Lomuscio:2008:10.1109/ICWS.2008.115,
author = {Lomuscio, A and Qu, H and Solanki, M},
doi = {10.1109/ICWS.2008.115},
pages = {254--261},
title = {Towards verifying contract regulated service composition},
url = {http://dx.doi.org/10.1109/ICWS.2008.115},
year = {2008}
}

RIS format (EndNote, RefMan)

TY  - CPAPER
AB - We report on a novel approach to (semi-)automatically compile and verify contract-regulated service compositions. We specify web services and the contracts governing them as WSBPEL behaviours. We compile WSBPEL behaviours into the specialised system description language ISPL, to be used with the model checker MCMAS to verify behaviours automatically. 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 whose state space is approximately 106 and discuss experimental results. © 2008 IEEE.
AU - Lomuscio,A
AU - Qu,H
AU - Solanki,M
DO - 10.1109/ICWS.2008.115
EP - 261
PY - 2008///
SP - 254
TI - Towards verifying contract regulated service composition
UR - http://dx.doi.org/10.1109/ICWS.2008.115
ER -