Formalizing exception handling in WS-CDL and WS-BPEL for conformance verification

Wing Lok Yeung. Formalizing exception handling in WS-CDL and WS-BPEL for conformance verification. In IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2009, 14-15 December 2009, Taipei, Taiwan. pages 1-8, IEEE, 2009. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.