Runtime monitoring of Web service conversations.
Published: 2007
Language: eng
Number of pages: 73
ISBN-13: 9780494272855
Description: For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. In contrast, web services are being designed so that each partner discovers properties of others dynamically, through published interfaces. Since the overall system may not be available statically and each process is relatively simple, we propose to use runtime monitoring of conversations between partners as means of checking behavioural correctness of the entire web service system.We identify a subset of UML 2.0 Sequence Diagrams as a 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 specifications. We describe an implementation of our approach on IBMRTM WebSphere RTM platform and report on preliminary experience.
Notes: Source: Masters Abstracts International, Volume: 45-06, page: 3186.

Thesis (M.Sc.)--University of Toronto, 2007.

Electronic version licensed for access by U. of T. users.

ROBARTS MICROTEXT copy on microfiche.