Title: Automatic assessment of adherence of terms and conditions of web service-based process

Authors: Lingaraj Panigrahy; Laxmi Narayan Padhy; Ajaya Kumar Tripathy

Addresses: Computer Science and Engineering, BPUT, Odisha, India ' Department of Computer Science and Engineering, KIST, Bhubaneswar, India ' School of Computer Science, Gangadhar Meher University, Sambalpur, Odisha, India

Abstract: In general, web service-based processes (WSBP) are distributed and composed of one or more WSBP called component web services (CWS) which are developed and controlled by third parties. Hence, the functional and quality guarantee terms made with the WSBP provider and client depends on the correctness of all CWSs involved. A run-time, dynamic and non-intrusive approach for compliance assessment is highly essential. This article proposes a functional and quality guarantee terms specification mechanism between the WSBP provider and client. The conformance verification of execution traces of WSBP against the guarantee terms specification is enabled by translating these specifications to automata. A compiler is designed to automate the process of translation of these automatons into executable C programs. These auto-generated C programs monitor the WSBP and CWS interactions to detect violation of functional guarantee terms or validation of quality related guarantee terms at run-time of WSBP.

Keywords: web services; web service composition; service monitoring; formal language.

DOI: 10.1504/IJICT.2022.121788

International Journal of Information and Communication Technology, 2022 Vol.20 No.3, pp.279 - 291

Received: 05 Jun 2020
Accepted: 13 Sep 2020
Published online: 07 Apr 2022 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article