T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana. Business Process Execution Language for Web Services, Version 1.1, May 2003.
E. Astesiano, H.-J. Kreowski, and B. Krieg-Brueckner, editors. Algebraic Foundations of Systems Specification. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 1999.
F. Barbon, P. Traverso, M. Pistore, and M. Trainotti. Run-time monitoring of instances and classes of web service compositions. In ICWS '06: Proceedings of the 2006 IEEE International Conference on Web Services, 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, 2007. submitted for publication.
L. Baresi, E. Di Nitto, and C. Ghezzi. Towards Open-World Software. IEEE Computer, 39:36-43, October 2006.
L. Baresi and S. Guinea. Towards dynamic monitoring of WS-BPEL processes. In ICSOC 2005: Proceedings of the 3rd International Conference on Service Oriented Computing, volume 3826 of Lecture. Notes in Computer Science, pages 269-282. Springer, 2005.
M. Bidoit and P. D. Mosses. CASL User Manual. LNCS 2900 (IFIP Series). Springer, 2004. With chapters by T. Mossakowski, D. Sannella, and A. Tarlecki.
D. Brenner, C. Atkinson, O. Hummel, and D. Stoll. Strategies for the run-time testing of third party web services. In Proceedings of the 2007 IEEE International Conference on Service-Oriented Computing and Applications (IEEE SOCA 2007), pages 114-121, Los Alamitos, CA, USA, 2007. IEEE Computer Society.
Y. Cheonand, G. Leavensand, M. Sitaramanand, and S. Edwards. Model variables: cleanly supporting abstraction in design by contract. Software: Practice and Experience, 35(6):583-599, 2005.
C. Courbis and A. Finkelstein. Towards aspect weaving applications. In ICSE '05: Proceedings of the 27th international conference on Software engineering, pages 69-77, New York, NY, USA, 2005. ACM Press.
L. D'Ercole. Monitoraggio di processi di workflow mediante programmazione orientata agli aspetti. Master's thesis, Politecnico di Milano, 2006.
N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science B: Formal Methods and Semantics, chapter 6, pages 243-320. North-Holland, 1990.
X. Fu, T. Bultan, and J. Su. Analysis of interacting BPEL web services. In WWW '04: Proceedings of the 13th international conference on World Wide Web, pages 621-630, New York, NY, USA, 2004. ACM Press.
K. Futatsugi and A. Nakagawa. An overview of CAFE specification environment. In Proceedings of the 1st International Conference on Formal Engineering Methods (ICFEM 1997), pages 170-182." IEEE " Computer Society, 1997.
J. A. Goguen, J. Thatcher, and E. Wagner. An initial algebra approach to the specification, correctness and implementation of abstract data types. In R. Yeh, editor, Current Trends in Programming Methodology, volume IV: Data Structuring, pages 80-149. Prentice-Hall, 1978.
J. Henkel and A. Diwan. A tool for writing and debugging algebraic specifications. In ICSE '04: Proceedings of the 26th international conference on Software engineering, pages 449-558, Washington, DC, USA, 2004. IEEE Computer Society.
G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An overview of AspectJ. In ECOOP 2001 - Object-Oriented Programming, 15th European Conference, Proceedings, volume 2072 of Lecture Notes in Computer Science, pages 327-353. Springer, 2001.
G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes, J. Loingtier, and J. Irwin. Aspect-oriented programming. In ECOOP'97 - Object-Oriented Programming, 11th European Conference, Proceedings, volume 1241 of Lecture Notes in Computer Science, pages 220-242. Springer, 1997.
J. W. Klop. Term rewriting systems. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume 2, chapter 1, pages 1-117. Oxford University Press, 1992.
G. T. Leavens, A. L. Baker, and C. Ruby. JML: A notation for detailed design. In H. Kilov, B. Rumpe, and I. Simmonds, editors, Behavioral Specifications of Businesses and Systems, pages 175-188. Kluwer Academic Publishers, Boston, 1999.
Z. Li, Y. Jin, and J. Han. A runtime monitoring and validation framework for web service interactions. In ASWEC06: Proceedings of the 17th Australian Software Engineering Conference, pages 70-79. IEEE Computer Society, 2006.
K. Mahbub and G. Spanoudakis. A framework for requirements monitoring of service based systems. In ICSOC '04: Proceedings of the 2nd international conference on Service oriented computing, pages 84-93, New York, NY, USA, 2004. ACM Press.
B. Meyer. Applying "design by contract". Computer, 25(10):40-51, Oct. 1992.
I. Nunes, A. Lopes, V. Vasconcelos, J. Abreu, and L. S. Reis. Checking the conformance of Java classes against algebraic specifications. In 8th International Conference on Formal Engineering Methods (ICFEM), volume 4260 of Lecture Notes in Computer Science, pages 494-513. Springer-Verlag, October 2006.
M. Papazoglou and J.-J. Dubray. A survey of web service technologies. Technical Report DIT-04-058, Department of Information and Communication Technology, University of Trento, June 2004.
M. Pistore, F. Barbon, P. Bertoli, D. Shaparau, and P. Traverso. Planning and monitoring web service composition. In Artificial Intelligence: Methodology, Systems, and Applications, 11th International Conference, AIMSA 2004, Proceedings, volume 3192 of Lecture Notes in Computer Science, pages 106-115. Springer, 2004.
W. N. Robinson. Monitoring web service requirements. In RE'03: Proceedings of the 11th IEEE International Conference on Requirements Engineering, page 65, Washington, DC, USA, 2003. IEEE Computer Society.
J. Skene, D. D. Lamanna, and W. Emmerich. Precise service level agreements. In ICSE '04: Proceedings of the 26th International Conference on Software Engineering, pages 179-188, Washington, DC, USA, 2004. IEEE Computer Society.
J. Skene, A. Skene, J. Crampton, and W. Emmerich. The monitorability of service-level agreements for application-service provision. In WOSP '07: Proceedings of the 6th international workshop on Software and performance, pages 3-14, New York, NY, USA, 2007. ACM Press.
