Towards the Semantics for Web Service Choreography Description Language
暂无分享,去创建一个
[1] Jifeng He,et al. Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service , 2006, FMOODS.
[2] Antonio Vallecillo,et al. Formalizing Web Service Choreographies , 2004, Electron. Notes Theor. Comput. Sci..
[3] Peter Henderson,et al. Extending the concept of transaction compensation , 2002, IBM Syst. J..
[4] Remco M. Dijkman,et al. Service-Oriented Design: A Multi-Viewpoint Approach , 2004, Int. J. Cooperative Inf. Syst..
[5] Andrew William Roscoe,et al. The Theory and Practice of Concurrency , 1997 .
[6] Geguang Pu,et al. Semantics of BPEL4WS-Like Fault and Compensation Handling , 2005, FM.
[7] Laura Bocchi,et al. A Calculus for Long-Running Transactions , 2003, FMOODS.
[8] Michael J. Butler,et al. An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions , 2004, COORDINATION.
[9] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[10] Shamim Ripon,et al. Executable Semantics for Compensating CSP , 2005, EPEW/WS-FM.
[11] Matjaz B. Juric,et al. Business process execution language for web services , 2004 .
[12] Michael J. Butler,et al. A Process Compensation Language , 2000, IFM.
[13] Geguang Pu,et al. Towards the Semantics and Verification of BPEL4WS , 2006, WLFM@FM.
[14] Gordon D. Plotkin,et al. A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..
[15] Roberto Gorrieri,et al. Towards a formal framework for choreography , 2005, 14th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprise (WETICE'05).