.. Analyse-d-'un-symptôme, Nombreux accès distants", p.111

.. Planification-d-'une, Migration de conteneur", p.113

". De-conteneur, Exécution, p.115

". De-conteneur, Exécution 117 1. en anglais : self-management 2. en anglais : self-configuration 3. en anglais : self-healing 4. en anglais : self-protection 5. en anglais : self-optimization [1] A. Simalatsar, Liangpeng Guo, M. Bozga, and R. Passerone. Integration of correct-byconstruction bip models into the metroii design space exploration flow, 30th IEEE International Conference on Computer Design (ICCD), pp.490-491, 2012.

F. Oquendo, Dynamic Software Architectures: Formally Modelling Structure and Behaviour with Pi-ADL, 2008 The Third International Conference on Software Engineering Advances, pp.352-359, 2008.
DOI : 10.1109/ICSEA.2008.47

M. Hadj-kacem, M. Jmaiel, A. H. Kacem, and K. Drira, Evaluation and comparison of ADL based approaches for the description of dynamic of software architectures, 7th International Conference on Enterprise Information Systems (ICEIS), pp.189-195, 2005.

J. S. Bradbury, J. R. Cordy, J. Dingel, and M. Wermelinger, A survey of self-management in dynamic software architecture specifications, Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems , WOSS '04, pp.28-33, 2004.
DOI : 10.1145/1075405.1075411

L. Francisco-de, T. Parra, and . Dean, Survey of graph rewriting applied to model transformations, 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pp.431-441, 2014.

M. Karim-guennoun, Architectures Dynamiques dans le cadre des applications à base de composants et orientées services, 2007.

P. Horn, Autonomic Computing : IBM's Perspective on the State of Information Technology, 2001.

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

D. F. Bantz, C. Bisdikian, D. Challener, J. P. Karidis, S. Mastrianni et al., Autonomic personal computing, IBM Systems Journal, vol.42, issue.1, pp.165-176, 2003.
DOI : 10.1147/sj.421.0165

A. Berns and S. Ghosh, Dissecting Self-* Properties, 2009 Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems, pp.10-19, 2009.
DOI : 10.1109/SASO.2009.25

A. Computing, An architectural blueprint for autonomic computing, IBM, 2006.

