Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the <i>SOCS-SI</i> Tool.

Marco Alberti Federico Chesani Marco Gavanelli Evelina Lamma Paola Mello Marco Montali Sergio Storari Paolo Torroni Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the <i>SOCS-SI</i> Tool. 58-72 2006 conf/wsfm/2006 WS-FM http://dx.doi.org/10.1007/11841197_4 db/conf/wsfm/wsfm2006.html#AlbertiCGLMMST06