Towards the Semantics and Verification of BPEL4WS

This publication has 9 references indexed in Scilit:

• Theoretical foundations for compensations in flow composition languages
  Published by Association for Computing Machinery (ACM) ,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 Optimal Approach to Hardware/Software Partitioning for Synchronous Model
  Published by Springer Nature ,2004
• Timed Patterns: TCOZ to Timed Automata
  Published by Springer Nature ,2004
• Transforming BPEL into annotated deterministic finite state automata for service discovery
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2004
• A theory of timed automata
  Published by Elsevier ,2002
• Guided Synthesis of Control Programs for a Batch Plant using UPPAAL
  BRICS Report Series, 2000