R. Alur and T. A. Henzinger. A really temporal logic. J. ACM, 41(1):181:203, 1994.
F. Barbon, P. Traverso, M. Pistore, and M. Trainotti. Run-time monitoring of instances and classes of web service compositions. In ICWS 2006 Proceedings, pages 63:71. IEEE, 2006.
L. Baresi, D. Bianculli, C. Ghezzi, S. Guinea, and P. Spoletini. A timed extension of WSCoL. In ICWS 2007 Proceedings, pages 663:670. IEEE, 2007.
L. Baresi, D. Bianculli, C. Ghezzi, S. Guinea, and P. Spoletini. Validation of web service compositions. IET Softw., 1(6):219:232, 2007.
L. Baresi, E. Di Nitto, and C. Ghezzi. Toward open-world software: Issue and challenges. IEEE Computer, 39(10):36:43, 2006.
L. Baresi and S. Guinea. Towards dynamic monitoring of WS-BPEL processes. In ICSOC 2005 Proceedings, volume 3826 of LNCS, pages 269:282. Springer, 2005.
D. Bianculli and C. Ghezzi. Monitoring conversational web services. In IW-SOSWE'07 Proceedings, pages 15:21. ACM, 2007.
D. Bianculli and C. Ghezzi. Towards a methodology for lifelong validation of service compositions. In SDSOA 2008 Proceedings, pages 7:12. ACM, 2008.
D. Bianculli, C. Ghezzi, and P. Spoletini. A model checking approach to verify BPEL4WS workows. In SOCA 2007 Proceedings, pages 13:20. IEEE, 2007.
D. Bianculli, C. Ghezzi, P. Spoletini, L. Baresi, and S. Guinea. A guided tour through SAVVY-WS: a methodology for specifying and validating web service compositions. In E. Börger and A. Cisternino, editors, Software Engineering, volume 5316 of LNCS, pages 131:160. Springer, 2008.
A. Erradi, P. Maheshwari, and V. Tosic. WS-Policy based monitoring of composite web services. In ECOWS '07 Proceedings, pages 99:108. IEEE, 2007.
H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-based Veri cation of Web Service Compositions. In ASE 2003 Proceedings, pages 152:163. IEEE, 2003.
X. Fu, T. Bultan, and J. Su. Analysis of interacting BPEL web services. In WWW'04 Proceedings, pages 621:630. ACM, 2004.
S. Konrad and B. H. C. Cheng. Real-time speci cation patterns. In ICSE '05 Proceedings, pages 372:381. ACM, 2005.
O. Moser, F. Rosenberg, and S. Dustdar. Non-intrusive monitoring and service adaptation for WS-BPEL. In WWW'08 Proceedings, pages 815:824. ACM, 2008.
OASIS. Web Service Business Process Execution Language Version 2.0 Speci cation, 2007.
C. Pautasso. A Flexible system for visual service composition. PhD thesis, ETH Zürich, 2004.
F. Raimondi, J. Skene, , and W. Emmerich. Ecient online monitoring of web-service SLAs. In SIGSOFT 2008 - FSE 16 Proceedings. ACM, 2008. to appear.
M. Rouached, O. Perrin, and C. Godart. Towards formal veri cation of web service composition. In BPM 2006 Proceedings, volume 4102 of LNCS, pages 257:273. Springer, 2006.
A. Sahai, V. Machiraju, M. Sayal, L. J. Jin, and F. Casati. Automated SLA monitoring for web services. In DSOM 2002 Proceedings, volume 2506 of LNCS, pages 28:41. Springer, 2002.
B.-H. Schlinglo , A. Martens, and K. Schmidt. Modeling and Model Checking Web Services. ENTCS, 126:3:26, 2005.
W3C. Web services choreography description language. http://www.w3.org/ TR/ws-cdl-10/, 2005
