DocumentCode
179792
Title
Hierarchical verification of WS-BPEL
Author
Pradubsuwun, Denduang
Author_Institution
Dept. of Comput. Sci., Thammasat Univ., Pathum Thani, Thailand
fYear
2014
fDate
July 30 2014-Aug. 1 2014
Firstpage
378
Lastpage
382
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Science and Engineering Conference (ICSEC), 2014 International
Conference_Location
Khon Kaen
Print_ISBN
978-1-4799-4965-6
Type
conf
DOI
10.1109/ICSEC.2014.6978226
Filename
6978226
Link To Document