.. Environment-of-the-crisis-management-system, 122 7.3 ECA-like rules of the, Crisis Management System, p.123

.. The-fire-department-aspect, 125 7.8 A typical configuration of the Crisis Management System 126 7.9 Performances of SmartAdapters V1 and V2 for the Crisis Management system127 7.10 A typical AAL scenario, ms) spent in Configuration Comparison and Actual Reconfiguration after the initial deployment . . . . . . . . . . . . . . . . . . . . . . . . . . 130

A. V. Aho, B. W. Kernighan, and P. J. Weinberger, The AWK programming language, 1987.

C. Vander-alves, L. Schwanninger, A. Barbosa, P. Rashid, P. Sawyer et al., An Exploratory Study of Information Retrieval Techniques in Domain Analysis, SPLC'08: 12th Software Product Line Conference, pp.67-76, 2008.

M. Anastasopoulos and D. Muthig, An Evaluation of Aspect-Oriented Programming as a Product Line Implementation Technology, ICSR'04: 8th International Conference on Software Reuse: Methods, Techniques and Tools, pp.141-156, 2004.
DOI : 10.1007/978-3-540-27799-6_12

S. Apel, T. Leich, and G. Saake, Aspectual mixin layers, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.122-131, 2006.
DOI : 10.1145/1134285.1134304

I. Aracic, V. Gasiunas, M. Mezini, and K. Ostermann, An Overview of CaesarJ, Transactions on Aspect-Oriented Software Development I, pp.135-173, 2006.
DOI : 10.1007/3-540-45429-2_1

C. Ballagny, N. Hameurlain, and F. Barbier, MOCAS: A State-Based Component Model for Self-Adaptation, 2009 Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems, pp.206-215, 2009.
DOI : 10.1109/SASO.2009.11
URL : https://hal.archives-ouvertes.fr/tel-00472005

E. Baniassad and S. Clarke, Theme: An Approach for Aspect-Oriented Analysis and Design Managing dynamic reconfiguration in component-based systems, ICSE'04: 26th International Conference on Software Engineering Thaís Vasconcelos Batista, Ackbar Joolia, and Geoff Coulson EWSA'05: 2nd European Workshop on Software Architecture, pp.158-167, 2004.

J. Bayer, S. Grard, O. Haugen, J. Mansell, B. Moller-pedersen et al., Software Product Lines, chapter Consolidated Product Line Variability Modeling, Number, vol.ISBN, pp.195-242, 2006.
DOI : 10.1007/978-3-540-33253-4_6

N. Bencomo, G. Blair, G. Coulson, and T. V. Batista, Towards a Meta-Modelling Approach to Configurable Middleware, RAM-SE'05: Workshop on Reflection, AOP, and Meta-Data for Software Evolution at ECOOP'05, pp.73-82, 2005.

N. Bencomo, G. Blair, C. Flores, and P. Sawyer, Reflective Component-based Technologies to Support Dynamic Variability, VaMoS'08: 2nd Int. Workshop on Variability Modeling of Software-intensive Systems, 2008.

N. Bencomo, P. Grace, C. Flores, D. Hughesand, G. Blair et al., Supporting the Model Driven Development of Reflective, Component-based Adaptive Systems, ICSE 2008 -Formal Research Demonstrations Track, 2008.

N. Bencomo, Supporting the Modelling and Generation of Reflective Middleware Families and Applications using Dynamic Variability, 2008.

N. Bencomo, On the use of software models during software execution, 2009 ICSE Workshop on Modeling in Software Engineering, 2009.
DOI : 10.1109/MISE.2009.5069899

N. Bencomo and G. Blair, Using Architecture Models to Support the Generation and Operation of Component-Based Adaptive Systems, pp.183-200, 2009.
DOI : 10.1002/spip.214

