Extended Data-flow Analysis on BPEL Processes

[1]  Franck van Breugel,et al.  Dead-path-elimination in BPEL4WS , 2005, Fifth International Conference on Application of Concurrency to System Design (ACSD'05).

[2]  David A. Padua,et al.  Concurrent Static Single Assignment Form and Constant Propagation for Explicitly Parallel Programs , 1997, LCPC.

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

[4]  Frank Leymann,et al.  Exception Handling in the BPEL4WS Language , 2003, Business Process Management.

[5]  Frank Leymann,et al.  Managing Business Processes an an Information Resource , 1994, IBM Syst. J..

[6]  Frank Leymann,et al.  E Role-based Decomposition of Business Processes using BPEL , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[7]  C. Petri.  Kommunikation mit Automaten , 1962 .

[8]  Wolfram Amme,et al.  Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis , 2007, IEEE SCC.

[9]  Oliver Kopp,et al.  Maintaining Data Dependencies across BPEL Process Fragments , 2008, Int. J. Cooperative Inf. Syst..

[10]  Mark N. Wegman,et al.  Efficiently computing static single assignment form and the control dependence graph , 1991, TOPL.

[11]  Bastian Schurr.  Analyse von XPath-Ausdrücken in BPEL-Prozessbeschreibungen , 2007 .

[12]  Chun Ouyang,et al.  Comparing and evaluating Petri net semantics for BPEL , 2009, Int. J. Bus. Process. Integr. Manag..

[13]  Flemming Nielson,et al.  Principles of Program Analysis , 1999, Springer Berlin Heidelberg.

[14]  Oliver Kopp,et al.  Deriving Explicit Data Links in WS-BPEL Processes , 2008, 2008 IEEE International Conference on Services Computing.

[15]  Frank Leymann,et al.  Business processes for Web Services: Principles and applications , 2006, IBM Syst. J..

[16]  Arthur J. Bernstein,et al.  Analysis of Programs for Parallel Processing , 1966, IEEE Trans. Electron. Comput..

[17]  A. Turing.  On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .