Negotiation among Web Services Using Lotos/CADP
5,00 €
It is now well-admitted that formal methods are helpful for many issues raised in the web service area. in a previous work, we advocated the use of process algebra to describe, compose and reson on web services at an abstract level. In this paper, we extend this initial proposal, which only dealt with behavioural aspects, to cope wiche the question of representing data aspects as well. In this context, we show how the expressive process algebra LOTOS (and its toolbox CADP) can be used to tackle this issue. We illustrate the usefulness of our proposal on an important application in e-business: negotiation among web services. The connection between concrete thanks to sysrematic guidelines enabling one to map LOTOS and the executable language BPEL in both directions
pagine: 36
formato: 17 x 24
ISBN: 978-88-7999-755-3
data pubblicazione: Gennaio 2006
editore: Aracne
collana: Dipartimento di Informatica e Sistemistica “Antonio Ruberti” della “Sapienza” Università di Roma | 2004/13
Informativa si avvale di cookie, anche di terze parti, per offrirti il migliore servizio possibile. Cliccando 'Accetto' o continuando la navigazione ne acconsenti l'utilizzo. Per saperne di più