S.M.  Hasan Mahmud, Sheak  Rashed Haider Noori, Md  Altab Hossin, Hosney  Jahan, 
    CPN-based Test Case Generation Approach for Testing BPEL-based Web Services
Composition,
    Journal of Engineering and Applied Sciences,
    Volume 14,Issue 21,
    2019,
    Pages 7828-7840,
    ISSN 1816-949x,
    jeasci.2019.7828.7840,
    (https://makhillpublications.co/view-article.php?doi=jeasci.2019.7828.7840)
    Abstract: Business Process Execution Language (BPEL) is an up-and-coming language which depicts the
composition of web services in the structure of business processes. However, the interaction among the
participating services can make the BPEL code significantly complicated. Therefore, it is necessary to find the
interaction inconsistencies among the BPEL processes. Testing provides a solution to improve the quality of
the BPEL code. The formal method that can handle all the requirements for testing BPEL-based web service
composition is Colored Petri Net (CPN) which provides a strong mathematical background for the modeling,
verification and testing of the BPEL structures. This study presents an approach to generate test cases for
testing BPEL-based web services composition using CPN in an effective and feasible manner. Our approach
combines a reachability graph and a control flow graph to generate feasible test cases by reducing the
associated time cost. A prototype tool has been implemented based on our proposed approach and its validity
is empirically evaluated with two case studies. The effectiveness of the prospective approach is measured in
terms of its fault detection capability. Furthermore, the results of the proposed approach are compared with
state-of-the-art approaches which demonstrates that the approach is both effective and feasible than existing
approaches.
    Keywords: test path generation;CPN;web service composition;BPEL;test data generation;test case
generation