In this paper, we propose an approach for detecting problematic activity arrangement in a WS-BPEL program based on analyzing message propagation and activity�...
In this paper, we present an approach for detecting problematic activity arrangement in WS-BPEL programs. Our approach models data flow in a WS-BPEL program.
In this paper, we propose an approach for detecting problematic activity arrangement in a WS-BPEL program based on analyzing message propagation and activity�...
In this paper, we propose an approach for detecting problematic activity arrangement in a WS-BPEL program based on analyzing message propagation and activity�...
In this paper, we propose an approach for detecting problematic activity arrangement in a WS-BPEL program based on analyzing message propagation and activity�...
Yitao Ni, Lu Zhang, Zhong Jie Li, Tao Xie, Hong Mei: Detecting Concurrency-Related Problematic Activity Arrangement in WS-BPEL Programs.
Effective message-sequence generation for testing BPEL programs ... Detecting concurrency-related problematic activity arrangement in WS-BPEL programs.
The research advances understanding of fundamental issues related to testing database applications and the design and implementation of practical techniques to�...
Effective Message-Sequence Generation for Testing BPEL Programs. ... Detecting Concurrency-Related Problematic Activity Arrangement in WS-BPEL Programs.
Automated extraction of security policies from natural-language software ... Detecting concurrency-related problematic activity arrangement in WS-BPEL programs.