Chronological fault-based mutation processes for WS-BPEL 2.0 programs
by Adel Khaled, James Miller
International Journal of Web Engineering and Technology (IJWET), Vol. 6, No. 2, 2010

Abstract: Business Process Execution Language for Web Services (WS-BPEL) is a powerful language developed to capture the semantics of business processes and to describe the interactions between involved systems. Limited research has been undertaken in the area of identifying faults manifested in WS-BPEL-based systems. In this paper, we propose an approach to assist in testing WS-BPEL programs, specifically with regard to chronological-oriented faults. This approach employs mutation testing to identify and detect mutants introduced into WS-BPEL programs. We describe the steps to generate such mutants for WS-BPEL programs. To reduce the mutant specification into a minimal set of generic mutant specifications, we work directly with the workflow patterns that exist in this language. Further, we utilise an extended version of Backus-Naur Form (BNF) to represent a simple subset of communicating sequential processes (CSP) notations, adapted to fit the descriptive needs of WS-BPEL-based systems, to provide a complete and minimal set of mutants of chronological-oriented faults that can exist in WS-BPEL systems of the future.

Online publication date: Mon, 24-Jan-2011

The full text of this article is only available to individual subscribers or to users at subscribing institutions.

 
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.

Pay per view:
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.

Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Web Engineering and Technology (IJWET):
Login with your Inderscience username and password:

Username:        Password:          Forgotten your password?

Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.

If you still need assistance, please email subs@inderscience.com