Hierarchical verification of WS-BPEL
Denduang Pradubsuwun · 2014
This paper proposes hierarchical verification of Web Service-Business Process Execution or WS-BPEL together with the partial order reduction. This approach is based on the framework of timed trace theoretic verification. It certainly supports hierarchical verification. The system is verified with modular structure. The cost of verification is considerably minimized. Experimenting with the case study, the proposed method shows its effectiveness.