BPEL conformance in open source engines

More than five years have passed since the final release of the long-desired OASIS standard of a process language for Web Services orchestration, the Web Services Business Process Execution Language (BPEL). The aim of this standard was to establish a universally accepted Web Services orchestration language that forms a core part of service-oriented architectures and, because of standardization, avoids vendor lock-in. By now, several fully conformant engines should have arrived in the market. It is our aim to shed light on this situation and to provide a comprehensive picture of the current state of BPEL support. We present an evaluation of the standard conformance of five open source BPEL engines. To obtain these results we have developed betsy, a tool that allows for a fully-automatic standard conformance testing of BPEL engines. The results demonstrate that full standard conformance in contemporary engines is still far from given.

[1]  Yaron Goland,et al.  Web Services Business Process Execution Language , 2009, Encyclopedia of Database Systems.

[2]  M. Harman,et al.  Testing & Verification In Service-Oriented Architecture : A Survey , 2012 .

[3]  Schahram Dustdar,et al.  GENESIS - A Framework for Automatic Generation and Steering of Testbeds of ComplexWeb Services , 2008, 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008).

[4]  Dorina C. Petriu,et al.  The Future of Software Performance Engineering , 2007, Future of Software Engineering (FOSE '07).

[5]  Guido Wirtz,et al.  Open Source versus Proprietary Software in Service-Orientation: The Case of BPEL Engines , 2013, ICSOC.

[6]  Egon Börger,et al.  Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL , 2011, Software & Systems Modeling.

[7]  Elaine J. Weyuker,et al.  Experience with Performance Testing of Software Systems: Issues, an Approach, and Case Study , 2000, IEEE Trans. Software Eng..

[8]  Hafedh Mili,et al.  Business process modeling languages: Sorting through the alphabet soup , 2010, CSUR.

[9]  Walter Binder,et al.  Automated performance assessment for service-oriented middleware: a case study on BPEL engines , 2010, WWW '10.

[10]  Ivan Lanese,et al.  On the interplay between fault handling and request-response service invocations , 2008, 2008 8th International Conference on Application of Concurrency to System Design.

[11]  Guido Wirtz,et al.  Towards Automated Conformance Checking of ebBP-ST Choreographies and Corresponding WS-BPEL Based Orchestrations , 2011, SEKE.

[12]  Scott O. Bradner,et al.  Key words for use in RFCs to Indicate Requirement Levels , 1997, RFC.

[13]  Wil M. P. van der Aalst,et al.  Conformance checking of service behavior , 2008, TOIT.

[14]  Guido Wirtz,et al.  BPEL Conformance in Open Source Engines: The Case of Static Analysis , 2014, 2014 IEEE 7th International Conference on Service-Oriented Computing and Applications.

[15]  Wil M. P. van der Aalst,et al.  From Public Views to Private Views - Correctness-by-Design for Services , 2007, WS-FM.

[16]  Hongyan Ma,et al.  Process-aware information systems: Bridging people and software through process technology , 2007, J. Assoc. Inf. Sci. Technol..

[17]  Tijs Rademakers,et al.  Activiti in Action: Executable business processes in BPMN 2.0 , 2012 .

[18]  Daniel Lübke,et al.  Unit Testing BPEL Compositions , 2007, Test and Analysis of Web Services.

[19]  Christian Huemer,et al.  A Model-Driven Top-Down Approach to Inter-organizational Systems: From Global Choreography Models to Executable BPEL , 2008, 2008 10th IEEE Conference on E-Commerce Technology and the Fifth IEEE Conference on Enterprise Computing, E-Commerce and E-Services.

[20]  Guido Wirtz,et al.  BPMN 2.0 Serialization - Standard Compliance Issues and Evaluation of Modeling Tools , 2013, EMISA.

[21]  Mathias Weske,et al.  Interacting services: From specification to execution , 2009, Data Knowl. Eng..

[22]  Guido Wirtz,et al.  Automated and Isolated Tests for Complex Middleware Products: The Case of BPEL Engines , 2014, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops.

[23]  Mathias Weske,et al.  Business Process Management: A Survey , 2003, Business Process Management.

[24]  Guido Wirtz,et al.  Detecting Interoperability and Correctness Issues in BPMN 2.0 Process Models , 2013, ZEUS.

[25]  Cem Kaner,et al.  Foundations of Software Testing , 2013 .

[26]  Andreas Schönberger.  The CHORCH B2Bi Approach: Performing ebBP Choreographies as Distributed BPEL Orchestrations , 2010, 2010 6th World Congress on Services.

[27]  Jan Recker,et al.  How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation , 2008, CAiSE.

[28]  Guido Wirtz,et al.  Measuring the Portability of Executable Service-Oriented Processes , 2013, 2013 17th IEEE International Enterprise Distributed Object Computing Conference.

[29]  C. Schroth,et al.  Strategies for Cross-Organizational Service Composition , 2008, 2008 International MCETECH Conference on e-Technologies (mcetech 2008).

[30]  Guido Wirtz,et al.  A Model-Driven Approach for Monitoring ebBP BusinessTransactions , 2011, 2011 IEEE World Congress on Services.

[31]  Oliver Kopp,et al.  The Difference Between Graph-Based and Block-Structured Business Process Modelling Languages , 2009, Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model..

[32]  Abdul Azim Abdul Ghani,et al.  Unit Testing Approaches for BPEL: A Systematic Review , 2009, 2009 16th Asia-Pacific Software Engineering Conference.

[33]  Elaine J. Weyuker,et al.  Software performance testing based on workload characterization , 2002, WOSP '02.

[34]  Jan Mendling,et al.  On the transformation of control flow between block-oriented and graph-oriented process modelling languages , 2008, Int. J. Bus. Process. Integr. Manag..

[35]  C. Peltz,et al.  Web Services Orchestration and Choreography , 2003, Computer.

[36]  Andreas Both,et al.  Automatic Protocol Conformance Checking of Recursive and Parallel BPEL Systems , 2008, 2008 Sixth European Conference on Web Services.

[37]  Remco M. Dijkman,et al.  Semantics and analysis of business process models in BPMN , 2008, Inf. Softw. Technol..

[38]  Boudewijn F. van Dongen,et al.  Workflow mining: A survey of issues and approaches , 2003, Data Knowl. Eng..

[39]  Nathaniel Palmer,et al.  XML Process Definition Language , 2009, Encyclopedia of Database Systems.

[40]  Schahram Dustdar,et al.  Script-Based Generation of Dynamic Testbeds for SOA , 2010, 2010 IEEE International Conference on Web Services.

[41]  Claudio de la Riva,et al.  Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking , 2006, Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06).

[42]  Yongwang Zhao,et al.  An operational semantics of WS-BPEL based on abstract BPEL machine , 2010, 2010 IEEE International Conference on Service-Oriented Computing and Applications (SOCA).

[43]  Guido Wirtz,et al.  Performance Benchmarking of BPEL Engines: A Comparison Framework, Status Quo Evaluation and Challenges , 2014, SEKE.

[44]  Ingo Weber,et al.  Automated derivation of executable business processes from choreographies in virtual organisations , 2008, Int. J. Bus. Process. Integr. Manag..

[45]  Remco M. Dijkman,et al.  A visual token-based formalization of BPMN 2.0 based on in-place transformations , 2013, Inf. Softw. Technol..

[46]  Ina Schieferdecker,et al.  A Workload Model for Benchmarking BPEL Engines , 2008, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop.