Towards the Semantics for Web Service Choreography Description Language

This publication has 10 references indexed in Scilit:

• Towards a formal framework for Choreography
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2006
• Semantics of BPEL4WS-Like Fault and Compensation Handling
  Published by Springer Nature ,2005
• Executable Semantics for Compensating CSP
  Published by Springer Nature ,2005
• Formalizing Web Service Choreographies
  Electronic Notes in Theoretical Computer Science, 2004
• SERVICE-ORIENTED DESIGN: A MULTI-VIEWPOINT APPROACH
  International Journal of Cooperative Information Systems, 2004
• An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions
  Published by Springer Nature ,2004
• A Calculus for Long-Running Transactions
  Published by Springer Nature ,2003
• Extending the concept of transaction compensation
  IBM Systems Journal, 2002
• A Process Compensation Language
  Published by Springer Nature ,2000
• Sagas
  Published by Association for Computing Machinery (ACM) ,1987