I. Standards, Systems and software engineering ? Architecture description(E) (Revision of ISO/IEC 42010, IEEE, vol.42010, pp.2011-2012, 1471.

I. Standards, IEEE Recommended Practice for Architectural Description of Software- Intensive Systems, p.23, 1471.

R. Morrison, D. Balasubramaniam, F. Oquendo, B. Warboys, and R. M. Greenwood, An Active Architecture Approach to Dynamic Systems Co-evolution, Software Architecture, pp.2-10, 2007.
DOI : 10.1007/978-3-540-75132-8_2

URL : https://hal.archives-ouvertes.fr/hal-00514287

DOI : 10.1142/9789812798039_0001

L. Ab, J. Rahim, and . Whittle, A survey of approaches for verifying model transformations . Software & Systems Modeling, pp.1-26, 2013.

M. Baleani, A. Ferrari, L. Mangeruca, A. L. Sangiovanni-vincentelli, U. Freund et al., Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development, Design, Automation and Test in Europe, pp.1044-1049, 2005.
DOI : 10.1109/DATE.2005.105

URL : https://hal.archives-ouvertes.fr/hal-00181267

B. Bonakdarpour, M. Bozga, M. Jaber, J. Quilbeuf, and J. Sifakis, Automated conflict-free distributed implementation of component-based models, International Symposium on Industrial Embedded System (SIES), pp.108-117, 2010.
DOI : 10.1109/SIES.2010.5551377

URL : https://hal.archives-ouvertes.fr/hal-00558046

M. Tounsi, M. Mosbah, and D. Mery, From event-b specifications to programs for distributed algorithms, IEEE 22nd International Workshop on Enabling Technologies : Infrastructure for Collaborative Enterprises (WETICE), pp.104-109, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01495802

F. Oquendo, Formally modelling software architectures with the UML 2.0 profile for ?-ADL. SIGSOFT Softw, Eng. Notes, vol.31, issue.1, pp.1-13, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00512569

R. Sharrock, T. Monteil, P. Stolf, D. Hagimont, and L. Broto, Non-Intrusive Autonomic Approach with Self-Management Policies Applied to Legacy Infrastructures for Performance Improvements, International Journal of Adaptive, Resilient and Autonomic Systems, vol.2, issue.1, pp.58-76, 2011.
DOI : 10.4018/jaras.2011010104

URL : https://hal.archives-ouvertes.fr/hal-00656972

D. Hirsch and U. Montanari, Consistent transformations for software architecture styles of distributed systems, Electronic Notes in Theoretical Computer Science, vol.28, issue.0, pp.4-25, 2000.
DOI : 10.1016/S1571-0661(05)80626-7

C. Percebois, M. Strecker, and H. N. Tran, Rule-Level Verification of Graph Transformations for Invariants Based on Edges??? Transitive Closure, Software Engineering and Formal Methods, pp.106-121, 2013.
DOI : 10.1007/978-3-642-40561-7_8

URL : https://hal.archives-ouvertes.fr/hal-01178554

F. Oquendo, ??-ARL, ACM SIGSOFT Software Engineering Notes, vol.29, issue.5, pp.1-20, 2004.
DOI : 10.1145/1022494.1022517

C. Eichler, T. Monteil, P. Stolf, A. L. Grieco, and K. Drira, Enhanced graph rewriting systems for complex software domains. Software & Systems Modeling, pp.1-21, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01228299

R. Sharrock, Gestion autonomique de performance, d'énergie et de qualité de service Application aux réseaux filaires, réseaux de capteurs et grilles de calcul, 2010.

G. Taentzer, AGG: A??Graph Transformation Environment for Modeling and Validation of Software, pp.446-453, 2004.
DOI : 10.1007/978-3-540-25959-6_35

A. Rensing, The GROOVE Simulator: A??Tool for State Space Generation, pp.479-485, 2004.
DOI : 10.1007/978-3-540-25959-6_40

A. Tiberghien, P. Merle, and L. Seinturier, Specifying Self-configurable Component-Based Systems with FracToy, Second International Conference on Abstract State Machines, Alloy, B and Z, pp.91-104, 2010.
DOI : 10.1007/978-3-642-11811-1_8

URL : https://hal.archives-ouvertes.fr/inria-00512442

N. Izerrouken, X. Thirioux, M. Pantel, and M. Strecker, Certifying an automated code generator using formal tools : Preliminary experiments in the geneauto project, European Congress on Embedded Real-Time Software (ERTS), 2008.

P. E. Barbosa, F. Ramalho, J. C. De-figueiredo, A. D. , and S. Junior, An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations, 2008 32nd Annual IEEE Software Engineering Workshop, pp.33-42, 2008.
DOI : 10.1109/SEW.2008.8

H. Ehrig, K. Ehrig, C. Ermel, F. Hermann, and G. Taentzer, Information Preserving Bidirectional Model Transformations, Fundamental Approaches to Software Engineering, pp.72-86, 2007.
DOI : 10.1007/978-3-540-71289-3_7

P. Saxena, N. Menezes, P. Cocchini, and D. A. Kirkpatrick, The scaling challenge, Proceedings of the 2003 international symposium on Physical design , ISPD '03, pp.51-58, 2003.
DOI : 10.1145/640000.640014

F. Ciccozzi and M. Sjodin, Enhancing the generation of correct-by-construction code from design models for complex embedded systems, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012), pp.1-4, 2012.
DOI : 10.1109/ETFA.2012.6489716

D. Bresolin, L. Di-guglielmo, L. Geretti, and T. Villa, Correct-by-construction code generation from hybrid automata specification, 2011 7th International Wireless Communications and Mobile Computing Conference, pp.1660-1665, 2011.
DOI : 10.1109/IWCMC.2011.5982784

