Free choice Petri nets
Agent-oriented technology in support of e-business
Communications of the ACM
Liveness in Bounded Petri Nets Which Are Covered by T-Invariants
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
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
Does My Service Have Partners?
Transactions on Petri Nets and Other Models of Concurrency II
Efficient Controllability Analysis of Open Nets
Web Services and Formal Methods
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
Web Services: Concepts, Architectures and Applications
Web Services: Concepts, Architectures and Applications
Compliance by design for artifact-centric business processes
BPM'11 Proceedings of the 9th international conference on Business process management
Wendy: a tool to synthesize partners for services
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Wendy: A Tool to Synthesize Partners for Services
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Compliance by design for artifact-centric business processes
Information Systems
| Hi-index | 0.00 |
Controllability is a fundamental correctness criterion for interacting service models. A service model is controllable if there exists a partner service such that their composition is free of deadlocks and livelocks. Whereas controllability can be automatically decided, the existing decision algorithm gives no information about the reasons of why a service model is uncontrollable. This paper introduces a diagnosis framework to find these reasons which can help to fix uncontrollable service models.