Issue No. 03 - July-September (2009 vol. 2)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TSC.2009.16
Jocelyn Simmonds , University of Toronto, Toronto
Yuan Gan , IBM Toronto Lab, Markham
Marsha Chechik , University of Toronto, Toronto
Shiva Nejati , Simula Research Laboratory, Lysaker
Bill O'Farrell , IBM Toronto Lab, Markham
Elena Litani , IBM Toronto Lab, Markham
Julie Waterhouse , IBM Toronto Lab, Markham
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. However, Web services are distributed processes that dynamically discover properties of other Web services. Since the overall system may not be available statically and since each business process is supposed to be relatively simple, we propose to use runtime monitoring of conversations between partners as a means of checking behavioral correctness of the entire Web service system. Specifically, we identify a subset of UML 2.0 Sequence Diagrams as a property specification language and show that it is sufficiently expressive for capturing safety and liveness properties. By transforming these diagrams to automata, we enable conformance checking of finite execution traces against the specification. We show how our language can be used to specify the Specification Property System (SPS) . We describe an implementation of our approach as part of an industrial system. Finally, we discuss our experience of specifying and monitoring a number of properties from three existing applications.
Nondeterministic finite automata, runtime monitoring, sequence diagrams, temporal logic patterns, Web service conversations.
M. Chechik et al., "Runtime Monitoring of Web Service Conversations," in IEEE Transactions on Services Computing, vol. 2, no. , pp. 223-244, 2009.