I. Poernomo and J. Terrell, Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq, Formal Methods and Software Engineering, pp.56-73, 2010.
DOI : 10.1007/978-3-642-16901-4_6

N. Medvidovic and R. N. Taylor, A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, pp.70-93, 2000.
DOI : 10.1109/32.825767

URL : https://hal.archives-ouvertes.fr/hal-00444077

L. Lun and X. Chi, Relationship between Testing Criteria for Architecture Configuration Testing Based on Wright Specification, 2010 International Conference on Computational Intelligence and Software Engineering, pp.1-4, 2010.
DOI : 10.1109/CISE.2010.5676824

M. Rong, C. Liu, and G. Zhang, Modeling aspect-oriented software architecture based on ACME, 2011 6th International Conference on Computer Science & Education (ICCSE), pp.1159-1164, 2011.
DOI : 10.1109/ICCSE.2011.6028839

S. R. Bhiri-mohamed-tahar, K. Taoufik, and . Mourad, Checking non-functional properties of UML2.0 components assembly, 22nd IEEE International Workshop on Enabling Technologies : Infrastructure for Collaborative Enterprises (WETICE), pp.278-283, 2013.

D. Wile, Using dynamic ACME, Working Conference on Complex and Dynamic Systems Architecture, 2001.

D. Garlan, R. T. Monroe, and D. Wile, Acme, CASCON First Decade High Impact Papers on, CASCON '10, pp.47-68, 2000.
DOI : 10.1145/1925805.1925814

J. Magee and J. Kramer, Dynamic structure in software architectures, 4th ACM SIG- SOFT Symposium on the Foundations of Software Engineering (FSE), pp.3-14, 1996.

R. Allen, R. Douence, and D. Garlan, Specifying and analyzing dynamic software architectures, Fundamental Approaches to Software Engineering, pp.21-37, 1998.
DOI : 10.1007/BFb0053581

R. Allen and D. Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology, vol.6, issue.3, pp.213-249, 1997.
DOI : 10.1145/258077.258078

URL : https://hal.archives-ouvertes.fr/hal-00444067

C. David, J. J. Luckham, L. M. Kenney, J. Augustin, D. Vera et al., Specification and analysis of system architecture using rapide, IEEE Trans. Software Eng, vol.21, issue.4, pp.336-355, 1995.

E. Bruneton, T. Coupaye, M. Leclercq, V. Quema, and J. Stefani, An Open Component Model and Its Support in Java, Component-Based Software Engineering, pp.7-22, 2004.
DOI : 10.1007/978-3-540-24774-6_3

N. Pessemier, L. Seinturier, T. Coupaye, and L. Duchien, A Model for Developing Component-Based and Aspect-Oriented Systems, Software Composition, pp.259-274, 2006.
DOI : 10.1007/11821946_17

URL : https://hal.archives-ouvertes.fr/inria-00126352

E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J. Stefani, The FRACTAL component model and its support in Java, Software: Practice and Experience, vol.6, issue.11-12, pp.11-121257, 2006.
DOI : 10.1002/spe.767

S. Sicard, F. Boyer, and N. Palma, Using components for architecturebased management : The self-repair case, Proceedings of the 30th International Conference on Software Engineering, ICSE '08, pp.101-110, 2008.

S. Noël-de-palma, F. Bouchenak, D. Boyer, S. Hagimont, C. Sicard et al., Jade, un environnement d'administration autonome, Techniques et Sciences Informatiques, 2008.
DOI : 10.3166/tsi.27.1225-1252

L. Broto, P. Stolf, J. Bahsoun, D. Hagimont, and N. Depalma, Spécification de politiques d'administration autonome avec Tune, Conférence Française sur les Systèmes d'Exploitation (CFSE). Chapitre Français de l'ACM SIGOPS, 2008.

