Model-Based Conformance Testing of WS-BPEL Compositions
Afef Jmal Maâlej, Moez Krichen, Mohamed Jmaïel · 2012
We propose in this paper a new approach for conformance testing of WS-BPEL compositions. It is based on Timed Automata as model for testing WS-BPEL implementations, a distributed testing architecture and an algorithm for online test generation and execution. We also implemented our solution in the form of a prototype tool named WSCCT.