WS-PSC monitor: a tool chain for monitoring temporal and timing properties in composite service based on property sequence chart

Authors:
Pengcheng Zhang;Zhiyong Su;Yuelong Zhu;Wenrui Li;Bixin Li
Affiliations:
College of Computer and Information Engineering, Hohai University, Nanjing, China;Wuxi Huishi Technology Co., Ltd, Wuxi, China;College of Computer and Information Engineering, Hohai University, Nanjing, China;College of Computer and Information Engineering, Hohai University, Nanjing, China;School of Computer Science and Engineering, Southeast University, Nanjing, China
Venue:
RV'10 Proceedings of the First international conference on Runtime verification
Year:
2010

Citing 7
Cited 2

A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools

IEEE Transactions on Software Engineering
Graphical scenarios for specifying temporal properties: an automated approach

Automated Software Engineering
An Approach to Monitor Scenario-Based Temporal Properties in Web Service Compositions

Advanced Web and NetworkTechnologies, and Applications
Extending PSC for Monitoring the Timed Properties in Composite Services

APSEC '08 Proceedings of the 2008 15th Asia-Pacific Software Engineering Conference
Monitoring probabilistic properties

Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Timed Property Sequence Chart

Journal of Systems and Software
A Formal Syntax for Probabilistic Timed Property Sequence Charts

ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering

Run-time systems failure prediction via proactive monitoring

ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Runtime verification of service-oriented systems: a well-rounded survey

International Journal of Web and Grid Services

Quantified Score

Hi-index	0.00

Visualization

Abstract

Web service composition is a new paradigm to develop distributed and reactive software-intensive systems. Due to the autonomous attribute of each basic service, validation of composite services must be extended from design time to run-time. In this paper, we describe a novel tool chain called WS-PSC Monitor to monitor temporal and timing properties in composite service based on graphical specification property sequence chart and timed property sequence chart. The tool chain provides a completely graphical front-end which can make software designers do not have to deal with any particular textual and logical formalism.