Monitoring of probabilistic timed property sequence charts. (English)
Softw., Pract. Exper. 41, No. 7, 841-866 (2011).
1
WS-PSC monitor: a tool chain for monitoring temporal and timing properties in composite service based on property sequence chart. (English)
Barringer, Howard (ed.) et al., Runtime verification. First international conference, RV 2010, St. Julians, Malta, November 1‒4, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16611-2/pbk). Lecture Notes in Computer Science 6418, 485-489 (2010).
2
An approach to monitor scenario-based temporal properties in web service compositions. (English)
Ishikawa, Yoshiharu (ed.) et al., Advanced web and network technologies, and applications. APWeb 2008 international workshops: BIDM, IWHDM, and DeWeb, Shenyang, China, April 26‒28, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-540-89375-2/pbk). Lecture Notes in Computer Science 4977, 144-154 (2008).
3
Start
Contact
Print
General Help
