Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Agent-oriented technology in support of e-business
Communications of the ACM
YAWL: yet another workflow language
Information Systems
Programming-in-the-Large Versus Programming-in-the-Small
IEEE Transactions on Software Engineering
Analyzing interacting WS-BPEL processes using flexible model generation
Data & Knowledge Engineering
Can I find a partner? Undecidability of partner existence for open nets
Information Processing Letters
Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Oryx --- An Open Modeling Platform for the BPM Community
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Does My Service Have Partners?
Transactions on Petri Nets and Other Models of Concurrency II
Deciding Substitutability of Services with Operating Guidelines
Transactions on Petri Nets and Other Models of Concurrency II
Automatic Test Case Generation for Interacting Services
Service-Oriented Computing --- ICSOC 2008 Workshops
Why Does My Service Have No Partners?
Web Services and Formal Methods
Efficient Controllability Analysis of Open Nets
Web Services and Formal Methods
Another Approach to Service Instance Migration
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Generating Petri net state spaces
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Operating guidelines for finite-state services
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
A feature-complete Petri net semantics for WS-BPEL 2.0
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Behavioral constraints for services
BPM'07 Proceedings of the 5th international conference on Business process management
How to implement a theory of correctness in the area of business processes and services
BPM'10 Proceedings of the 8th international conference on Business process management
Correctness ensuring process configuration: an approach based on partner synthesis
BPM'10 Proceedings of the 8th international conference on Business process management
Web Services: Concepts, Architectures and Applications
Web Services: Concepts, Architectures and Applications
Wendy: a tool to synthesize partners for services
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Hi-index | 0.00 |
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.