L. Broto, D. Hagimont, P. Stolf, N. D. Palma, and S. Temate, Autonomic management policy specification in Tune, Proceedings of the 2008 ACM symposium on Applied computing , SAC '08, pp.1658-1663, 2008.
DOI : 10.1145/1363686.1364080

J. Woodcock, P. G. Larsen, J. Bicarregui, and J. Fitzgerald, Formal methods, ACM Computing Surveys, vol.41, issue.4, pp.1-1936, 2009.
DOI : 10.1145/1592434.1592436

F. Oquendo, Pi-ADL : an architecture description language based on the higher-order typed pi-calculus for specifying dynamic and mobile software architectures, SIGSOFT Softw. Eng. Notes, pp.1-14, 2004.

R. Mateescu and F. Oquendo, ??-AAL, ACM SIGSOFT Software Engineering Notes, vol.31, issue.2, pp.1-19, 2006.
DOI : 10.1145/1118537.1118541

P. Selonen and J. Xu, Validating UML models against architectural profiles, ACM SIGSOFT Software Engineering Notes, vol.28, issue.5, pp.58-67, 2003.
DOI : 10.1145/949952.940081

I. Loulou, A. Hadj-kacem, M. Jmaiel, and K. Drira, Towards a unified graph-based framework for dynamic component-based architectures description in Z, Proceedings of the IEEE/ACS International Conference on Pervasive Services (ICPS), pp.227-234, 2004.

N. Medvidovic, D. S. Rosenblum, D. F. Redmiles, and J. E. Robbins, Modeling software architectures in the Unified Modeling Language, ACM Transactions on Software Engineering and Methodology, vol.11, issue.1, pp.2-57, 2002.
DOI : 10.1145/504087.504088

M. Mancona, K. , and A. Strohmeier, Towards a UML Profile for Software Architecture Descriptions, 3rd International Conference on The Unified Modeling Language : advancing the standard (UML), pp.513-527, 2000.
DOI : 10.1007/3-540-40011-7_38

L. Baresi, R. Heckel, S. Thöne, and D. Varró, Style-based modeling and refinement of service-oriented architectures, Software & Systems Modeling, vol.55, issue.3, pp.187-207, 2006.
DOI : 10.1007/s10270-006-0001-4

C. Eichler, G. Gharbi, N. Guermouche, T. Monteil, and P. Stolf, Graph-Based Formalism for Machine-to-Machine Self-Managed Communications, 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, pp.74-79, 2013.
DOI : 10.1109/WETICE.2013.45

URL : https://hal.archives-ouvertes.fr/hal-00789347

I. Bouassida-rodriguez, K. Drira, C. Chassot, K. Guennoun, and M. Jmaiel, A rule-driven approach for architectural self adaptation in collaborative activities using graph grammars, International Journal of Autonomic Computing, vol.1, issue.3, pp.226-245, 2010.
DOI : 10.1504/IJAC.2010.033007

H. Ehrig, G. Engels, H. Kreowski, and G. Rozenberg, Handbook of Graph Grammars and Computing by Graph Transformation, 1999.

A. Schürr, D. Varró, and G. Varró, Applications of Graph Transformations with Industrial Relevance, volume 7233 of Programming and Software Engineering, 2012.

S. Awodey, Category Theory, volume 49 of Oxford Logic Guides, 2006.

A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel et al., Handbook of Graph Grammars and Computing by Graph Transformations, chapter Algebraic Approaches to Graph Transformation. Part I : Basic Concepts and Double Pushout Approach, Foundations of Rozenberg, vol.165, pp.163-245, 1997.

M. Löwe, Algebraic approach to single-pushout graph transformation, Theoretical Computer Science, vol.109, issue.1-2, pp.181-224, 1993.
DOI : 10.1016/0304-3975(93)90068-5

H. Ehrig, R. Heckel, M. Korff, M. Löwe, L. Ribeiro et al., Handbook of Graph Grammars and Computing by Graph Transformations, chapter Algebraic Approaches to Graph Transformation. Part II : Single Pushout Approach and Comparison with Double Pushout Approach, Foundations of Rozenberg, vol.165, pp.247-312, 1997.

