A. Andrieux, K. Czajkowski, A. Dan, K. Keahey, H. Ludwig, T. Nakata, J. Pruyne, J. Rofrano, S. Tuecke, and M. Xu. Web Services Agreement Specification (WS-Agreement). http://www.ogf.org/documents/GFD.107.pdf.
F. Barbon, P. Traverso, M. Pistore, and M. Trainotti. Run-time monitoring of instances and classes of web service compositions. In ICWS'06 Proceedings, pages 63-71, Washington, DC, USA, 2006. IEEE Computer Society.
L. Baresi, D. Bianculli, C. Ghezzi, S. Guinea, and P. Spoletini. Validation of web service compositions. IET Software, 1(6):219-232, 2007.
L. Baresi and E. Di Nitto, editors. Test and Analysis of Web Services. Springer, 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.
M. Braem and N. Joncheere. Requirements for applying aspect-oriented techniques in web service composition languages. In SC 2007 Proceedings, volume 4829 of LNCS, pages 152-159. Springer, 2007.
M. Braem, K. Verlaenen, N. Joncheere, W. Vanderperren, R. Van Der Straeten, E. Truyen, W. Joosen, and V. Jonckers. Isolating Process-Level Concerns Using Padus. In BPM 2006 Proceedings, volume 4102 of LNCS, pages 113-128. Springer, 2006.
A. Charfi and M. Mezini. Aspect-oriented workflow languages. In CoopIS 2006 Proceedings, 2006.
F. Chen and G. Roşu. MOP: an efficient and generic runtime verification framework. In OOPSLA'07 Proceedings, pages 569-588, New York, NY, USA, 2007. ACM Press.
F. Curbera. Component contracts in service-oriented architectures. IEEE Computer, 40(11):74-80, 2007.
F. Curbera, M. J. Duftler, R. Khalaf, W. A. Nagy, N. Mukhi, and S. Weerawarana. Colombo: lightweight middleware for service-oriented computing. IBM Syst. J., 44(4):799-820, 2005.
W.-P. de Roever, F. de Boer, U. Hannemann, J. Hooman, Y. Lakhnech, M. Poel, and J. Zwiers. Concurrency Verification: Introduction to Compositional and Noncompositional Methods. Cambridge University Press, 2001.
R. P. Díaz Redondo, A. Fernández Vilas, M. Ramos Cabrer, J. J. Pazos Arias, J. García Duque, and A. Gil Solla. Enhancing residential gateways: a semantic OSGi platform. IEEE Intelligent Systems, 23(1):32-40, Jan/Feb 2008.
T. Erl. Service-Oriented Architecture: Concepts, Technology, and Design, chapter 3. Prentice Hall, 2005.
A. Erradi, P. Maheshwari, and V. Tosic. WS-Policy based monitoring of composite web services. In ECOWS'07 Proceedings, pages 99-108, Washington, DC, USA, 2007. IEEE Computer Society.
H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-based Verification of Web Service Compositions. In ASE 2003 Proceedings, pages 152-163. IEEE Computer Society, 2003.
X. Fu, T. Bultan, and J. Su. Analysis of interacting BPEL web services. In WWW'04 Proceedings, pages 621-630, New York, NY, USA, 2004. ACM Press.
S. Gorton, C. Montangero, S. Reiff-Marganiec, and L. Semini. StPowla: SOA, Policies and Workflows. In WESOA 2007, 2007.
K. D. Gottschalk, S. Graham, H. Kreger, and J. Snell. Introduction to web services architecture. IBM Systems Journal, 41(2):170-177, 2002.
R. High, S. Kinder, and S. Graham. IBM's SOA Foundation: An Architectural Introduction and Overview. http://download.boulder.ibm.com/ibmdl/pub/software/ dw/webservices/ws-soa-whitepaper.pdf, November 2005.
IBM. Tivoli Composite Application Manager for SOA. http://www-306.ibm. com/software/tivoli/products/compos ite-application-mgr-soa/.
A. Keller and H. Ludwig. The WSLA framework: specifying and monitoring service level agreement for web services. Journal of Network and System Management, 11(1), 2003.
G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes, J. Loingtier, and J. Irwin. Aspect-oriented programming. In ECOOP'97 Proceedings, volume 1241 of LNCS, pages 220-242. Springer, 1997.
R. Kowalski and M. Sergot. A logic-based calculus of events. New Gen. Comput., 4(1):67-95, 1986.
H. Ludwig, A. Dan, and R. Kearney. Cremona: an architecture and library for creation and monitoring of ws-agreents. In ICSOC'04 Proceedings, pages 65-74, New York, NY, USA, 2004. ACM Press.
K. Mahbub and G. Spanoudakis. A framework for requirements monitoring of service based systems. In ICSOC'04 Proceedings, pages 84-93, New York, NY, USA, 2004. ACM Press.
O. Moser, F. Rosenberg, and S. Dustdar. Non-intrusive monitoring and service adaptation for WS-BPEL. In WWW'08 Proceedings, 2008. to appear.
OASIS. Web Service Business Process Execution Language Version 2.0 Specification, april 2007. OASIS standard.
C. Pautasso. A Flexible system for visual service composition. PhD thesis, ETH Zürich, 2004.
PLASTIC Project. Description of Work. http://www.ist-plastic.org, 2005.
F. Raimondi, J. Skene, L. Chen, and W. Emmerich. Efficient monitoring of web service SLAs. Technical Report RN/07/01, UCL, Dept. of Computer Science, Jan. 2007.
M. Rouached, O. Perrin, and C. Godart. Towards formal verification 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.
SeCSE Project. Description of Work. http://secse.eng.it/, 2004.
J. Skene, D. D. Lamanna, and W. Emmerich. Precise service level agreements. In ICSE'04 Proceedings, pages 179-188, Washington, DC, USA, 2004. IEEE Computer Society.
D. Suvee, B. De Fraine, M. A. Cibran, B. Verheecke, N. Joncheere, and W. Vanderperren. Evaluating FuseJ as a web service composition language. In ECOWS'05 Proceedings, pages 25-37, Washington, DC, USA, 2005. IEEE Computer Society.
J. T. E. Timm and G. C. Gannod. Specifying semantic web service compositions using UML and OCL. In ICWS 2007 Proceedings, pages 521-528. IEEE Computer Society, 2007.
W3C Web Services Policy Working Group. WS-Policy 1.5. http://www.w3.org/2002/ws/policy/.
