Community Research and Development Information Service - CORDIS

FP5

ADAPT Report Summary

Project ID: IST-2001-37126
Funded under: FP5-IST
Country: United Kingdom

Verification tool for web service composition

There are several industry led efforts aimed at specifying composition languages for web services, however all of these language taken a centralised view of composition and subsequent execution. For example the use of shared variables makes it very difficult to coordinate the execution in a distributed manner. Also, many of these languages specify complicated control flow mechanisms, making it difficult to analyse such compositions.

ADAPT composition language has been developed with both of these drawbacks in mind, it contains elements to allow distributed composition and the simple data flow sequencing model has been mapped to pi-calculus to allow analysis of compositions. Current tools support for verification of pi-calculus are in their infancy. Most do not support the complete language and require a complex and error prone input syntax. It is also possible to map our language onto Promella and then use the SPIN model checker.

Related information

Reported by

THE UNIVERSITY OF NEWCASTLE UPON TYNE
6 KENSINGTON TERRACE
NE1 7RU NEWCASTLE UPON TYNE
United Kingdom
See on map
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top