• Feb 07, 2023 News!IJMO will adopt Article-by-Article Work Flow   [Click]
  • Aug 25, 2023 News!Vol. 13, No. 3 has been published with online version.   [Click]
  • Dec 21, 2023 News!Vol. 13, No. 4 has been published with online version.   [Click]
General Information
Prof. Adrian Olaru
University Politehnica of Bucharest, Romania
I'm happy to take on the position of editor in chief of IJMO. It's a journal that shows promise of becoming a recognized journal in the area of modelling and optimization. I'll work together with the editors to help it progress.
IJMO 2014Vol.4(3): 239-245 ISSN: 2010-3697
DOI: 10.7763/IJMO.2014.V4.380

Partial Order Reduction for Verification of WS-BPEL

Denduang Pradubsuwun and Wutthipong Kongburan

Abstract—Web service-business process execution Language (WS-BPEL) is a promising language for describing a web service composition. Unfortunately, WS-BPEL lacks expressive power of formal semantics to support verifiability. Consequently, timed trace theory has been used to assure the correctness and reliability of the web service composition with timing constraints. Moreover, since most of business processes are more complicated, the cost of verification is high. It is likely that the state explosion problem will take place. In order to tackle this problem, in this paper a partial order reduction algorithm for timed trace theoretic verification has been applied to minimize the number of states. Experimenting with a tourism information system, the proposed approach expresses its effectiveness.

Index Terms—Partial order reduction, timed trace theory, web service composition.

The authors are with the Department of Computer Science, Thammasat University, Pathumthani, Thailand (e-mail: denduang@cs.tu.ac.th; oatt_fanclub@hotmail.com).


Cite: Denduang Pradubsuwun and Wutthipong Kongburan, "Partial Order Reduction for Verification of WS-BPEL," International Journal of Modeling and Optimization vol. 4, no. 3, pp. 239-245, 2014.

Copyright © 2008-2024. International Journal of Modeling and Optimization. All rights reserved.
E-mail: ijmo@iacsitp.com