Khaled Mahbub George Spanoudakis Monitoring <i>WS-Agreement</i> s: An Event Calculus-Based Approach. 265-306 2007 conf/swb/2007taws Test and Analysis of Web Services http://dx.doi.org/10.1007/978-3-540-72912-9_10 db/conf/swb/taws2007.html#MahbubS07