A. Habel, R. Heckel, and G. Taentzer, Graph Grammars with Negative Application Conditions, Fundamenta Informaticae, vol.26, pp.287-313, 1995.

A. Habel and K. Pennemann, Nested Constraints and Application Conditions for High-Level Structures, Formal Methods in Software and Systems Modeling, pp.293-308, 2005.
DOI : 10.1007/978-3-540-31847-7_17

J. Engelfriet and G. Rozenberg, Handbook of Graph Grammars and Computing by Graph Transformations , chapter Node Replacement Graph Grammars, Foundations of Rozenberg, vol.165, pp.1-94, 1997.

I. Bouassida, Gestion dynamique des architectures pour les systèmes communicants collaboratifs, 2011.

M. Wermelinger and J. Fiadeiro, A graph transformation approach to software architecture reconfiguration, Science of Computer Programming, vol.44, issue.2, pp.133-155, 2000.
DOI : 10.1016/S0167-6423(02)00036-9

D. Le and M. , Software Architecture Styles As Graph Grammars, SIGSOFT Softw. Eng. Notes, vol.21, issue.6, pp.15-23, 1996.

D. Hirsch, P. Inverardi, and U. Montanari, Modeling software architectures and styles with graph grammars and constraint solving of The International Federation for Information Processing, Software Architecture, pp.127-143, 1999.

A. Corradini, U. Montanari, and F. Rossi, Graph processes, Fundam. Inf, vol.26, issue.3-4, pp.241-265, 1996.

N. Chomsky, Three models for the description of language, IEEE Transactions on Information Theory, vol.2, issue.3, pp.113-124, 1956.
DOI : 10.1109/TIT.1956.1056813

H. Ehrig, H. Kreowski, and G. Rozenberg, Graph Grammars and Their Application to Computer Science, Lecture Notes in Computer Science, vol.532, 1991.

G. Engels, C. Lewerentz, and W. Schäfer, Graph grammar engineering: A software specification method, Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, pp.186-201, 1987.
DOI : 10.1007/3-540-18771-5_53

A. Corradini, U. Montanari, and F. Rossi, Graph processes, Fundam. Inf, vol.264, issue.3, pp.241-265, 1996.

R. Bruni, A. Bucchiarone, S. Gnesi, and H. Melgratti, Modelling Dynamic Software Architectures using Typed Graph Grammars, Electronic Notes in Theoretical Computer Science, vol.213, issue.1, pp.39-53, 2008.
DOI : 10.1016/j.entcs.2008.04.073

H. Ehrig, A. Habel, H. Kreowski, and F. Parisi-presicce, From graph grammars to high level replacement systems, pp.269-291, 1991.
DOI : 10.1007/BFb0017395

H. Ehrig, K. Ehrig, U. Prange, and G. Taentzer, Fundamental theory for typed attributed graphs and graph transformation based on adhesive hlr categories, Fundamenta Informaticae, vol.74, issue.1, pp.31-61, 2006.

H. Ehrig and B. Mahr, Fundamentals of algebraic specification. EATCS Monographs in Theoretical Computer Science. An EATCS Series, 1985.

W. Hesse, Two-level graph grammars, Graph-Grammars and Their Application to Computer Science and Biology, pp.255-269, 1979.
DOI : 10.1007/BFb0025725

D. Plump and S. Steinert, Towards Graph Programs for Graph Algorithms, Graph Transformations, pp.128-143, 2004.
DOI : 10.1007/978-3-540-30203-2_11

H. Ehrig, U. Prange, and G. Taentzer, Fundamental Theory for Typed Attributed Graph Transformation, Graph Transformations, pp.161-177, 2004.
DOI : 10.1007/978-3-540-30203-2_13

