Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service

This publication has 11 references indexed in Scilit:

• YAWL: yet another workflow language
  Information Systems, 2005
• Theoretical foundations for compensations in flow composition languages
  Published by Association for Computing Machinery (ACM) ,2005
• Comparing Two Approaches to Compensable Flow Composition
  Published by Springer Nature ,2005
• Formalizing Web Service Choreographies
  Electronic Notes in Theoretical Computer Science, 2004
• Modelling and verifying web service orchestration by means of the concurrency workbench
  ACM SIGSOFT Software Engineering Notes, 2004
• Analysis of interacting BPEL web services
  Published by Association for Computing Machinery (ACM) ,2004
• An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions
  Published by Springer Nature ,2004
• Analysis of Web Services Composition Languages: The Case of BPEL4WS
  Published by Springer Nature ,2003
• UPPAAL — a tool suite for automatic verification of real-time systems
  Published by Springer Nature ,1996
• Sagas
  Published by Association for Computing Machinery (ACM) ,1987