Title :
Hierarchical verification of WS-BPEL
Author :
Pradubsuwun, Denduang
Author_Institution :
Dept. of Comput. Sci., Thammasat Univ., Pathum Thani, Thailand
fDate :
July 30 2014-Aug. 1 2014
Abstract :
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.
Keywords :
Web Services Business Process Execution Language; formal verification; WS-BPEL; Web service-business process execution; hierarchical verification; partial order reduction; timed trace theoretic verification; Computer science; Firing; Information systems; Input variables; Switches; Timing; Web services; Hierarchical Verification; WS-BPEL;
Conference_Titel :
Computer Science and Engineering Conference (ICSEC), 2014 International
Conference_Location :
Khon Kaen
Print_ISBN :
978-1-4799-4965-6
DOI :
10.1109/ICSEC.2014.6978226