B. Hoffmann, Graph Transformation with Variables, Formal Methods in Software and Systems Modeling, pp.101-115, 2005.
DOI : 10.1007/978-3-540-31847-7_6

U. Nickel, J. Niere, and A. Zündorf, The FUJABA environment, Proceedings of the 22nd international conference on Software engineering , ICSE '00, pp.742-745, 2000.
DOI : 10.1145/337180.337620

S. Burmester, H. Giese, J. Niere, M. Tichy, J. P. Wadsack et al., Tool integration at the meta-model level: the Fujaba approach, International Journal on Software Tools for Technology Transfer, vol.42, issue.3, pp.203-218, 2004.
DOI : 10.1007/s10009-004-0155-8

J. Lara and H. Vangheluwe, AToM3: A Tool for Multi-formalism and Meta-modelling, Fundamental Approaches to Software Engineering, pp.174-188, 2002.
DOI : 10.1007/3-540-45923-5_12

H. Juan-de-lara, M. Vangheluwe, and . Alfonseca, Meta-modelling and graph grammars for multi-paradigm modelling in atom3. Software and Systems Modeling, pp.194-209, 2004.

R. Geiß, G. Veit-batz, D. Grund, S. Hack, and A. Szalkowski, GrGen: A Fast SPO-Based Graph Rewriting Tool, Graph Transformations, pp.383-397, 2006.
DOI : 10.1007/11841883_27

D. Plumb, The Design of GP 2, International Workshop on Reduction Strategies in Rewriting and ProgrammingWRS), pp.1-16, 2012.

S. Segura, D. Benavides, A. Ruiz-cortés, and P. Trinidad, Automated Merging of Feature Models Using Graph Transformations, Generative and Transformational Techniques in Software Engineering II, pp.489-505, 2008.
DOI : 10.1007/978-3-540-88643-3_15

M. Rudolf, Utilizing Constraint Satisfaction Techniques for Efficient Graph Pattern Matching, 6th International Workshop on Theory and Application of Graph Transformatons (TAGT), pp.238-251, 1998.
DOI : 10.1007/978-3-540-46464-8_17

I. B. Mohamed-amine-hannachi, K. Rodriguez, S. Drira, and . Hernandez, GMTE: A Tool for Graph Transformation and Exact/Inexact Graph Matching, Graph-Based Representations in Pattern Recognition, pp.71-80, 2013.
DOI : 10.1007/978-3-642-38221-5_8

H. Khlif, H. Hadj-kacem, S. E. Hernandez, C. Eichler, A. Kacem et al., A Graph Transformation-Based Approach for the Validation of Checkpointing Algorithms in Distributed Systems, 2014 IEEE 23rd International WETICE Conference, pp.80-85, 2014.
DOI : 10.1109/WETICE.2014.23

URL : https://hal.archives-ouvertes.fr/hal-01097074

A. Kamoun, S. Tazi, and K. Drira, FADYRCOS, a semantic interoperability framework for collaborative model-based dynamic reconfiguration of networked services, Computers in Industry, vol.63, issue.8, pp.756-765, 2012.
DOI : 10.1016/j.compind.2012.08.007

URL : https://hal.archives-ouvertes.fr/hal-00678717

A. Gadafi, D. Hagimont, L. Broto, R. Sharrock, A. Tchana et al., Energy-QoS tradeoffs in J2EE hosting centres, International Journal of Autonomic Computing, vol.2, issue.1, pp.54-72, 2014.
DOI : 10.1504/IJAC.2014.059112

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

G. Hermosillo, L. Seinturier, and L. Duchien, Using Complex Event Processing for Dynamic Business Process Adaptation, 2010 IEEE International Conference on Services Computing, pp.466-473, 2010.
DOI : 10.1109/SCC.2010.48

URL : https://hal.archives-ouvertes.fr/inria-00482578

D. J. Abadi, D. Carney, U. Çetintemel, M. Cherniack, C. Convey et al., Aurora, Proceedings of the 2003 ACM SIGMOD international conference on on Management of data , SIGMOD '03, pp.120-139, 2003.
DOI : 10.1145/872757.872855

