Servizio Comunitario di Informazione in materia di Ricerca e Sviluppo - CORDIS

FP5

ADAPT Sintesi della relazione

Project ID: IST-2001-37126
Finanziato nell'ambito di: FP5-IST
Paese: 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.

Informazioni correlate

Contatto

Santosh SHRIVASTAVA, (Professor of Computing Science)
Tel.: +44-1912-228038
Fax: +44-1912-228232
E-mail