Please use this identifier to cite or link to this item: http://hdl.handle.net/10397/8450
Title: Web services property sequence chart monitor : a tool chain for monitoring BPEL-based web service composition with scenario-based specifications
Authors: Zhang, P
Leung, H 
Li, W
Li, X
Issue Date: 2013
Source: IET Software, 2013, v. 7, no. 4, p. 222-248 How to cite?
Journal: IET Software 
Abstract: 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.
URI: http://hdl.handle.net/10397/8450
ISSN: 1751-8806
DOI: 10.1049/iet-sen.2012.0047
Appears in Collections:Journal/Magazine Article

Access
View full-text via PolyU eLinks SFX Query
Show full item record

SCOPUSTM   
Citations

3
Last Week
0
Last month
Citations as of Oct 17, 2017

WEB OF SCIENCETM
Citations

3
Last Week
0
Last month
0
Citations as of Oct 17, 2017

Page view(s)

50
Last Week
5
Last month
Checked on Oct 16, 2017

Google ScholarTM

Check

Altmetric



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.