@inproceedings{a267306a2c554a3793943bc812cda868,
title = "Wendy: A tool to synthesize partners for services",
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.",
author = "N. Lohmann and D. Weinberg",
year = "2010",
doi = "10.1007/978-3-642-13675-7_18",
language = "English",
isbn = "978-3-642-13674-0",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "297--307",
editor = "J. Lilius and W. Penczek",
booktitle = "Proceedings of the 31st International Conference on Applications and Theory of Petri Nets (PETRI NETS 2010), 21-25 June 2010, Braga, Portugal",
address = "Germany",
}