Wendy: A Tool to Synthesize Partners for Services

12 years 2 months ago
Wendy: A Tool to Synthesize Partners for Services
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol needs to be analyzed. A fundamental correctness criterion for a service is the existence of a partner service, formalized in the notion of controllability. In this paper, we introduce Wendy, a Petri net-based tool to synthesize partner services. These partners are valuable artifacts to support the design, validation, verification, and adaptation of services. Furthermore, Wendy can calculate an operating guideline, a characterization of the set of all partners of a service. Operating guidelines can be used in many application scenarios from service brokerage to test case generation. Case studies show that Wendy efficiently performs on industrial service models. 1 Objectives The emerging field of service-oriented computing (SOC) proposes to build complex systems by composing geographically and logically distri...
Niels Lohmann, Daniela Weinberg
Added 18 Jul 2010
Updated 18 Jul 2010
Type Conference
Year 2010
Where APN
Authors Niels Lohmann, Daniela Weinberg
Comments (0)