Cesare Bartolini Antonia Bertolino Eda Marchetti Ioannis Parissis Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples. 298-325 2007 WADS http://dx.doi.org/10.1007/978-3-540-85571-2_13 conf/icse/2007wads db/conf/icse/wads2007.html#BartoliniBMP07