• Apr 24, 2017 News! Vol.6, No.4 has been indexed by EI (Inspec).   [Click]
  • Apr 24, 2017 News! Vol.6, No.3 has been indexed by EI (Inspec).   [Click]
  • Mar 16, 2017 News!Vol 7, No 1 has been published with online version 11 original aritcles from 6 countries are published in this issue   [Click]
General Information
    • ISSN: 2010-3697
    • Frequency: Bimonthly
    • DOI: 10.7763/IJMO
    • Editor-in-Chief: Prof. Adrian Olaru
    • Executive Editor: Ms.Yoyo Y. Zhou
    • Abstracting/ Indexing: Engineering & Technology Digital Library, ProQuest, Crossref, Electronic Journals Library, DOAJ, Google Scholar, EI (INSPEC, IET).
    • E-mail ijmo@iacsitp.com
Editor-in-chief
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).

[PDF]

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-2015.International Journal of Modeling and Optimization. All rights reserved.
E-mail: ijmo@iacsitp.com