Wendy: A Tool to Synthesize Partners for Services
Niels Lohmann, Daniela Weinberg · Fundamenta Informaticae · 2011
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