Wendy: A tool to synthesize partners for services

N. Lohmann, D. Weinberg

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

19 Citations (Scopus)


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.
Original languageEnglish
Title of host publicationProceedings of the 31st International Conference on Applications and Theory of Petri Nets (PETRI NETS 2010), 21-25 June 2010, Braga, Portugal
EditorsJ. Lilius, W. Penczek
Place of PublicationBerlin
ISBN (Print)978-3-642-13674-0
Publication statusPublished - 2010

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Dive into the research topics of 'Wendy: A tool to synthesize partners for services'. Together they form a unique fingerprint.

Cite this