Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions.

Luciano Baresi Domenico Bianculli Sam Guinea Paola Spoletini Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions. 26-40 2009 FMOODS/FORTE http://dx.doi.org/10.1007/978-3-642-02138-1_2 conf/forte/2009 db/conf/forte/forte2009.html#BaresiBGS09