A. Arasu, B. Babcock, S. Babu, J. Cieslewicz, M. Datar et al., STREAM: The Stanford Data Stream Management System, 2004.
DOI : 10.1007/978-3-540-28608-0_16

Z. Qian, Y. He, C. Su, Z. Wu, H. Zhu et al., TimeStream, Proceedings of the 8th ACM European Conference on Computer Systems, EuroSys '13, p.1, 2013.
DOI : 10.1145/2465351.2465353

V. Gulisano, R. Jimenez-peris, M. Patino-martinez, and P. Valduriez, StreamCloud: A Large Scale Data Streaming System, 2010 IEEE 30th International Conference on Distributed Computing Systems, pp.126-137, 2010.
DOI : 10.1109/ICDCS.2010.72

G. Cugola and A. Margara, Processing flows of information, ACM Computing Surveys, vol.44, issue.3, pp.1-62, 2012.
DOI : 10.1145/2187671.2187677

F. Paraiso, G. Hermosillo, R. Rouvoy, P. Merle, and L. Seinturier, A Middleware Platform to Federate Complex Event Processing, 2012 IEEE 16th International Enterprise Distributed Object Computing Conference, pp.113-122
DOI : 10.1109/EDOC.2012.22

URL : https://hal.archives-ouvertes.fr/hal-00700883

A. Arasu, S. Babu, and J. Widom, The CQL continuous query language: semantic foundations and query execution, The VLDB Journal, vol.Francisco, issue.1, pp.121-142, 2005.
DOI : 10.1007/s00778-004-0147-z

N. Jain, S. Mishra, A. Srinivasan, J. Gehrke, J. Widom et al., Towards a streaming SQL standard, Proceedings of the VLDB Endowment, vol.1, issue.2, pp.1379-1390, 2008.
DOI : 10.14778/1454159.1454179

M. Eckert, F. Bry, S. Brodt, O. Poppe, S. A. Hausmann et al., Languages for Complex Event Processing and Querying Surveyed, Reasoning in Event-Based Distributed Systems SE -3, pp.47-70, 2011.

E. Kalyvianaki, W. Wiesemann, Q. H. Vu, D. Kuhn, and P. Pietzuch, SQPR: Stream query planning with reuse, 2011 IEEE 27th International Conference on Data Engineering, pp.840-851, 2011.
DOI : 10.1109/ICDE.2011.5767851

J. Daniel, Y. Abadi, M. Ahmad, M. Balazinska, J. Cherniack et al., The design of the Borealis stream processing engine, Proceedings of the Second Biennial Conference on Innovative Data Systems Research, pp.277-289, 2005.

D. Stratis, . Viglas, F. Jeffrey, J. Naughton, and . Burger, Maximizing the Output Rate of Multiway Join Queries over Streaming Information Sources, Proceedings of the 29th International Conference on Very Large Data Bases - of VLDB '03, pp.285-296, 2003.

W. A. Higashino, C. Eichler, M. A. Capretz, T. Monteil, M. B. De et al., Query Analyzer and Manager for Complex Event Processing as a Service, 2014 IEEE 23rd International WETICE Conference, pp.107-109, 2014.
DOI : 10.1109/WETICE.2014.53

D. M. Chess, C. Palmer, and S. R. White, Security in an autonomic computing environment, IBM Systems Journal, vol.42, issue.1, pp.107-118, 2003.
DOI : 10.1147/sj.421.0107

E. Caron and F. Desprez, Diet: A Scalable Toolbox to Build Network Enabled Servers on the Grid, International Journal of High Performance Computing Applications, vol.20, issue.3, pp.335-352, 2006.
DOI : 10.1177/1094342006067472

URL : https://hal.archives-ouvertes.fr/hal-01429867

D. Duval, R. Echahed, and F. Prost, Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation, ECEASST, p.41, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00828532

