Open AccessWeb services property sequence chart monitor: a tool chain for monitoring BPEL‐based web service composition with scenario‐based specifications
Author(s) -
Zhang Pengcheng,
Leung Hareton,
Li Wenrui,
Li Xuandong
Publication year - 2013
Publication title -
iet software
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.305
H-Index - 43
eISSN - 1751-8814
pISSN - 1751-8806
DOI - 10.1049/iet-sen.2012.0047
Subject(s) - computer science , business process execution language , web service , probabilistic logic , chart , software engineering , web application , usability , property (philosophy) , database , real time computing , data mining , service oriented architecture , distributed computing , programming language , world wide web , operating system , artificial intelligence , philosophy , statistics , mathematics , epistemology
Web service composition is a new paradigm to develop distributed and reactive software‐intensive systems. Owing to the autonomous nature of basic services, the validation of composite service must be extended from design‐time to run‐time. Here, the authors describe a novel tool chain called web services property sequence chart monitor to monitor temporal, timing and probabilistic properties in composite service based on scenario‐based property specifications called property sequence chart, timed property sequence chart and probabilistic timed property sequence chart, respectively. The tool chain provides a completely graphical front‐end that eliminates the need to deal with any particular textual and logical formalism. Furthermore, the framework and implementation detail of the tool chain are also presented. Finally, the feasibility and usability of the tool have been validated by the case studies and performance measurement.