Formal verification approaches in the web service composition: A comprehensive analysis of the current challenges for future research

2018 ◽  
Vol 31 (17) ◽  
pp. e3808 ◽  
Author(s):  
Alireza Souri ◽  
Amir Masoud Rahmani ◽  
Nima Jafari Navimipour
Keyword(s):  
Formal Verification ◽  
Web Service ◽  
Service Composition ◽  
Comprehensive Analysis ◽  
Web Service Composition ◽  
Future Research ◽  
The Web

Formal Verification of WS-BPEL Using Timed Trace Theory

2014 ◽  
Vol 931-932 ◽  
pp. 1452-1456 ◽  
Author(s):  
Wutthipong Kongburan ◽  
Denduang Pradubsuwun
Keyword(s):  
Formal Verification ◽  
Web Service ◽  
Service Composition ◽  
Business Processes ◽  
Web Service Composition ◽  
Business Process Execution Language ◽  
Trace Theory ◽  
Business Process Execution ◽  
Reservation System ◽  
The Web

A web service composition is able to create a new service by incorporating some existing web services. Currently, Web Service Business Process Execution Language or WS-BPEL is a promising language used to describe the web service composition. Since in the real world most of business processes have been involved temporal context and they are quite complex interaction, it is impossible to completely eliminate all failures in them. Therefore, a formal verification is required to assure the correctness and reliability of the web service composition. In this paper, timed trace theory has been applied to verify the web service composition with temporal constraints. Both safety and timing failures can be examined. Experimenting with a ticket reservation system, the proposed approach shows its effectiveness.

Autonomic Execution of Web Service Composition Using AI Planning Method

Web Services ◽  
2019 ◽  
pp. 1530-1550
Author(s):  
Chao-Qun Yuan ◽  
Fang-Fang Chua
Keyword(s):  
Web Service ◽  
Service Composition ◽  
Service Oriented Architecture ◽  
Web Service Composition ◽  
Automated System ◽  
Ai Planning ◽  
Dynamic Factors ◽  
Service Oriented ◽  
Business Requirements ◽  
The Web

Web Service Composition is one of the technologies in Service Oriented Architecture which significantly increases the flexibility and reusability of developing service-oriented system. One of the major problems which occurs in web service composition is the difficulties of maintaining the existing running web service composition solutions due to the changes of business requirements, deployment environment, and other dynamic factors. In this proposed work, an automated system had been built to autonomously execute the web service composition. To achieve this objective, the authors had embedded semantic engine and Prolog in C# program to automatically and dynamically discover, compose and execute web service composition, i.e. a web service composition could be self-configured to automatically recover from execution failure and automatically re-generate composition solution due to business protocol changes.

Sign in / Sign up

Export Citation Format

Share Document