A. Rensink, Compositionality in Graph Transformation, Automata, Languages and Programming, pp.309-320, 2010.
DOI : 10.1007/978-3-642-14162-1_26

A. Balogh and D. Varró, Pattern composition in graph transformation rules, European Workshop on Composition of Model Transformations, 2006.

S. Pandey, M. Choi, M. Kim, and J. W. Hong, Towards management of machine to machine networks, 2011 13th Asia-Pacific Network Operations and Management Symposium, pp.1-7, 2011.
DOI : 10.1109/APNOMS.2011.6077041

E. M2m, ETSI Technical Specification 102 689 Machine-to-Machine communications (M2M) ; M2M service requirements, 2010.

E. M2m, ETSI Technical Specification 102 690 Machine-to-Machine communications (M2M) ; Functional architecture, 2011.

E. M2m, ETSI Technical Specification 102 921, Machine-to-Machine communications (M2M) ; mIa, dIa and mId interfaces, 2012.

M. B. Alaya, Y. Banouar, T. Monteil, C. Chassot, and K. Drira, OM2M: Extensible ETSI-compliant M2M Service Platform with Self-configuration Capability, Procedia Computer Science, vol.32, issue.0, pp.1079-1086, 2014.
DOI : 10.1016/j.procs.2014.05.536

S. Roh, K. Kim, and T. Jeon, Architecture Modeling Language Based on UML2.0, Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC), pp.663-669, 2004.

E. M2m, ETSI Technical Report 102 691, Machine-to-Machine communications (M2M) ; Smart Metering Use-Cases, 2010.

C. Eichler, G. Gharbi, T. Monteil, N. Guermouche, and P. Stolf, Self-management of machineto-machine communications : a multi-models approach, International Journal of Autonomous and Adaptive Communications System

D. Borgetto, H. Casanova, G. D. Costa, and J. Pierson, Energy-aware service allocation, Future Generation Computer Systems, vol.28, issue.5, pp.769-779, 2012.
DOI : 10.1016/j.future.2011.04.018

T. Parr and K. Fisher, Ll(*) : the foundation of the antlr parser generator. SIG- PLAN Not, pp.425-436, 2011.

C. Parra, D. Romero, S. Mosser, R. Rouvoy, L. Duchien et al., Using constraint-based optimization and variability to support continuous self-adaptation, Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC '12, pp.486-491, 2012.
DOI : 10.1145/2245276.2245370

URL : https://hal.archives-ouvertes.fr/inria-00632269

. Stephen-cole-kleene, On notation for ordinal numbers, The Journal of Symbolic Logic, vol.28, issue.04, pp.150-155, 1938.
DOI : 10.1215/S0012-7094-36-00227-2

. Stephen-cole-kleene, Introduction to metamathematics, volume 1 of Bibliotheca mathematica, 1952.

H. Khlif, H. Hadj-kacem, E. P. Saúl, C. Hernández, and . Eichler, Ahmed Hadj Kacem, and Alberto Calixto Simon. A graph transformation-based approach for the validation of checkpointing algorithms in distributed systems, IEEE 23rd International WETICE Conference, pp.80-85, 2014.

D. Borgetto and P. Stolf, An energy efficient approach to virtual machines management in cloud computing, 2014 IEEE 3rd International Conference on Cloud Networking (CloudNet), pp.229-235, 2014.
DOI : 10.1109/CloudNet.2014.6968997

URL : https://hal.archives-ouvertes.fr/hal-01390842

M. Ben, A. , and T. Monteil, Frameself : An ontology-based framework for the selfmanagement of m2m systems, Concurr. Comput. Pract. Exp, 2013.

D. Borgetto, R. Chakode, B. Depardon, C. Eichler, G. J. et al., Hybrid Approach for Energy Aware Management of Multi-cloud Architecture Integrating user Machines, Journal of Grid Computing, vol.44, issue.4
DOI : 10.1007/s10723-015-9342-y

URL : https://hal.archives-ouvertes.fr/hal-01228290