J. O. Kephart and D. M. Chess, The vision of autonomic computing, Computer, vol.36, issue.1, pp.41-50, 2003.
DOI : 10.1109/MC.2003.1160055

P. Grefen, K. Aberer, H. Ludwig, and Y. Hoffner, Crossflow: Cross- Flow: Cross-Organizational Workflow Management in Dynamic Virtual Enterprises, International Journal of Computer Systems Science & Engineering, vol.15, pp.277-290, 2000.

A. Moui, T. Desprats, E. Lavinal, and M. Sibilla, A CIM-based Framework to Manage Monitoring Adaptability, Network and service management (cnsm), 2012 8th international conference and 2012 workshop on systems virtualiztion management (svm), 2012, pp.261-265

C. Molina-jimenez, C. Molina-jimenez, S. Shrivastava, S. Shrivastava, E. Solaiman et al., Run-time monitoring and enforcement of electronic contracts, Electronic Commerce Research and Applications, 2004.
DOI : 10.1016/j.elerap.2004.02.003

C. Molina-jimenez, S. Shrivastava, J. Crowcroft, and P. Gevros, On the monitoring of contractual service level agreements, Proceedings. First IEEE International Workshop on Electronic Contracting, 2004., pp.1-8, 2004.
DOI : 10.1109/WEC.2004.1319502

V. Emeakaroha, I. Brandic, M. Maurer, and S. Dustdar, Low level Metrics to High level SLAs - LoM2HiS framework: Bridging the gap between monitored metrics and SLA parameters in cloud environments, 2010 International Conference on High Performance Computing & Simulation, pp.48-54, 2010.
DOI : 10.1109/HPCS.2010.5547150

G. Katsaros, G. Kousiouris, S. V. Gogouvitis, D. Kyriazis, A. Menychtas et al., A Self-adaptive hierarchical monitoring mechanism for Clouds, Journal of Systems and Software, vol.85, issue.5, pp.1029-1041, 2012.
DOI : 10.1016/j.jss.2011.11.1043

D. Roxburgh, D. Spaven, and C. Gallen, Monitoring as an SLA-oriented consumable service for SaaS assurance: A prototype, 12th IFIP/IEEE International Symposium on Integrated Network Management (IM 2011) and Workshops, pp.925-939, 2011.
DOI : 10.1109/INM.2011.5990500

P. Thongtra and F. Aagesen, An Adaptable Capability Monitoring System, 2010 Sixth International Conference on Networking and Services, pp.73-80, 2010.
DOI : 10.1109/ICNS.2010.19

M. Munawar, T. Reidemeister, M. Jiang, A. George, and P. Ward, Adaptive Monitoring with Dynamic Differential Tracing-Based Diagnosis, Lecture Notes in Computer Science, vol.16, issue.5, pp.162-175, 2008.
DOI : 10.1109/TNN.2005.853411

A. Van-lamsweerde, Requirements engineering, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, SIGSOFT '08/FSE-16, 2009.
DOI : 10.1145/1453101.1453133

A. Van-lamsweerde, Requirements engineering in the year 00, Proceedings of the 22nd international conference on Software engineering , ICSE '00, pp.5-19, 2000.
DOI : 10.1145/337180.337184

A. Toueir, J. Broisin, and M. Sibilla, Toward configurable performance monitoring: Introduction to mathematical support for metric representation and instrumentation of the CIM metric model, 2011 5th International DMTF Academic Alliance Workshop on Systems and Virtualization Management: Standards and the Cloud (SVM), pp.1-6, 2011.
DOI : 10.1109/SVM.2011.6096461

A. Moui, T. Desprats, E. Lavinal, and M. Sibilla, Information Models for Managing Monitoring Adaptation Enforcement, International Conference on Adaptive and Self-adaptive Systems and Applications (ADAPTIVE)XPS), juillet 2012, pp.44-50

C. Hobbs, A Practical Approach to WBEM/CIM Management, 2004.
DOI : 10.1201/9780203500132

A. Moui, T. Desprats, E. Lavinal, and M. Sibilla, Managing polling adaptability in a CIM/WBEM infrastructure, 2010 4th International DMTF Academic Alliance Workshop on Systems and Virtualization Management, pp.1-6, 2010.
DOI : 10.1109/SVM.2010.5674749

K. Jensen and M. L. Kristensen, Coloured Petri Nets Modelling and Validation of Concurrent Systems, 2009.

J. Jørgensen, S. Tjell, and J. Fernandes, Formal requirements modelling with executable use cases and coloured Petri nets, Innovations in Systems and Software Engineering, pp.13-25, 2009.
DOI : 10.1007/s11334-009-0075-6

J. Nobre, L. Granville, A. Clemm, and A. Prieto, Decentralized Detection of SLA Violations Using P2P Technology, Network and service management (cnsm), 2012 8th international conference and 2012 workshop on systems virtualiztion management (svm), 2012, pp.100-107

K. Jensen, L. M. Kristensen, and L. Wells, Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems, International Journal on Software Tools for Technology Transfer, vol.2, issue.2
DOI : 10.1007/s10009-007-0038-x