{Computational Logic for the Run-time Verification of Web Service Choreographies: Exploiting the SOCS-SI Tool}