A. Bertolino, G. De-angelis, A. Sabetta, and S. G. Elbaum, Scaling up SLA monitoring in pervasive environments, International workshop on Engineering of software services for pervasive environments in conjunction with the 6th ESEC/FSE joint meeting, ESSPE '07, pp.65-68, 2007.
DOI : 10.1145/1294904.1294914

P. Browne, JBoss Drools Business Rules, 2009.

V. Cardellini, E. Casalicchio, V. Grassi, F. L. Presti, and R. Mirandola, Qos-driven runtime adaptation of service oriented architectures, Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium, ESEC/FSE '09, pp.131-140, 2009.
DOI : 10.1145/1595696.1595718

M. B. Chhetri, J. Lin, S. Goh, J. Y. Zhang, R. Kowalczyk et al., A coordinated architecture for the agent-based service level agreement negotiation ofweb service composition, Proceedings of ASWEC, pp.90-99, 2006.

O. Grumberg and D. E. Long, Model checking and modular verification, ACM Transactions on Programming Languages and Systems, vol.16, issue.3, pp.843-871, 1994.
DOI : 10.1145/177492.177725

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.6959

I. Project, Middleware Support for Self-Adaptation in Ubiquitous and Service-Oriented Environments

D. C. Luckham, The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems, 2001.
DOI : 10.1007/978-3-540-88808-6_2

H. Ludwig, A. Dan, and R. Kearney, Cremona: An architecture and library for creation and monitoring of WS-agreents, Proceedings of ICSOC 2004, pp.65-74, 2004.

M. Schumacher, H. Helin, and H. Schuldt, CASCOM: Intelligent Service Coordination in the Semantic Web, 2008.
DOI : 10.1007/978-3-7643-8575-0

S. Group and . University-of-l-'aquila, MOdel driven conStruction of QUeuIng neTwOrks

J. Skene, D. D. Lamanna, and W. Emmerich, Precise service level agreements, Proceedings. 26th International Conference on Software Engineering, pp.179-188, 2004.
DOI : 10.1109/ICSE.2004.1317440

P. J. Windley, SOA governance: Rules of the game, 2006.

T. Yu, Y. Zhang, and K. Lin, Efficient algorithms for Web services selection with end-to-end QoS constraints, ACM Transactions on the Web, vol.1, issue.1, p.6, 2007.
DOI : 10.1145/1232722.1232728

F. Zulkernine, P. Martin, C. Craddock, and K. Wilson, A Policy-Based Middleware for Web Services SLA Negotiation, 2009 IEEE International Conference on Web Services, pp.1043-1050, 2009.
DOI : 10.1109/ICWS.2009.157