Pengcheng Zhang, Zhiyong Su, Yuelong Zhu, Wenrui Li, Bixin Li. WS-PSC Monitor: A Tool Chain for Monitoring Temporal and Timing Properties in Composite Service Based on Property Sequence Chart. In Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann, editors, Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Volume 6418 of Lecture Notes in Computer Science, pages 485-489, Springer, 2010. [doi]
@inproceedings{ZhangSZLL10,
title = {WS-PSC Monitor: A Tool Chain for Monitoring Temporal and Timing Properties in Composite Service Based on Property Sequence Chart},
author = {Pengcheng Zhang and Zhiyong Su and Yuelong Zhu and Wenrui Li and Bixin Li},
year = {2010},
doi = {10.1007/978-3-642-16612-9_39},
url = {http://dx.doi.org/10.1007/978-3-642-16612-9_39},
tags = {rule-based},
researchr = {https://researchr.org/publication/ZhangSZLL10},
cites = {0},
citedby = {0},
pages = {485-489},
booktitle = {Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings},
editor = {Howard Barringer and Yliès Falcone and Bernd Finkbeiner and Klaus Havelund and Insup Lee and Gordon J. Pace and Grigore Rosu and Oleg Sokolsky and Nikolai Tillmann},
volume = {6418},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-16611-2},
}