Verification of transaction-aware web services composition through formal methods

Due to the popularity of web-based technologies and the cloud computing paradigm, organizations are adopting web services composition for the cost-effective development of business applications. Web services involved in composition can execute long-running transactions. Ensuring reliability in the e...

Full description

Saved in:
Bibliographic Details
Published in:International journal of system assurance engineering and management 2024, Vol.15 (6), p.2312-2327
Main Authors: Jalal, Sunita, Negi, Chetan Singh, Yadav, Dharmendra Kumar
Format: Article
Language:English
Subjects:
Business Process Execution Language
Cloud computing
Composition
Engineering
Engineering Economics
Formal method
Logistics
Marketing
Organization
Original Article
Quality Control
Reliability
Safety and Risk
Verification
Web services
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Due to the popularity of web-based technologies and the cloud computing paradigm, organizations are adopting web services composition for the cost-effective development of business applications. Web services involved in composition can execute long-running transactions. Ensuring reliability in the execution of transaction-aware web services composition is a critical issue. Formal methods based approaches are helpful to model and verify the behaviour of web services composition before its development. This paper proposes a verification approach that presents mapping between BPEL and CSP constructs, and checks different assertions to get correct CSP and BPEL models. The proposed approach also verifies the transactional behaviour of web services composition. We have used failures-divergences refinement and new symbolic model checker tools for experiments that show the usefulness of our approach.
ISSN:0975-6809
0976-4348
DOI:10.1007/s13198-023-02246-y