Wendy

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


References in zbMATH (referenced in 6 articles )

Showing results 1 to 6 of 6.
Sorted by year (citations)

  1. Jiang, Jian-Min; Zhu, Huibiao; Li, Qin; Zhao, Yongxin; Zhang, Shi; Gong, Ping; Hong, Zhong: Event-based functional decomposition (2020)
  2. Yongchareon, Sira; Liu, Chengfei; Zhao, Xiaohui: Reusing artifact-centric business process models: a behavioral consistent specialization approach (2020)
  3. Aalst, Wil M. P.van der; Lohmann, Niels; La Rosa, Marcello: Ensuring correctness during process configuration via partner synthesis (2012) ioport
  4. Lohmann, Niels; Weinberg, Daniela: Wendy: A tool to synthesize partners for services (2011) ioport
  5. van der Aalst, W. M. P.; van Hee, K. M.; ter Hofstede, A. H. M.; Sidorova, N.; Verbeek, H. M. W.; Voorhoeve, M.; Wynn, M. T.: Soundness of workflow nets: classification, decidability, and analysis (2011)
  6. Lohmann, Niels; Weinberg, Daniela: Wendy: A tool to synthesize partners for services (2010) ioport