Why Does My Service Have No Partners?

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.

[1]  Andrew D. Gordon,et al.  Verified Reference Implementations of WS-Security Protocols , 2006, WS-FM.

[2]  Jörg Desel,et al.  Free choice Petri nets , 1995 .

[3]  Gustavo Alonso,et al.  Web Services: Concepts, Architectures and Applications , 2009 .

[4]  Wolfgang Reisig,et al.  An Operating Guideline Approach to the SOA , 2005 .

[5]  Niels Lohmann,et al.  Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes , 2008, Modellierung.

[6]  Niels Lohmann,et al.  A Feature-Complete Petri Net Semantics for WS-BPEL 2.0 , 2007, WS-FM.

[7]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[8]  Mike P. Papazoglou,et al.  Agent-oriented technology in support of e-business , 2001, CACM.

[9]  Natalia Sidorova,et al.  Can I Find a Partner ? , 2008 .

[10]  Wil M. P. van der Aalst,et al.  Bridging The Gap Between Business Models And Workflow Specifications , 2004, Int. J. Cooperative Inf. Syst..

[11]  Francisco Curbera,et al.  Web Services Business Process Execution Language Version 2.0 , 2007 .

[12]  Niels Lohmann,et al.  Behavioral Constraints for Services , 2007, BPM.

[13]  Niels Lohmann,et al.  Operating Guidelines for Finite-State Services , 2007, ICATPN.

[14]  Robert Valette,et al.  Application and Theory of Petri Nets 1997 , 1997, Lecture Notes in Computer Science.

[15]  Karsten Schmidt,et al.  Controllability of Open Workflow Nets. , 2005 .

[16]  Niels Lohmann,et al.  Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance , 2008, BPM.

[17]  Stephan Merz,et al.  Model Checking , 2000 .

[18]  Niels Lohmann,et al.  Analyzing interacting WS-BPEL processes using flexible model generation , 2008, Data Knowl. Eng..

[19]  Peter Massuthe,et al.  Operating guidelines for services , 2009 .

[20]  Karsten Wolf,et al.  Does My Service Have Partners? , 2009, Trans. Petri Nets Other Model. Concurr..

[21]  Wolfgang Reisig,et al.  Petri Nets with Individual Tokens , 1982, Theor. Comput. Sci..

[22]  Kurt Lautenbach,et al.  Liveness in Bounded Petri Nets Which Are Covered by T-Invariants , 1994, Application and Theory of Petri Nets.

[23]  Wil M. P. van der Aalst,et al.  Diagnosing Workflow Processes using Woflan , 2001, Comput. J..

[24]  Daniela Weinberg,et al.  Efficient Controllability Analysis of Open Nets , 2009, WS-FM.

[25]  Jetty Kleijn,et al.  Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings , 2007, ICATPN.

[26]  Wolfgang Reisig,et al.  Petri Nets , 1985, EATCS Monographs on Theoretical Computer Science.