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...

• Type: Conference
• Year: 2010
• Where: APN
• Authors: Niels Lohmann, Daniela Weinberg
• Keywords: APN 2010, Artificial Intelligence, Fundamental Correctness Criterion, Operating Guidelines, Partner Services