Towards verifying contract regulated service composition | Zendy

Alessio Lomuscio | Zendy; Hongyang Qu | Zendy; Monika Solanki | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Towards verifying contract regulated service composition

Author(s) -

Alessio Lomuscio,

Hongyang Qu,

Monika Solanki

Publication year - 2010

Publication title -

autonomous agents and multi-agent systems

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.432

H-Index - 72

eISSN - 1573-7454

pISSN - 1387-2532

DOI - 10.1007/s10458-010-9152-3

Subject(s) - computer science , formalism (music) , compiler , service composition , programming language , model checking , web service , temporal logic , software engineering , service (business) , specification language , state space , theoretical computer science , mathematics , art , musical , visual arts , statistics , economy , economics

We report on a novel approach to (semi-)automatically compile and verify contract-regulated service compositions implemented as multi-agent systems. We model web service behaviours and the contracts governing them as WSBPEL specification. We use the formalism of temporal-epistemic logic, suitably extended to deal with compliance/violations of contracts, to specify properties of service compositions. We compile the WSBPEL behaviours into a specialised system description language ISPL, to be used with the model checker MCMAS to verify the behaviours automatically. We illustrate these concepts using a motivating example whose state space is approximately 106 and discuss experimental results.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research