Verifying and Testing BPEL Processes

[1]  Dirk Fahland.  Complete Abstract Operational Semantics for the Web Service Business Process Execution Language , 2005 .

[2]  Xiang Fu,et al.  Conversation protocols: a formalism for specification and verification of reactive electronic services , 2003, Theor. Comput. Sci..

[3]  Wil M. P. van der Aalst,et al.  WofBPEL: A Tool for Automated Analysis of BPEL Processes , 2005, ICSOC.

[4]  W.M.P. van der Aalst,et al.  Analyzing BPEL processes using Petri nets , 2005 .

[5]  Roozbeh Farahbod,et al.  Specification and Validation of the Business Process Execution Language for Web Services , 2004, Abstract State Machines.

[6]  Karsten Wolf,et al.  Transforming BPEL to Petri Nets , 2005, Business Process Management.

[7]  Sebastián Uchitel,et al.  Model-based verification of Web service compositions , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..

[8]  Wil M. P. van der Aalst,et al.  Formal semantics and analysis of control flow in WS-BPEL , 2007, Sci. Comput. Program..

[9]  Carlos Delgado Kloos,et al.  Formal Verification of BPEL4WS Business Collaborations , 2004, EC-Web.

[10]  Wil vanderAalst,et al.  Workflow Management: Models, Methods, and Systems , 2004 .

[11]  Franck van Breugel,et al.  Modelling and verifying web service orchestration by means of the concurrency workbench , 2004, SOEN.

[12]  Shin Nakajima,et al.  Model-Checking Verification for Reliable Web Service , 2002 .

[13]  Karsten Schmidt,et al.  A Petri net semantic for BPEL4WS – validation and application , 2004 .

[14]  Thomas A. Henzinger,et al.  Generating tests from counterexamples , 2004, Proceedings. 26th International Conference on Software Engineering.

[15]  Doron A. Peled,et al.  Model checking, testing and verification working together , 2005, Formal Aspects of Computing.

[16]  Hong Zhu,et al.  Software unit test coverage and adequacy , 1997, ACM Comput. Surv..

[17]  Paul Ammann,et al.  Using model checking to generate tests from specifications , 1998, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).

[18]  Javier Tuya,et al.  Generating Test Cases Specifications for BPEL Compositions of Web Services Using SPIN , 2006 .

[19]  Andrea Ferrara,et al.  Web services: a process algebra approach , 2004, ICSOC '04.

[20]  Yong Xiao,et al.  Verifying web services composition based on hierarchical colored petri nets , 2005, IHIS '05.

[21]  Xiang Fu,et al.  Model checking XML manipulating software , 2004, ISSTA '04.

[22]  Xiang Fu,et al.  Analysis of interacting BPEL web services , 2004, WWW '04.