A New Method to Model and Analyze the WS-BPEL Process under the Dead-Path-Elimination Semantics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chunxiang Xu, Hanpin Wang, Wanling Qu, Meixia Zhu, Yu Huang. A New Method to Model and Analyze the WS-BPEL Process under the Dead-Path-Elimination Semantics. In Third IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2009, Shanghai, China, July 8-10, 2010. pages 203-211, IEEE Computer Society, 2009. [doi]

This author has not been identified. Look up 'Chunxiang Xu' in GoogleThis author has not been identified. Look up 'Hanpin Wang' in GoogleThis author has not been identified. Look up 'Wanling Qu' in GoogleThis author has not been identified. Look up 'Meixia Zhu' in GoogleThis author has not been identified. Look up 'Yu Huang' in Google

runs on WebDSL