G. Blair, G. Coulson, P. Robin, and M. Papathomas, An architecture for next generation middleware The Lake District, IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing (Middleware'98), pp.91-206, 1998.

G. Blair, G. Coulson, J. Ueyama, K. Lee, and A. Joolia, Opencom v2: A component model for building systems software, IASTED Software Engineering and Applications, 2004.

G. S. Blair, T. Coupaye, and J. Stefani, Component-based architecture: the Fractal initiative, annals of telecommunications - annales des t??l??communications, vol.54, issue.1-2, pp.1-4, 2009.
DOI : 10.1007/s12243-009-0086-1

J. Boardman and B. Sauser, System of systems -the meaning of of. System of Systems Engineering, 2006.

G. Daniel, R. P. Bobrow, J. L. Gabriel, and . White, CLOS in context: the shape of the design space, pp.29-61, 1993.

J. A. Bondy and U. S. Murty, Graph theory with applications, 1976.
DOI : 10.1007/978-1-349-03521-2

S. Bouchenak, D. Nol-de-palma, C. Hagimont, and . Taton, Autonomic Management of Clustered Applications, 2006 IEEE International Conference on Cluster Computing, 2006.
DOI : 10.1109/CLUSTR.2006.311842
URL : https://hal.archives-ouvertes.fr/hal-00684406

L. Bouzonnet, P. C. David, T. Ledoux, and N. Loriant, WildCAT A Generic Framework for Context-Aware Applications

F. Boyer, N. Palma, O. Gruber, S. Sicard, and J. Stefani, A Self-repair Architecture for Cluster Systems, pp.124-147, 2009.
DOI : 10.1007/978-3-642-10248-6_6

Y. Brun, G. M. Serugendo, C. Gacek, H. Giese, H. Kienle et al., Engineering Self-Adaptive Systems through Feedback Loops, pp.48-70, 2009.
DOI : 10.1007/978-3-642-02161-9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.183.6159

E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J. B. Stefani, The FRACTAL Component Model and its Support in Java. Software Practice and Experience, Special Issue on Experiences with Auto-adaptive and Reconfigurable Systems, pp.11-121257, 2006.

C. Cetina, J. Fons, and V. Pelechano, Applying Software Product Lines to Build Autonomic Pervasive Systems, 2008 12th International Software Product Line Conference, pp.117-126, 2008.
DOI : 10.1109/SPLC.2008.13

C. Cetina, P. Giner, J. Fons, and V. Pelechano, Autonomic Computing through Reuse of Variability Models at Runtime: The Case of Smart Homes, Computer, vol.42, issue.10, pp.37-43, 2009.
DOI : 10.1109/MC.2009.309

C. Cetina, P. Giner, J. Fons, and V. Pelechano, Using Feature Models for Developing Self-Configuring Smart Homes, 2009 Fifth International Conference on Autonomic and Autonomous Systems, pp.179-188, 2008.
DOI : 10.1109/ICAS.2009.50

B. Cheng, P. Sawyer, N. Bencomo, and J. Whittle, A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty, MODELS'09: ACM/IEEE 12th International Conference on Model-Driven Engineering Languages and Systems, 2009.
DOI : 10.1007/978-3-540-87875-9_54

B. H. Cheng, R. Lemos, H. Giese, P. Inverardi, J. Magee et al., Software Engineering for Self-Adaptive Systems: A Research Roadmap, pp.1-26, 2009.
DOI : 10.1007/s11219-007-9017-4

H. C. Betty, P. Cheng, N. Sawyer, J. Bencomo, and . Whittle, A Goal- Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty, MoDELS'09: ACM/IEEE 12th International Conference of Model-Driven Engineering Languages and Systems, pp.468-483, 2009.

D. Shang-wen-cheng, B. Garlan, and . Schmerl, Architecture-based selfadaptation in the presence of multiple objectives, SEAMS '06: Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, pp.2-8, 2006.

P. Clements and L. Northrop, Software product lines: practices and patterns, volume 0201703327, 2001.

P. C. David and T. Ledoux, WildCAT, Proceedings of the 3rd international workshop on Middleware for pervasive and ad-hoc computing , MPAC '05, pp.1-7, 2005.
DOI : 10.1145/1101480.1101483
URL : https://hal.archives-ouvertes.fr/hal-00457084

P. C. David and T. Ledoux, An Aspect-Oriented Approach for Developing Self-Adaptive Fractal Components, SC'06: 5th Int. Symposium on Software Composition, pp.82-97, 2006.
DOI : 10.1007/11821946_6
URL : https://hal.archives-ouvertes.fr/hal-00457130

P. C. David and T. Ledoux, Safe Dynamic Reconfigurations of Fractal Architectures with FScript, Proceeding of Fractal CBSE Workshop, ECOOP'06, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00485549

P. David, M. Léger, H. Grall, T. Ledoux, and T. Coupaye, A multi-stage approach for reliable dynamic reconfigurations of componentbased systems, DAIS'08: 8th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, pp.106-111, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00424057

E. A. Emerson, Temporal and modal logic. Handbook of theoretical computer science, pp.995-1072, 1990.

B. Cheng, Proceedings of the international workshops on software engineering for adaptive and self-managing systems, 2005.

N. Ferry, S. Lavirotte, J. Tigli, G. Rey, and M. , Context adaptative systems based on horizontal architecture for ubiquitous computing, Proceedings of the 6th International Conference on Mobile Technology, Application & Systems, Mobility '09, 2009.
DOI : 10.1145/1710035.1710045
URL : https://hal.archives-ouvertes.fr/hal-00481783

N. Ferry, V. Hourdin, S. Lavirotte, G. Rey, J. Tigli et al., Models at Runtime: Service for Device Composition and Adaptation, 4th International Workshop Models@run.time at Models 2009(MRT'09) AR=31%, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00481778

E. Figueiredo, N. Cacho, C. Santanna, M. Monteiro, U. Kulesza et al., Evolving software product lines with aspects, Proceedings of the 13th international conference on Software engineering , ICSE '08, pp.261-270, 2008.
DOI : 10.1145/1368088.1368124

F. Fleurey, B. Baudry, R. France, and S. Ghosh, A Generic Approach for Automatic Model Composition, AOM@MoDELS'07: 11th Int. Workshop on Aspect-Oriented Modeling, 2007.
DOI : 10.1007/978-3-540-69073-3_2
URL : https://hal.archives-ouvertes.fr/inria-00477568

F. Fleurey, V. Dehlen, N. Bencomo, B. Morin, and J. Jézéquel, Modeling and Validating Dynamic Adaptation, 3rd International Workshop on Models@Runtime, at MODELS'08, 2008.
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/inria-00456535

F. Fleurey and A. Solberg, A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems, MODELS'09
DOI : 10.1109/MIC.2007.2

J. Floch, Theory of Adaptation. Deliverable D2.2, MADAM project, 2006.

J. Floch, S. Hallsteinsen, E. Stav, F. Eliassen, K. Lund et al., Using architecture models for runtime adaptability, IEEE Software, vol.23, issue.2, pp.62-70, 2006.
DOI : 10.1109/MS.2006.61

C. Forgy, Rete: A fast algorithm for the many pattern/many object pattern match problem, Artificial Intelligence, vol.19, issue.1, pp.17-37, 1982.
DOI : 10.1016/0004-3702(82)90020-0

R. France, F. Fleurey, R. Reddy, B. Baudry, and S. Ghosh, Providing Support for Model Composition in Metamodels, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007.
DOI : 10.1109/EDOC.2007.55
URL : https://hal.archives-ouvertes.fr/inria-00180463

D. Garlan, S. W. Cheng, A. C. Huang, B. Schmerl, and P. Steenkiste, Rainbow: architecture-based self-adaptation with reusable infrastructure, Computer, vol.37, issue.10, pp.3746-54, 2004.
DOI : 10.1109/MC.2004.175

E. Gat, Three-layer architectures, pp.195-210, 1998.

N. Georgantas, S. B. Mokhtar, Y. Bromberg, V. Issarny, J. Kalaoja et al., The Amigo Service Architecture for the Open Networked Home Environment, 5th Working IEEE/IFIP Conference on Software Architecture (WICSA'05), pp.295-296, 2005.
DOI : 10.1109/WICSA.2005.71
URL : https://hal.archives-ouvertes.fr/inria-00414948

J. Georgas, A. Van-der-hoek, and R. Taylor, Using Architectural Models to Manage and Visualize Runtime Adaptation, Computer, vol.42, issue.10, pp.52-60, 2009.
DOI : 10.1109/MC.2009.335

H. Giese and R. Wagner, From model transformation to incremental bidirectional model synchronization, Software and Systems Modeling (SoSyM), 2009.
DOI : 10.1007/s10270-008-0089-9

H. Goldsby, P. Sawyer, N. Bencomo, B. H. Cheng, and D. Hughes, Goal-Based Modeling of Dynamically Adaptive System Requirements, 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008), pp.36-45, 2008.
DOI : 10.1109/ECBS.2008.22

G. Goth, Ultralarge systems: Redefining software engineering? IEEE Software, pp.91-94, 2008.

I. Groher and M. Voelter, Using Aspects to Model Product Line Variability, EA@SPLC'08: 13th International Workshop on Early Aspects at SPLC, 2008.

R. Grønmo, S. Krogdahl, and B. Møller-pedersen, A Collection Operator for Graph Transformation, ICMT'09: 2nd International Conference on Theory and Practice of Model Transformations, pp.67-82, 2009.

J. Van-gurp, J. Bosch, and M. Svahnberg, On the notion of variability in software product lines, Proceedings Working IEEE/IFIP Conference on Software Architecture, p.45, 2001.
DOI : 10.1109/WICSA.2001.948406

T. Haerder and A. Reuter, Principles of transaction-oriented database recovery, ACM Computing Surveys, vol.15, issue.4, pp.287-317, 1983.
DOI : 10.1145/289.291

S. Hallsteinsen, M. Hinchey, S. Park, and K. Schmid, Dynamic Software Product Lines, IEEE Computer, vol.41, issue.4, 2008.
DOI : 10.1109/mc.2008.123
URL : https://hal.archives-ouvertes.fr/hal-00722377

S. Hallsteinsen, E. Stav, A. Solberg, and J. Floch, Using Product Line Techniques to Build Adaptive Systems, 10th International Software Product Line Conference (SPLC'06), pp.141-150, 2006.
DOI : 10.1109/SPLINE.2006.1691586

W. Heaven, D. Sykes, J. Magee, and J. Kramer, A Case Study in Goal-Driven Architectural Adaptation, pp.109-127, 2009.
DOI : 10.1109/JRA.1986.1087032

L. Edson, J. W. Horta, D. E. Lockwood, D. Taylor, and . Parlour, Dynamic hardware plugins in an fpga with partial run-time reconfiguration, DAC '02: Proceedings of the 39th annual Design Automation Conference, pp.343-348, 2002.

V. Hourdin, J. Tigli, S. Lavirotte, G. Rey, and M. Riveill, SLCA, composite services for ubiquitous computing, Proceedings of the International Conference on Mobile Technology, Applications, and Systems, Mobility '08, pp.1-8, 2008.
DOI : 10.1145/1506270.1506284
URL : https://hal.archives-ouvertes.fr/hal-00360509

D. Hughes, P. Greenwood, G. Coulson, G. Blair, F. Pappenberger et al., An experiment with reflective middleware to support grid???based flood monitoring, 4th International Workshop on Mobile Distributed Computing (MDC'06), pp.1303-1316, 2006.
DOI : 10.1002/cpe.1279

V. Issarny, D. Sacchetti, F. Tartanoglu, F. Sailhan, R. Chibout et al., Developing Ambient Intelligence Systems: A Solution based on Web Services, Automated Software Engineering, vol.12, issue.1, pp.101-137, 2005.
DOI : 10.1023/B:AUSE.0000049210.42738.00
URL : https://hal.archives-ouvertes.fr/inria-00414951

P. K. Jayaraman, J. Whittle, A. M. Elkhodary, and H. Gomaa, Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis, MoDELS'07: 10th Int. Conf. on Model Driven Engineering Languages and Systems, 2007.
DOI : 10.1007/978-3-540-75209-7_11

F. Jouault and I. Kurtev, Transforming Models with ATL, Satellite Events at the MoDELS 2005 Conference, pp.128-138, 2006.
DOI : 10.1007/11663430_14
URL : https://hal.archives-ouvertes.fr/hal-00448120

C. Kastner, S. Apel, and D. Batory, A Case Study Implementing Features Using AspectJ, 11th International Software Product Line Conference (SPLC 2007), pp.223-232, 2007.
DOI : 10.1109/SPLINE.2007.12

O. Jeffrey, D. M. Kephart, and . Chess, The vision of autonomic computing, Computer, vol.36, issue.1, pp.41-50, 2003.

O. Jeffrey, R. Kephart, and . Das, Achieving self-management via utility functions, IEEE Internet Computing, vol.11, issue.1, pp.40-48, 2007.

G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm et al., An Overview of AspectJ, ECOOP'01: Proceedings of the 15th European Conference on Object-Oriented Programming, pp.327-353, 2001.
DOI : 10.1007/3-540-45337-7_18

G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes et al., Aspect-Oriented Programming, ECOOP'97: Proceedings of the 11th European Conference on Object-Oriented Programming, pp.220-242, 1997.

J. Kienzle, K. Abed, and . Jacques, Aspect-oriented multi-view modeling, Proceedings of the 8th ACM international conference on Aspect-oriented software development, AOSD '09, pp.87-98, 2009.
DOI : 10.1145/1509239.1509252
URL : http://orbilu.uni.lu/handle/10993/3910

J. Klein, L. Hélouet, and J. Jézéquel, Semantic-based weaving of scenarios, Proceedings of the 5th international conference on Aspect-oriented software development , AOSD '06, 2006.
DOI : 10.1145/1119655.1119662
URL : https://hal.archives-ouvertes.fr/hal-00921480

J. George, B. Klir, and . Yuan, Fuzzy Sets and Fuzzy Logic: Theory and Applications, 1995.

. Ph, B. Lahire, G. Morin, A. Vanwormhoudt, O. Gaignard et al., Introducing Variability into Aspect-Oriented Modeling Approaches, MoDELS'07: 10th Int. Conf. on Model Driven Engineering Languages and Systems, 2007.

. Ph, L. Lahire, and . Quintian, New Perspective To Improve Reusability in Object- Oriented Languages, Journal Of Object Technology (JOT), vol.5, issue.1, pp.117-138, 2006.

M. Leclercq, A. Erdem-ozcan, V. Quéma, and J. B. Stefani, Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset, 29th International Conference on Software Engineering (ICSE'07), pp.209-219, 2007.
DOI : 10.1109/ICSE.2007.82

M. Léger, T. Ledoux, and T. Coupaye, Reliable dynamic reconfigurations in the fractal component model, Proceedings of the 6th international workshop on Adaptive and reflective middleware held at the ACM/IFIP/USENIX International Middleware Conference, ARM '07, pp.1-6, 2007.
DOI : 10.1145/1376780.1376783

M. Léger, T. Ledoux, and T. Coupaye, Reliable Dynamic Reconfigurations in a Reflective Component Model, CBSE'10: 13th International Symposium on Component Based Software Engineering, pp.23-25, 2010.
DOI : 10.1007/978-3-642-13238-4_5

C. David and . Luckham, The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems, 2001.

P. Maes, Computational Reflection, 1987.
DOI : 10.1007/978-3-642-73005-4_27
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.6041

J. Magee and J. Kramer, Concurrency: state models & Java programs, 1999.

A. Mcveigh, J. Kramer, and J. Magee, Using resemblance to support component reuse and evolution. In SAVCBS'06: Conference on Specification and verification of component-based systems, pp.49-56, 2006.

M. Mezini and K. Ostermann, Variability management with feature-oriented programming and aspects, SIGSOFT'04/FSE-12: 12th ACM SIGSOFT international symposium on Foundations of Software Engineering, pp.127-136, 2004.
DOI : 10.1145/1041685.1029915
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.7072

S. B. Mokhtar, Semantic Middleware for Service-Oriented Pervasive Computing, 2007.
URL : https://hal.archives-ouvertes.fr/tel-00469457

S. Ben-mokhtar, N. Georgantas, and V. Issarny, COCOA: COnversation-based service COmposition in pervAsive computing environments with QoS support, Journal of Systems and Software, vol.80, issue.12, pp.1941-1955, 2007.
DOI : 10.1016/j.jss.2007.03.002
URL : https://hal.archives-ouvertes.fr/inria-00415927

B. Morin, O. Barais, and J. M. , Weaving Aspect Configurations for Managing System Variability, VaMoS'08: 2nd Int. Workshop on Variability Modelling of Software-intensive Systems, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00456484

B. Morin, O. Barais, J. M. Jézéquel, and R. Ramos, Towards a Generic Aspect- Oriented Modeling Framework, 3rd Int. ECOOP'07 Workshop on Models and Aspects, Handling Crosscutting Concerns in MDSD, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00505222

B. Morin, J. Klein, O. Barais, and J. M. , A generic weaver for supporting product lines, Proceedings of the 13th international workshop on Software architectures and mobility , EA '08, 2008.
DOI : 10.1145/1370828.1370832
URL : https://hal.archives-ouvertes.fr/inria-00456485

B. Morin, O. Barais, and J. Jézéquel, K@rt: An aspect-oriented and model-oriented framework for dynamic software product lines, Proceedings of the 3rd International Workshop on Models@Runtime, at MoDELS'08, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00456486

B. Morin, O. Barais, and J. Jzquel, Franck Fleurey, and Arnor Solberg. Models@ run.time to support dynamic adaptation, Computer, issue.10, pp.4244-51, 2009.

B. Morin, O. Barais, G. Nain, and J. Jézéquel, Taming Dynamically Adaptive Systems using models and aspects, 2009 IEEE 31st International Conference on Software Engineering, 2009.
DOI : 10.1109/ICSE.2009.5070514
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.780

B. Morin, F. Fleurey, N. Bencomo, J. Jzquel, A. Solberg et al., An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability, Proceedings of ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS 08), 2008.
DOI : 10.1007/978-3-540-87875-9_54
URL : https://hal.archives-ouvertes.fr/inria-00468232

B. Morin, F. Fleurey, G. Nain, O. Barais, and J. Jzquel, Aspect-Oriented Modeling to Support Dynamic Adaptation (Forum Demo)

B. Morin, J. Klein, J. Kienzle, and J. Jzquel, Flexible Model Element Introduction Policies for Aspect-Oriented Modeling, Proceedings of ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems, 2010.
DOI : 10.1007/978-3-642-03764-1_6
URL : https://hal.archives-ouvertes.fr/inria-00538458

B. Morin, T. Ledoux, M. B. Hassine, F. Chauvel, O. Barais et al., Unifying Runtime Adaptation and Design Evolution, 2009 Ninth IEEE International Conference on Computer and Information Technology, 2009.
DOI : 10.1109/CIT.2009.94
URL : https://hal.archives-ouvertes.fr/inria-00468517

B. Morin, T. Mouelhi, F. Fleurey, Y. L. Traon, O. Barais et al., Security-driven model-based dynamic adaptation, Proceedings of the IEEE/ACM international conference on Automated software engineering, ASE '10, 2010.
DOI : 10.1145/1858996.1859040
URL : https://hal.archives-ouvertes.fr/inria-00538500

B. Morin, G. Nain, O. Barais, and J. Jzquel, Leveraging Models From Design-time to Runtime. A Live Demo, 4th International Workshop on Models@Run.Time (at MODELS'09), 2009.
URL : https://hal.archives-ouvertes.fr/inria-00468520

P. A. Muller, F. Fleurey, and J. M. , Weaving Executability into Object-Oriented Meta-languages, MoDELS'05: 8th Int. Conf. on Model Driven Engineering Languages and Systems, 2005.
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/hal-00795095

F. Munoz and B. Baudry, Artificial Table Testing Dynamically Adaptive Systems. Research report inria-00365874, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00365874

G. Nain, F. Fouquet, B. Morin, O. Barais, and J. Jézéquel, Integrating IoT and IoS with a Component-Based Approach, 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications, 2010.
DOI : 10.1109/SEAA.2010.50
URL : https://hal.archives-ouvertes.fr/inria-00538469

G. Nain, E. Daubert, O. Barais, and J. Jézéquel, Using MDE to Build a Schizofrenic Middleware for Home/Building Automation, Ser- viceWave'08: Networked European Software & Services Initiative (NESSI) Conference, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00456506

J. Noppen, P. Van-den-broek, N. Weston, and A. Rashid, Modelling Imperfect Product Line Requirements with Fuzzy Feature Diagrams, Va- BIBLIOGRAPHY MoS'09: 3rd International Workshop on Variability Modelling of Software-Intensive Systems, pp.93-102, 2009.

P. Oreizy, M. M. Gorlick, R. N. Taylor, D. Heimbigner, G. Johnson et al., An architecture-based approach to self-adaptive software, IEEE Intelligent Systems, vol.14, issue.3, pp.54-62, 1999.
DOI : 10.1109/5254.769885

D. Parnas, On the criteria to be used in decomposing systems into modules, Communications of the ACM, vol.15, issue.12, pp.1053-1058, 1972.
DOI : 10.1145/361598.361623

G. Perrouin, J. Klein, N. Guelfi, and J. Jézéquel, Reconciling Automation and Flexibility in Product Derivation, 2008 12th International Software Product Line Conference, pp.339-348, 2008.
DOI : 10.1109/SPLC.2008.38
URL : https://hal.archives-ouvertes.fr/inria-00456507

N. Pessemier, O. Barais, L. Seinturier, T. Coupaye, and L. Duchien, A Three Level Framework for Adapting Component Based Architectures, WCAT'05@ECOOP: 2nd Workshop on Coordination and Adaptation Techniques for Software Entities, 2005.

N. Pessemier, L. Seinturier, T. Coupaye, and L. Duchien, A Component-Based and Aspect-Oriented Model for Software Evolution Special Issue on Concern- Oriented Software Evolution, IJCAT'07, p.259273, 2006.

N. Pessemier, L. Seinturier, T. Coupaye, and L. Duchien, A Model for Developing Component-Based and Aspect-Oriented Systems, SC'06: 5th International Symposium on Software Composition, p.259273, 2006.
DOI : 10.1007/11821946_17
URL : https://hal.archives-ouvertes.fr/inria-00126352

N. Pessemier, L. Seinturier, T. Coupaye, and L. Duchien, A Safe Aspect-Oriented Programming Support for Component-Oriented Programming, WCOP'06@ECOOP: 11th International Workshop on Component-Oriented Programming, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00204118

N. Pessemier, L. Seinturier, and L. Duchien, Components ADL and AOP: Towards a Common Approach, RAM-SE'04@ECOOP: Workshop on Reflection, AOP and Meta-Data for Software Evolution, 2004.

S. Prawee, G. Waignier, and A. Meur, Enabling Dynamic Co-evolution of Models and Runtime Applications, 32nd Annual IEEE International COMPSAC '08, pp.1116-1121, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00311581

C. Prehofer, Feature-oriented programming: A fresh look at objects, Proceedings of ECOOP'97, 1997.
DOI : 10.1007/BFb0053389
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.8685

R. Ramos, O. Barais, and J. M. , Matching Model-Snippets, MoDELS'07: 10th Int. Conf. on Model Driven Engineering Languages and Systems, p.15, 2007.
DOI : 10.1007/978-3-540-75209-7_9
URL : https://hal.archives-ouvertes.fr/inria-00477558

A. Rashid and A. Moreira, Domain Models Are NOT Aspect Free, MoD- ELS'06: 9th International Conference on Model Driven Engineering Languages and Systems, pp.155-169, 2006.
DOI : 10.1007/11880240_12
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.66.1938

Y. R. Reddy, S. Ghosh, R. B. France, G. Straw, J. M. Bieman et al., Directives for Composing Aspect-Oriented Design Class Models, Transaction on Aspect-Oriented Software Development, pp.75-105, 2006.
DOI : 10.1007/BFb0053381

J. Rothenberg, L. E. Widman, K. A. Loparo, and N. R. Nielsen, The Nature of Modeling, In in Artificial Intelligence, Simulation and Modeling, pp.75-92, 1989.

R. Rouvoy, P. Barone, Y. Ding, F. Eliassen, S. Hallsteinsen et al., MUSIC: Middleware Support for Self-Adaptation in Ubiquitous and Service-Oriented Environments, pp.164-182, 2009.
DOI : 10.1007/978-3-540-76778-7_1

R. Rouvoy, M. Beauvois, and F. Eliassen, Dynamic aspect weaving using a planning-based adaptation middleware, Proceedings of the 2nd workshop on Middleware-application interaction affiliated with the DisCoTec federated conferences 2008, MAI '08
DOI : 10.1145/1394272.1394280

R. Rouvoy, F. Eliassen, J. Floch, S. O. Hallsteinsen, and E. Stav, Composing Components and Services Using a Planning-Based Adaptation Middleware, SC'08: 7th International Symposium on Software Composition, pp.52-67, 2008.
DOI : 10.1007/978-3-540-78789-1_4

S. J. Russell, P. Norvig, J. F. Canny, J. Malik, and D. D. Edwards, Artificial intelligence: a modern approach, 1995.

S. M. Sadjadi, P. K. Mckinley, and B. H. Cheng, Transparent shaping of existing software to support pervasive and autonomic computing, DEAS '05: Proceedings of the 2005 workshop on Design and evolution of autonomic application software, pp.1-7, 2005.

A. Sampaio, R. Chitchyan, A. Rashid, and P. Rayson, EA-Miner, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering , ASE '05, pp.352-355, 2005.
DOI : 10.1145/1101908.1101967

A. Sampaio, A. Rashid, R. Chitchyan, and P. Rayson, EA-Miner, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering , ASE '05, pp.4-39, 2007.
DOI : 10.1145/1101908.1101967

C. Douglas and . Schmidt, Model-Driven Engineering, IEEE Computer, vol.39, issue.2, 2006.

L. Seinturier, P. Merle, D. Fournier, N. Dolet, V. Schiavoni et al., Reconfigurable SCA Applications with the FraSCAti Platform, 2009 IEEE International Conference on Services Computing, pp.268-275, 2009.
DOI : 10.1109/SCC.2009.27
URL : https://hal.archives-ouvertes.fr/inria-00397856

S. Sen, B. Baudry, and D. Precup, Partial Model Completion in Model- Driven Engineering using Constraint Logic Programming, INAP'07: 16th International Conference on Applications of Declarative Programming and Knowledge Management, 2007.

Y. Smaragdakis and D. S. Batory, Implementing layered designs with mixin layers, ECCOP '98: Proceedings of the 12th European Conference on Object-Oriented Programming, pp.550-570, 1998.
DOI : 10.1007/BFb0054107
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.147.1492

H. Song, Y. Xiong, F. Chauvel, G. Huang, Z. Hu et al., Generating Synchronization Engines between Running Systems and Their Model-Based Views, 4th International Workshop on Models@run CEUR Workshop Proceedings, pp.1-10, 2009.
DOI : 10.1007/978-3-642-12261-3_14
URL : https://hal.archives-ouvertes.fr/inria-00459616

J. Steel, Typage de modles, 2007.

J. Steel and J. Jzquel, On model typing, Software & Systems Modeling, vol.3, issue.5, pp.401-414, 2007.
DOI : 10.1007/s10270-006-0036-6
URL : https://hal.archives-ouvertes.fr/inria-00477547

L. Sterling and E. Shapiro, The Art of Prolog, IEEE Expert, vol.2, issue.2, 1986.
DOI : 10.1109/MEX.1987.4307074

B. Surajbali, G. Coulson, P. Greenwood, and P. Grace, Augmenting reflective middleware with an aspect orientation support layer, Proceedings of the 6th international workshop on Adaptive and reflective middleware held at the ACM/IFIP/USENIX International Middleware Conference, ARM '07, pp.1-6, 2007.
DOI : 10.1145/1376780.1376781
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.65.2360

D. Sykes, W. Heaven, J. Magee, and J. Kramer, From goals to components, Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems , SEAMS '08, 2008.
DOI : 10.1145/1370018.1370020

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

P. Tarr, H. Ossher, W. Harrison, S. M. Sutton, and J. , N degrees of separation: multi-dimensional separation of concerns, ICSE'99: 21st international conference on Software engineering, pp.107-119, 1999.

J. Tigli, S. Lavirotte, G. Rey, V. Hourdin, D. Cheung-foo-wo et al., WComp middleware for ubiquitous computing: Aspects and composite event-based Web services, annals of telecommunications - annales des t??l??communications, vol.32, issue.11, pp.3-4197, 2009.
DOI : 10.1007/s12243-008-0081-y
URL : https://hal.archives-ouvertes.fr/hal-00378325

J. Tigli, S. Lavirotte, G. Rey, V. Hourdin, and M. Riveill, Context-aware Authorisation in Highly Dynamic Environments, International Journal of Computer Science Issues (IJCSI), vol.4, 2009.

S. Tzu, The Art of War, 1963.

A. Visintin, Differential models of hysteresis, 2004.
DOI : 10.1007/978-3-662-11557-2

T. Vogel, S. Neumann, S. Hildebrandt, H. Giese, and B. Becker, Incremental Model Synchronization for Efficient Run-Time Monitoring, 4th International Workshop on Models@run CEUR Workshop Proceedings, pp.1-10, 2009.
DOI : 10.1007/978-3-642-12261-3_13

G. Waignier, A. Meur, and L. Duchien, A Model-Based Framework to Design and Debug Safe Component-Based Autonomic Systems, International Conference on the Quality of Software-Architectures Architectures for Adaptive Software Systems, pp.1-17, 2009.
DOI : 10.1145/1363686.1364081
URL : https://hal.archives-ouvertes.fr/inria-00369574

G. Waignier, S. Prawee, A. Meur, and L. Duchien, A Framework for Bridging the Gap Between Design and Runtime Debugging of Component-Based Applications, 3rd International Workshop on Models@runtime, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00321598

G. Waignier, S. Prawee, A. Meur, and L. Duchien, A Model-Based Framework for Statically and Dynamically Checking Component Interactions, ACM/IEEE 11th International Conference on Model-Driven Engineering Languages and Systems (MODELS 2008) Model Driven Engineering Languages and Systems, pp.371-385, 2008.
DOI : 10.1007/978-3-540-87875-9_27
URL : https://hal.archives-ouvertes.fr/inria-00311584

J. Whittle and P. Jayaraman, MATA: A Tool for Aspect-Oriented Modeling Based on Graph Transformation, AOM@MoDELS'07: 11th Int. Workshop on Aspect-Oriented Modeling, 2007.
DOI : 10.1007/978-3-540-69073-3_3

J. Whittle, A. Moreira, J. Araujo, P. Jayaraman, A. Elkhodary et al., An Expressive Aspect Composition Language for UML State Diagrams, MoDELS'07, ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems, 2007.
DOI : 10.1007/978-3-540-75209-7_35

J. Whittle, P. K. Jayaraman, A. M. Elkhodary, A. Moreira, and J. Araújo, Mata: A unified approach for composing uml aspect models based on graph transformation. T. Aspect-Oriented Software Development VI, pp.191-237, 2009.

J. Whittle, P. Sawyer, N. Bencomo, B. H. Cheng, and J. Bruel, RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems, 2009 17th IEEE International Requirements Engineering Conference, pp.79-88, 2009.
DOI : 10.1109/RE.2009.36

A. Zarras, M. Fredj, N. Georgantas, and V. Issarny, Engineering Reconfigurable Distributed Software Systems: Issues Arising for Pervasive Computing, Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project, pp.364-386, 2006.
DOI : 10.1007/11916246_19
URL : https://hal.archives-ouvertes.fr/inria-00415116

J. Zhang and B. H. Cheng, Model-based development of dynamically adaptive software, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.371-380, 2006.
DOI : 10.1145/1134285.1134337

J. Zhang and B. H. Cheng, Using temporal logic to specify adaptive program semantics, Journal of Systems and Software, vol.79, issue.10, pp.1361-1369, 2006.
DOI : 10.1016/j.jss.2006.02.062

J. Zhang, B. H. Cheng, Z. Yang, and P. K. Mckinley, Enabling Safe Dynamic Component-Based Software Adaptation, Lecture Notes in Computer Science, vol.3549, pp.194-211, 2004.
DOI : 10.1007/11556169_9

J. Zhang, H. J. Goldsby, and B. H. Cheng, Modular verification of dynamically adaptive systems, Proceedings of the 8th ACM international conference on Aspect-oriented software development, AOSD '09, pp.161-172, 2009.
DOI : 10.1145/1509239.1509262

T. Ziadi and J. Jézéquel, Software Product Lines, chapter Product Line Engineering with the UML: Deriving Products, pp.557-586, 2006.