Skip to main content

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

Posted in
Title{Computational Logic for the Run-time Verification of Web Service Choreographies: Exploiting the SOCS-SI Tool}
Publication TypeConference Paper
Year of Publication2006
AuthorsAlberti, M., F. Chesani, E. Lamma, M. Gavanelli, P. Mello, M. Montali, S. Storari, and P. Torroni
EditorBravetti, M., M. Nùñez, and G. Zavattaro
Conference NameProceedings of the 3rd International Workshop on Web Services and Formal Methods (WS-FM'06)
PublisherSpringer