Howard Foster Sebastián Uchitel Jeff Magee Jeff Kramer WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography. 87-119 2007 conf/swb/2007taws Test and Analysis of Web Services http://dx.doi.org/10.1007/978-3-540-72912-9_4 db/conf/swb/taws2007.html#FosterUMK07