Using formal methods to develop WS-BPEL applications

[1]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[2]  Steven J. DeRose,et al.  XML Path Language (XPath) , 1999 .

[3]  S. Krishnan,et al.  2 XLANG : Web Services for Business Process Design , 2002 .

[4]  Greg Meredith,et al.  Contracts and types , 2003, CACM.

[5]  Tony Andrews.  Business Process Execution Language for Web Services Version 1.1 , 2003 .

[6]  Laura Bocchi,et al.  A Calculus for Long-Running Transactions , 2003, FMOODS.

[7]  Alan W. Brown,et al.  Using Service-Oriented Architecture and Component-Based Development to Build Web Service Applications , 2003 .

[8]  Michael J. Butler,et al.  An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions , 2004, COORDINATION.

[9]  Matthias Brosemann,et al.  XML Path Language (XPath) 1.0 — Seminararbeit — , 2004 .

[10]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[11]  Cosimo Laneve,et al.  Foundations of Web Transactions , 2005, FoSSaCS.

[12]  Rocco De Nicola,et al.  A Flexible and Modular Framework for Implementing Infrastructures for Global Computing , 2005, DAIS.

[13]  Roberto Bruni,et al.  Comparing Two Approaches to Compensable Flow Composition , 2005, CONCUR.

[14]  Roberto Bruni,et al.  Theoretical foundations for compensations in flow composition languages , 2005, POPL '05.

[15]  Geguang Pu,et al.  Semantics of BPEL4WS-Like Fault and Compensation Handling , 2005, FM.

[16]  Gian Luigi Ferrari,et al.  JSCL: A Middleware for Service Coordination , 2006, FORTE.

[17]  Gian Luigi Ferrari,et al.  Event Based Service Coordination over Dynamic and Heterogeneous Networks , 2006, ICSOC.

[18]  Roberto Gorrieri,et al.  SOCK : A calculus for service oriented computing , 2006 .

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

[20]  Manuel Mazzara,et al.  A pi-calculus based semantics for WS-BPEL , 2007, J. Log. Algebraic Methods Program..

[21]  Francesco Tiezzi,et al.  Regulating data exchange in service oriented applications , 2007, FSEN'07.

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

[23]  Francesco Tiezzi,et al.  A Calculus for Orchestration of Web Services , 2007, ESOP.

[24]  Gianluigi Zavattaro,et al.  Composing Services with JOLIE , 2007, Fifth European Conference on Web Services (ECOWS'07).

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

[26]  Paola Quaglia,et al.  Stochastic COWS , 2007, ICSOC.

[27]  John Mullins,et al.  A Calculus for Generation, Verification and Refinement of BPEL Specifications , 2008, Electron. Notes Theor. Comput. Sci..

[28]  Roberto Bruni,et al.  Sessions and Pipelines for Structured Service Programming , 2008, FMOODS.

[29]  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.

[30]  Wil M. P. van der Aalst,et al.  Translating unstructured workflow processes to readable BPEL: Theory and implementation , 2008, Inf. Softw. Technol..

[31]  Rocco De Nicola,et al.  Implementing Session Centered Calculi , 2008, COORDINATION.

[32]  Nora Koch,et al.  MDD4SOA: Model-Driven Service Orchestration , 2008, 2008 12th International IEEE Enterprise Distributed Object Computing Conference.

[33]  Flemming Nielson,et al.  Relational Analysis of Correlation , 2008, SAS.

[34]  Stefania Gnesi,et al.  A Model Checking Approach for Verifying COWS Specifications , 2008, FASE.

[35]  Francesco Tiezzi,et al.  A Formal Account of WS-BPEL , 2008, COORDINATION.

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

[37]  Cosimo Laneve,et al.  PiDuce - A project for experimenting Web services technologies , 2009, Sci. Comput. Program..

[38]  Francesco Tiezzi,et al.  A tool for rapid development of WS-BPEL applications , 2010, SIAP.

[39]  Maurice H. ter Beek,et al.  An Experience on Formal Analysis of a High-Level Graphical SOA Design , 2010, FM+AM.

[40]  Fritz Henglein,et al.  A standard-driven implementaion of WS-BPEL 2.0 , 2010, SAC '10.

[41]  Maurice H. ter Beek,et al.  A state/event-based model-checking approach for the analysis of abstract system properties , 2011, Sci. Comput. Program..

[42]  Roger D. Launius,et al.  The Eclipse Project , 2012 .