Wendy: A Tool to Synthesize Partners for Services

Issue title: Applications and Theory of Petri Nets and Other Models of Concurrency, 2010

Article type: Research Article

Authors: Lohmann, Niels | Weinberg, Daniela

Affiliations: Universität Rostock, Institut für Informatik, 18051 Rostock, Germany. niels.lohmann@uni-rostock.de

Note: [] Address for correspondence: Universität Rostock, Institut für Informatik, 18051 Rostock, Germany

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

DOI: 10.3233/FI-2011-610

Journal: Fundamenta Informaticae, vol. 113, no. 3-4, pp. 295-311, 2011