Fault localisation for WS-BPEL programs based on predicate switching and program slicing
Service-Oriented Architecture (SOA) enables the coordination of multiple loosely coupled services. This allows users to choose any service provided by the SOA without knowing implementation details, thus making coding easier and more flexible. Web services are basic units of SOA. However, the functi...
| Main Authors: | , , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Elsevier
2018
|
| Subjects: | |
| Online Access: | https://eprints.nottingham.ac.uk/51754/ |
| _version_ | 1848798566846300160 |
|---|---|
| author | Sun, Chang-ai Ran, Yufeng Zheng, Caiyun Liu, Huai Towey, Dave Zhang, Xiangyu |
| author_facet | Sun, Chang-ai Ran, Yufeng Zheng, Caiyun Liu, Huai Towey, Dave Zhang, Xiangyu |
| author_sort | Sun, Chang-ai |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | Service-Oriented Architecture (SOA) enables the coordination of multiple loosely coupled services. This allows users to choose any service provided by the SOA without knowing implementation details, thus making coding easier and more flexible. Web services are basic units of SOA. However, the functionality of a single Web service is limited, and usually cannot completely satisfy the actual demand. Hence, it is necessary to coordinate multiple independent Web services to achieve complex business processes. Business Process Execution Language for Web Services (WS-BPEL) makes the coordination possible, by helping the integration of multiple Web services and providing an interface for users to invoke. When coordinating these services, however, illegal or faulty operations may be encountered, but current tools are not yet powerful enough to support the localisation and removal of these problems. In this paper, we propose a fault localisation technique for WS-BPEL programs based on predicate switching and program slicing, allowing developers to more precisely locate the suspicious faulty code. Case studies were conducted to investigate the effectiveness of the proposed technique, which was compared with predicate switching only, slicing only, and one existing fault localisation technique, namely Tarantula. The experimental results show that the proposed technique has a higher fault localisation effectiveness and precision than the baseline techniques. |
| first_indexed | 2025-11-14T20:21:49Z |
| format | Article |
| id | nottingham-51754 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-14T20:21:49Z |
| publishDate | 2018 |
| publisher | Elsevier |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-517542018-11-05T04:30:16Z https://eprints.nottingham.ac.uk/51754/ Fault localisation for WS-BPEL programs based on predicate switching and program slicing Sun, Chang-ai Ran, Yufeng Zheng, Caiyun Liu, Huai Towey, Dave Zhang, Xiangyu Service-Oriented Architecture (SOA) enables the coordination of multiple loosely coupled services. This allows users to choose any service provided by the SOA without knowing implementation details, thus making coding easier and more flexible. Web services are basic units of SOA. However, the functionality of a single Web service is limited, and usually cannot completely satisfy the actual demand. Hence, it is necessary to coordinate multiple independent Web services to achieve complex business processes. Business Process Execution Language for Web Services (WS-BPEL) makes the coordination possible, by helping the integration of multiple Web services and providing an interface for users to invoke. When coordinating these services, however, illegal or faulty operations may be encountered, but current tools are not yet powerful enough to support the localisation and removal of these problems. In this paper, we propose a fault localisation technique for WS-BPEL programs based on predicate switching and program slicing, allowing developers to more precisely locate the suspicious faulty code. Case studies were conducted to investigate the effectiveness of the proposed technique, which was compared with predicate switching only, slicing only, and one existing fault localisation technique, namely Tarantula. The experimental results show that the proposed technique has a higher fault localisation effectiveness and precision than the baseline techniques. Elsevier 2018-01-31 Article PeerReviewed application/pdf en cc_by_nc_nd https://eprints.nottingham.ac.uk/51754/1/BPELdebug_20170926.pdf Sun, Chang-ai, Ran, Yufeng, Zheng, Caiyun, Liu, Huai, Towey, Dave and Zhang, Xiangyu (2018) Fault localisation for WS-BPEL programs based on predicate switching and program slicing. Journal of Systems and Software, 135 . pp. 191-204. ISSN 0164-1212 Fault localization; Debugging; Business Process Execution Language for Web Services; Web Services https://www.sciencedirect.com/science/article/pii/S0164121217302534?via%3Dihub 10.1016/j.jss.2017.10.030 10.1016/j.jss.2017.10.030 10.1016/j.jss.2017.10.030 |
| spellingShingle | Fault localization; Debugging; Business Process Execution Language for Web Services; Web Services Sun, Chang-ai Ran, Yufeng Zheng, Caiyun Liu, Huai Towey, Dave Zhang, Xiangyu Fault localisation for WS-BPEL programs based on predicate switching and program slicing |
| title | Fault localisation for WS-BPEL programs based on predicate switching and program slicing |
| title_full | Fault localisation for WS-BPEL programs based on predicate switching and program slicing |
| title_fullStr | Fault localisation for WS-BPEL programs based on predicate switching and program slicing |
| title_full_unstemmed | Fault localisation for WS-BPEL programs based on predicate switching and program slicing |
| title_short | Fault localisation for WS-BPEL programs based on predicate switching and program slicing |
| title_sort | fault localisation for ws-bpel programs based on predicate switching and program slicing |
| topic | Fault localization; Debugging; Business Process Execution Language for Web Services; Web Services |
| url | https://eprints.nottingham.ac.uk/51754/ https://eprints.nottingham.ac.uk/51754/ https://eprints.nottingham.ac.uk/51754/ |