. Applications and .. Soc-in-feature-modeling, 109 4.3.1 Composing Multiple Variability Artifacts to Assemble Coherent Workflows 110 4.3.2 Modeling Variability From Requirements to Runtime in Video Surveillance Systems, p.112

A. Mathieu-acher, P. Cleve, P. Collet, L. Merle, P. Duchien et al., Reverse Engineering Architectural Feature Models, 5th European Conference on Software Architecture(ECSA'11), long paper, pp.16-110, 2011.

A. Andrieux, K. Czajkowski, A. Dan, K. Keahey, H. Ludwig et al., Web Services Agreement Specification (WS-Agreement), Global Grid Forum, Grid Resource Allocation Agreement Protocol (GRAAP) WG, p.36, 2005.

M. Acher, P. Collet, F. Fleurey, P. Lahire, S. Moisan et al., Modeling Context and Dynamic Adaptations with Feature Models, 4th International Workshop Models@run.time at Models, pp.89-98, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00419990

P. Mathieu-acher, A. Collet, P. Gaignard, J. Lahire, R. Montagnat et al., Composing Multiple Variability Artifacts to Assemble Coherent Workflows. Software Quality Journal Special issue on Quality Engineering for Software Product Lines -Accepted with minor revisions, p.111, 2011.

M. Acher, Vers une ligne de services pour la grille: application à l?imagerie médicale, 2008.

M. Acher, Managing Multiple Feature Models: Foundations, Language and Applications, p.99, 2011.

A. Mathieu-acher, P. Collet, P. Lahire, S. Moisan, and J. Rigault, Modeling Variability from Requirements to Runtime, 16th International Conference on Engineering of Complex Computer Systems(ICECCS'11), Las Vegas, p.112, 2011.

M. Acher, P. Collet, P. Lahire, and R. France, Composing Feature Models, 2nd International Conference on Software Language Engineering(SLE'09), long paper, p.92, 2009.
DOI : 10.1007/978-3-642-12107-4_6
URL : https://hal.archives-ouvertes.fr/hal-00415767

M. Acher, P. Collet, P. Lahire, and R. France, Comparing Approaches to Implement Feature Model Composition, 6th European Conference on Modelling Foundations and Applications(ECMFA), pp.3-19, 2010.
DOI : 10.1007/978-3-642-13595-8_3
URL : https://hal.archives-ouvertes.fr/hal-00484232

M. Acher, P. Collet, P. Lahire, and R. France, Managing Variability in Workflow with Feature Model Composition Operators, 9th International Conference on Software Composition(SC'10), volume LNCS of Software Composition, pp.16-109, 2010.
DOI : 10.1007/978-3-642-14046-4_2
URL : https://hal.archives-ouvertes.fr/hal-00484152

M. Acher, P. Collet, P. Lahire, and R. France, A domain-specific language for managing feature models, Proceedings of the 2011 ACM Symposium on Applied Computing, SAC '11, 2011.
DOI : 10.1145/1982185.1982473

M. Acher, P. Collet, P. Lahire, and R. France, Managing feature models with familiar, Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '11, p.101, 2011.
DOI : 10.1145/1944892.1944903

M. Acher, P. Collet, P. Lahire, and R. France, Slicing feature models, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pp.92-109, 2011.
DOI : 10.1109/ASE.2011.6100089

S. Agarwala, Y. Chen, D. Milojicic, and K. Schwan, QMON: QoS- and Utility-Aware Monitoring in Enterprise Systems, 2006 IEEE International Conference on Autonomic Computing, p.82, 2006.
DOI : 10.1109/ICAC.2006.1662390

]. J. Aeg01, Quality of Service Support in Development of Distributed Systems, p.22, 2001.

D. [. Allen and . Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology, vol.6, issue.3, p.20, 1997.
DOI : 10.1145/258077.258078
URL : https://hal.archives-ouvertes.fr/hal-00444067

C. Atkinson and H. Groß, Built-in contract testing in model-driven, componentbased developmet, ICSR7 2002 Workshop on Component-based Software Development Processes, p.44, 2002.

R. Vander-alves, T. Gheyi, U. Massoni, P. Kulesza, C. Borba et al., Refactoring product lines, Proc. of GPCE'2006, pp.201-210, 2006.

M. Anwar-hossain, P. K. Atrey, and A. Saddik, Context-aware qoi computation in multi-sensor systems, Mobile Ad Hoc and Sensor Systems MASS 2008. 5th IEEE International Conference on, pp.736-741, 2008.

[. Apel, F. Janda, S. Trujillo, and C. Kästner, Model Superimposition in Software Product Lines, Lecture Notes in Computer Science, vol.7, issue.6, pp.4-19, 2009.
DOI : 10.1007/11561347_28

C. [. Apel and . Kästner, An Overview of Feature-Oriented Software Development., The Journal of Object Technology, vol.8, issue.5, pp.49-84, 1991.
DOI : 10.5381/jot.2009.8.5.c5

M. Abadi and L. Lamport, Composing specifications, ACM Transactions on Programming Languages and Systems, vol.15, issue.1, pp.73-132, 1993.
DOI : 10.1145/151646.151649
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.1637

S. Gordon, A. Blair, L. Andersen, G. Blair, D. Coulson et al., Supporting dynamic qos management functions in a reflective middleware platform, IEE Proceedings - Software, vol.147, issue.1, pp.13-21, 2000.

J. Michel-bruel, J. Araújo, and A. Moreira, Using aspects to develop built-in tests for components Feature models, grammars, and propositional formulas, 4th AOSD Modeling With UML Workshop 9th International Software Product Line Conference (SPLC'05), pp.44-51, 2003.

F. Bachman, L. Bass, C. Buhman, S. Comella-dorda, F. Long et al., Technical Concepts of Component-Based Software Engineering, pp.10-66, 2000.

G. Blair, N. Bencomo, and R. B. France, Models@ run.time, Computer, vol.42, issue.10, pp.22-27, 2009.
DOI : 10.1109/MC.2009.326
URL : https://hal.archives-ouvertes.fr/hal-00733338

Q. Boucher, A. Classen, P. Faber, and P. Heymans, Introducing TVL, a textbased feature modelling language, VaMoS'10, pp.159-162, 2010.

E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J. Stefani, An Open Component Model and Its Support in Java, ICSE 2004 -CBSE7, p.66, 2004.
DOI : 10.1007/978-3-540-24774-6_3

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,special issue on Experiences with Auto-adaptive and Reconfigurable Systems, BCW11] Kacper B ? ak, Krzysztof Czarnecki, and Andrzej W ? asowski. Feature and meta-models in clafer, p.86, 2006.

Y. Brun, G. Di-marzo-serugendo, C. Gacek, H. Giese, H. Kienle et al., Engineering Self-Adaptive Systems Through Feedback Loops Software Engineering for Self-Adaptive Systems Load shedding for aggregation queries over data streams Generic QoS specification for CORBA, ICDE '04: Proceedings of the 20th International Conference on Data Engineering Kommunikation in Verteilten Systemen (KiVS'99), pp.48-70, 1999.

L. Baresi, S. Guinea, ]. L. Baresi, S. Guinea, and P. Plebani, Towards Dynamic Monitoring of WS-BPEL Processes, ICSOC 2005, Third International Conference of Service-Oriented Computing Technologies for E-Services, 6th International Workshop, TES 2005, pp.269-282, 2005.
DOI : 10.1007/11596141_21

R. V. Binder, Testing object???oriented software: a survey, Software Testing, Verification and Reliability, vol.6, issue.34, pp.125-252, 1996.
DOI : 10.1002/(SICI)1099-1689(199609/12)6:3/4<125::AID-STVR121>3.0.CO;2-X

A. Beugnard, J. Jézéquel, and N. Plouzeau, Contract Aware Components, 10 years after, Electronic Proceedings in Theoretical Computer Science, vol.37, issue.120, pp.1-11, 2010.
DOI : 10.4204/EPTCS.37.1
URL : https://hal.archives-ouvertes.fr/inria-00554209

A. Beugnard, J. Jézéquel, N. Plouzeau, and D. Watkins, Making components contract aware, Computer, vol.32, issue.7, pp.38-45, 1999.
DOI : 10.1109/2.774917

M. Barbacci, M. Klein, T. Longstaff, and C. Weinstock, Quality Attributes, p.79, 1995.

A. [. Buchholz, M. Kupper, and . Schiffers, Quality of context information: What it is and why we need it, Proceeding of the 10th HP-OVUA Workshop M. Laclavik, and L. Hluchy. Model of Negotiation and Decision Support for Goods and Services Proceedings of XXIInd International Colloquium ASIS 2000 -Advanced Simulation of Systems, pp.89-65, 2000.

S. Ben-mokhtar, D. Fournier, N. Georgantas, and V. Issarny, Context-Aware Service Composition in Pervasive Computing Environments, Rapid Integration of Software Engineering Techniques, Second International Workshop : RISE 2005, pp.129-144, 2006.
DOI : 10.1007/11426646_2
URL : https://hal.archives-ouvertes.fr/inria-00415111

J. Boschbrb90, ]. K. Brace, R. L. Rudell, R. E. Bryant-fabien-baligand, N. Rivierre et al., Toward compositional software product lines Efficient implementation of a bdd package A declarative approach for qos-aware web service compositions, DAC'90, pp.29-34, 1990.

. Bro-+-02-]-g, R. Brahnmath, A. Raje, B. Olson, M. Bryant et al., A Quality of Service Catalog for Software Components, p.79, 2002.

M. Barnett, W. Schultebsrc10, ]. D. Benavides, S. Segura, A. Ruiz-cortes et al., Automated Analysis of Feature Models 20 years Later: a Literature Review Information Systems Run-time monitoring of instances and classes of web service compositions Mapping features to models: A template approach based on superimposed variants, Runtime Verification of .NET Contracts. Journal of Systems and Software Web Services ICWS '06. International Conference on GPCE'05, pp.199-208, 2002.

D. Cassou, E. Balland, C. Consel, and J. L. Lawall, Leveraging software architectures to guide and verify the development of sense/compute/control applications, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.431-440, 2011.
DOI : 10.1145/1985793.1985852
URL : https://hal.archives-ouvertes.fr/inria-00537789

A. Classen, Q. Boucher, and P. Heymans, A text-based approach to feature modelling: Syntax and semantics of TVL, Science of Computer Programming, vol.76, issue.12, p.125, 2010.
DOI : 10.1016/j.scico.2010.10.005
URL : https://hal.archives-ouvertes.fr/hal-00718291

H. Chang and P. Collet, Fine-grained Contract Negotiation for Hierarchical Software Components, 31st EUROMICRO Conference on Software Engineering and Advanced Applications, pp.28-35, 2005.
DOI : 10.1109/EUROMICRO.2005.27

H. Chang and P. Collet, Négociation de contrats : des systèmes multi-agents aux composants logiciels. RSTI -Série L'Objet (RSTI-Objet), pp.73-102, 2006.
DOI : 10.3166/objet.12.4.73-102

H. Chang and P. Collet, Compositional Patterns of Non-Functional Properties for Contract Negotiation, Journal of Software, vol.2, issue.2, pp.52-63, 2007.
DOI : 10.4304/jsw.2.2.52-63

H. Chang and P. Collet, Patterns for Integrating and Exploiting Some Non-Functional Properties in Hierarchical Software Components, 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07), pp.83-92, 2007.
DOI : 10.1109/ECBS.2007.59

H. Chang, P. Collet, A. Ozanne, and N. Rivierre, From Components to Autonomic Elements Using Negotiable Contracts, 3rd International Conference on Autonomic and Trusted Computing, pp.78-89, 2006.
DOI : 10.1007/11839569_8
URL : https://hal.archives-ouvertes.fr/hal-01351632

[. Czarnecki and U. Eisenecker, Generative Programming, 2000.
DOI : 10.1007/3-540-36208-8_2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.387.6297

H. Chang, Mécanismes de négociation pour composants logiciels contractualisés. Master's thesis, 2004.

H. Chang, Négociation de contrats dans les systèmes à composants logiciels hiérarchiques, 2007.
DOI : 10.3166/objet.11.1-2.239-252

K. Czarnecki, S. Helsen, and U. Eisenecker, Formalizing cardinality-based feature models and their specialization, Software Process Improvement and PracticeCHE05b] Krzysztof Czarnecki, Simon Helsen, and Ulrich Eisenecker. Staged Configuration through Specialization and Multilevel Configuration of Feature Models. Software Process: Improvement and Practice, pp.7-29143, 2005.
DOI : 10.1002/spip.213
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.85.4104

S. Czajkowski, G. Hahn, P. Skinner, C. Soper, and . Bryce, A resource management interface for the Java? platform, Software: Practice and Experience, vol.4, issue.2, pp.123-157, 2005.
DOI : 10.1002/spe.628

A. Classen, A. Hubaux, F. Sanen, E. Truyen, J. Vallejos et al., Modelling variability in self-adaptive systems: towards a research agenda, Proceedings of International Workshop on Modularization, Composition and Generative Techniques for Product-line Engineering, pp.19-26, 2008.

[. Czarnecki, C. H. , P. Kim, and K. T. Kalleberg, Feature Models are Views on Ontologies, 10th International Software Product Line Conference (SPLC'06), pp.41-51, 2006.
DOI : 10.1109/SPLINE.2006.1691576
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.130.6244

P. Collet, F. K?ikava, J. Montagnat, M. Blay-fornarino, and D. Manset, Issues and Scenarios for Self-Managing Grid Middleware In Workshop on Grids Meet Autonomic Computing, in association with ICAC, CL02] Ivica Crnkovic and Magnus Larsson. Building Reliable Component-Based Software Systems. Artech House publisher, pp.123-133, 2002.

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

I. Ciupa, A. Leitner, M. Oriol, and B. Meyer, ARTOO, Proceedings of the 13th international conference on Software engineering , ICSE '08, pp.71-80, 2008.
DOI : 10.1145/1368088.1368099

[. Crnkovic, M. Larsson, and O. Preiss, Concerning Predictability in Dependable Component-Based Systems: Classification of Quality Attributes, Architecting Dependable Systems III, pp.257-278, 1007.
DOI : 10.1007/11556169_12

A. Charfi and M. Mezini, Aspect-Oriented Web Service Composition with AO4BPEL, Lecture Notes in Computer Science, vol.3250, pp.168-182, 2004.
DOI : 10.1007/978-3-540-30209-4_13

P. Collet, J. Malenfant, A. Ozanne, and N. Rivierre, Composite Contract Enforcement in Hierarchical Component Systems, 6th International Symposium on Software Composition(SC'07), pp.18-33, 2007.
DOI : 10.1007/978-3-540-77351-1_3
URL : https://hal.archives-ouvertes.fr/hal-01334910

L. [. Clements and . Northrop, Software Product Lines : Practices and Patterns, p.91, 2001.

P. Collet, A. Ozanne, and N. Rivierre, Enforcing Different Contracts in Hierarchical Component-Based Systems, 5th International Symposium on Software Composi- tion(SC'06), pp.50-65, 2006.
DOI : 10.1007/11821946_4
URL : https://hal.archives-ouvertes.fr/hal-01351678

P. Collet, A. Ozanne, and N. Rivierre, Towards a Versatile Contract Model to Organize Behavioral Specifications, 33rd International Conference on Current Trends in Theory and Practice of Computer Science(SOFSEM'07), pp.844-855, 2007.
DOI : 10.1007/978-3-540-69507-3_73
URL : https://hal.archives-ouvertes.fr/hal-01334905

P. Collet, R. Rousseau, T. Coupaye, and N. Rivierre, A Contracting System for Hierarchical Components St-Louis (Missouri), USA Scalable processing of context information with cosmos Feature diagrams and logics: There and back again, Component-Based Software Engineering, 8th International Symposium(CBSE'2005) DAIS SPLC'07 Ninth Annual Symposium on Foundations of Software Engineering (FSE), pp.187-202, 2001.

M. Dbfc-+-08-]-laurence-duchien, P. Blay-fornarino, N. Collet, V. Rivierre, S. Hourdin et al., Métamodèles de plates-formes, pp.42-43, 2008.

J. Dowling and V. Cahill, The K-Component Architecture Meta-Model for Self-Adaptive Software, Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, pp.81-88, 2001.
DOI : 10.1007/3-540-45429-2_6

D. Deveaux and P. Collet, Specification of a Contract Based Built-In Test Framework for Fractal, Fractal CBSE Workshop at ECOOP'06DFJ01] Daniel Deveaux, Patrice Frison, and Jean-Marc Jézéquel. Increase Software Trustability with Self-Testable Classes in Java Proceedings, 2001.

D. Dhungana, P. Grünbacher, R. Rabiser, and T. Neumayer, Structuring the modeling space and supporting evolution in software product line engineering, Journal of Systems and Software, vol.83, issue.7, pp.1108-1122, 2010.
DOI : 10.1016/j.jss.2010.02.018

[. Defour, J. Jézéquel, T. David, and . Ledoux, Extra-Functional Contract Support in Components, ICSE 2004 -CBSE7 Proceedings of Distributed Applications and Interoperable Systems 2003, the 4th IFIP WG6.1 International Conference, pp.217-232, 2003.
DOI : 10.1007/978-3-540-24774-6_20
URL : https://hal.archives-ouvertes.fr/hal-00795031

P. David, T. Ledoux, M. Léger, and T. Coupaye, FPath and FScript: Language support for navigation and reliable reconfiguration of Fractal architectures, annals of telecommunications - annales des t??l??communications, vol.7, issue.3, pp.45-63, 2009.
DOI : 10.1007/s12243-008-0073-y
URL : https://hal.archives-ouvertes.fr/hal-00468474

E. Eskenazi, A. Fioukov, D. Hammer, and M. Chaudron, Estimation of Static Memory Consumption for Systems Built from Source Code Components, EUROMICRO-SEAA'2002, p.79, 2002.

J. Euzenat and P. Shvaiko, Ontology matching, p.125, 2007.
DOI : 10.1007/978-3-642-38721-0
URL : https://hal.archives-ouvertes.fr/hal-00918122

B. Robert, M. Findler, and . Felleisen, Contract Soundness for Object-Oriented Languages, Proceedings of OOPSLA'2001, p.18, 2001.

F. Fjfa-+-10-]-martin-fagereng-johansen, M. Fleurey, P. Acher, P. Collet, and . Lahire, Exploring the Synergies Between Feature Models and Ontologies QML: a language for Quality of Service Specification, International Workshop on Model-driven Approaches in Software Product Line Engineering (MAPLE 2010)(SPLC'10 Lancester University. 125 [FK98a] Svend Frölund and Jari KoistinenFK98b] Svend Frölund and Jari Koistinen. Quality of Service in Distributed Object Systems Design 4th USENIX Conference on Object-Oriented Technologies and Systems (COOTS), pp.163-171, 1920.

R. W. Floyd, Assigning meanings to programs, Proceedings American Mathematical Society Symposium in Applied Mathematics, pp.19-31, 1967.
DOI : 10.1007/978-94-011-1793-7_4

M. Fowler, Domain Specific Languages, p.103, 2010.

B. Robert, B. France, and . Rumpe, Does model driven engineering tame complexity? Software and System Modeling, pp.1-2, 2007.

]. P. Fra11-]-frascatifsjb99, C. Faratin, N. R. Sierra, P. Jennings, . Bucklegb99-]-e et al., Designing Flexible Automated Negotiators: Concessions, Trade-Offs and Issue Changes Junit: A cook's tour, Java Report, pp.113-65, 1999.

D. Garlan, . Shang-wen, A. Cheng, B. Huang, P. Schmerl et al., Rainbow: architecture-based self-adaptation with reusable infrastructure, Computer, vol.37, issue.10, pp.46-54, 1994.
DOI : 10.1109/MC.2004.175

R. Gheyi, T. Massoni, P. Groß, N. Mayer, and J. P. Riano, A theory for feature models in alloy Assessing real-time component contracts through built-in evolutionary testing, Proceedings of First Alloy Workshop, pp.71-80, 2005.

S. Göbel, C. Pohl, R. Aigner, M. Pohlack, S. Röttger et al., The COMQUAD component container architecture, Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004), pp.315-320, 2004.
DOI : 10.1109/WICSA.2004.1310717

]. S. Gpa-+-04b, C. Göbel, R. Pohl, M. Aigner, S. Pohlack et al., The COMQUAD Component Container Architecture and Contract Negotiation, p.65, 2004.

H. Groß, D. Garlan, B. Schmerl, and P. Steenkiste, Component-Based Software Testing with UML Rainbow: architecture-based self-adaptation with reusable infrastructure, International Conference on Autonomic Computing, pp.44-276, 2004.

J. L. Hellerstein, Y. Diao, S. Parekh, and D. M. Tilbury, Feedback control of computing systems, Wiley Online Library, vol.64, issue.120, pp.55-123, 2004.
DOI : 10.1002/047166880X

[. Helm, I. M. Holland, and D. Gangopadhyay, Contracts: Specifying Behavioral compositions in Object-Oriented Systems, pp.169-180, 1990.

A. Hubaux, P. Heymans, P. Kopcsek, and C. Wende, Supporting multiple perspectives in feature-based configuration, Companion Proceedings of the 30th International Conference on Software Engineering (ICSE'08), pp.93-943, 2008.
DOI : 10.1007/s10270-011-0220-1
URL : https://hal.archives-ouvertes.fr/hal-00718144

X. Hlm-+-09-]-fabien-hermenier, J. Lorca, G. Menaud, J. Muller, and . Lawall, Entropy: a Consolidation Manager for Clusters, Proceedings of the ACM SIGPLAN/SIGOPS international conference on Virtual execution environments (VEE'09), pp.41-50, 2009.

S. Hissam, G. Moreno, J. Stafford, K. Wallnauhmw01, ]. D. Hamlet et al., Enabling Predictable Assembly Theory of Software Reliability Based on Components An axiomatic basis for computer programming, ICSE'2001, pp.79-79576, 1969.

F. Heidenreich, P. Sanchez, J. Santos, S. Zschaler, M. Alferez et al., Relating Feature Models to Other Models of a Software Product Line, pp.69-114, 2010.
DOI : 10.1007/978-3-642-16086-8_3

. Hst-+-08-]-p, P. Heymans, J. Schobbens, Y. Trigaux, R. Bontemps et al., Evaluating formal properties of feature diagram languages, pp.281-302, 0100.

H. Hartmann and T. Trew, Using Feature Diagrams with Context Variability to Model Multiple Product Lines for Software Supply Chains, 2008 12th International Software Product Line Conference, pp.12-21, 2008.
DOI : 10.1109/SPLC.2008.15

H. Hartmann, T. Trew, and A. Matsinger, Supplier independent feature modelling, SPLC'09, pp.191-200, 2009.

[. Research, Autonomic computing, pp.55-120, 2001.

J. Jézéquel, O. Defour, and N. Plouzeau, An mda approach to tame component based software development, Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, pp.260-275, 2003.

J. Jézéquel, D. Deveaux, and Y. L. Traon, Reliable objects: lightweight testing for oo languages, IEEE Software, vol.18, issue.4, pp.76-83, 2001.
DOI : 10.1109/MS.2001.936221

R. E. Johnson and B. Foote, Designing reusable classes, Journal of Object-Oriented Programming, vol.1, issue.2, pp.22-35, 1988.

J. Joyce, G. Lomow, K. Slind, and B. Unger, Monitoring distributed systems, ACM Transactions on Computer Systems, vol.5, issue.2
DOI : 10.1145/13677.22723

R. E. Johnson, Frameworks = (components + patterns), ICDE '09: Proceedings of the 2009 IEEE International Conference on Data Engineering, pp.39-42, 1997.
DOI : 10.1145/262793.262799

]. J. Kab-+-06, J. Kofron, T. Adamek, P. Bures, V. Jesek et al., Checking fractal component behaviour using behaviour protocols, Logos Verlag Berlin, p.28, 2006.

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

F. K?ikava and P. Collet, A Reflective Model for Architecting Feedback Control Systems, 23rd International Conference on Software Engineering & Knowledge Engineer- ing(SEKE'2011), p.123, 2011.

F. K?ikava, P. Collet, and M. Blay-fornarino, Uniform and model-driven engineering of feedback control systems, Proceedings of the 8th ACM international conference on Autonomic computing, ICAC '11, p.123, 2011.
DOI : 10.1145/1998582.1998616

]. K. Kch-+-90, S. Kang, J. Cohen, W. Hess, S. Novak et al., Feature-Oriented Domain Analysis (FODA), p.6, 1990.

S. Kang, J. Kim, K. Lee, E. Kim, M. Shin et al., FORM: a feature-oriented reuse method with domain-specific reference architectures, Annals of Software Engineering, vol.5, issue.92, pp.143-168, 1998.
DOI : 10.1023/A:1018980625587

G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes et al., Aspect-oriented programming, ECOOP, pp.220-242, 1997.

G. Kaiser, J. Parekh, P. Gross, and G. Valetto, Kinesthetics eXtreme: an external infrastructure for monitoring distributed legacy systems, 2003 Autonomic Computing Workshop, pp.4-13, 2003.
DOI : 10.1109/ACW.2003.1210200

G. Kaiser, J. Parekh, P. Gross, and G. Valetto, Kinesthetics eXtreme: an external infrastructure for monitoring distributed legacy systems Worth-based multi-category quality-of-service negotiation in distributed object infrastructures, Proceedings of the autonomic computing workshop, fifth international workshop on active middleware services (AMS'03), pp.22-30, 1998.

C. Kästner, T. Thüm, G. Saake, J. Feigenspan, T. Leich et al., FeatureIDE: A tool framework for feature-oriented software development, 2009 IEEE 31st International Conference on Software Engineering, pp.611-614, 2009.
DOI : 10.1109/ICSE.2009.5070568

A. Kleppe, J. Warmer, and W. Bast, MDA Explained: The Model Driven Architecture? Practice and Promise, 2002.

]. L. Lam94 and . Lamport, The Temporal Logic of Actions, ACM Trans. on Programming Languages and Systems, vol.16, issue.3, pp.872-923, 1994.

T. Gary, A. L. Leavens, C. Baker, and . Ruby, JML: A notation for detailed design, Behavioral Specifications of Businesses and Systems, pp.175-188, 1999.

B. Le-duc, P. Collet, J. Malenfant, and N. Rivierre, A QoI-aware Framework for Adaptive Monitoring A component based programming framework for autonomic applications, The Second International Conference on Adaptive and Selfadaptive Systems and Applications Proc. of 1st International Conference on Autonomic Computing, pp.85-95, 2004.

[. Liu, M. Parashar, and S. Hariri, A component-based programming model for autonomic applications, Autonomic Computing, International Conference on [LQS05] Matthieu Leclercq, Vivien Quéma, and Jean-Bernard Stefani. DREAM: A Component Framework for Constructing Resource-Aware, Configurable Middleware. IEEE Distributed Systems Online, pp.10-17, 2004.

[. Laddaga, P. Robertson, and H. E. Shrobe, Results of the first international workshop on self adaptive software Revised Papers, volume 1936 of Lecture Notes in Computer Science Software component models, Self-Adaptive Software, First International Workshop Loques and A. Sztajnberg. Customizing Component-Based Architectures by Contract Proceedings of Component Deployment, pp.242-247, 2000.

O. Melekhova, M. Abchir, P. Châtel, and J. Malenfant, Isis Truck, and Anna Pappa. Self-adaptation in geotracking applications: Challenges, opportunities and models, The Second International Conference on Adaptive and Self-adaptive Systems and Applications, pp.68-77, 2010.

[. Madsen, Unit Testing Using Design by Contract and Equivalence Partitions, XP, pp.425-426, 2003.
DOI : 10.1007/3-540-44870-5_69

J. Magee, Behavioral analysis of software architectures using LTSA, Proceedings of the 21st international conference on Software engineering, ICSE '99, pp.634-637, 1999.
DOI : 10.1145/302405.302726

[. Mendonca, M. Branco, and D. Cowan, S.P.L.O.T., Proceeding of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications, OOPSLA '09, pp.761-762, 2009.
DOI : 10.1145/1639950.1640002
URL : https://hal.archives-ouvertes.fr/hal-01241062

S. Mosser, M. Blay-fornarino, P. Collet, and P. Lahire, Vers l'intégration dynamique de contrats dans des architectures orientées services : une experience applicative du modèle au code, 2ème Conférence sur les Architectures Logicielles, pp.63-77, 2008.

S. Mosser, M. Blay-fornarino, and M. Riveill, Web Services Orchestrations Evolution: A Merge Process for Behavioral Evolution, ECSA, pp.35-49, 2008.
DOI : 10.1007/978-3-540-88030-1_5

O. Mbj-+-09-]-brice-morin, J. Barais, F. Jézéquel, A. Fleurey, and . Solberg, Models@ run.time to support dynamic adaptation Decision-making coordination and efficient reasoning techniques for feature-based configuration, Coordination Models, Languages and Applications (SAC'08, pp.44-51, 2009.

R. Michel, A. Classen, A. Hubaux, and Q. Boucher, A formal semantics for feature cardinalities in feature diagrams, Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '11, pp.82-89, 2011.
DOI : 10.1145/1944892.1944902

]. D. Mci68 and . Mcilroy, Mass-produced software components, First International Conference on Software Engineering. NATO, 1968.

B. Meyer, I. Ciupa, A. Leitner, L. L. Liu-van-leeuwen, G. F. Italiano et al., Automatic Testing of Object-Oriented Software, Harald Sack, and Frantisek Plasil, pp.114-129, 2007.
DOI : 10.1007/978-3-540-69507-3_9

A. Mercier, Etude bibliographique d?un modèle général de contractualisation pour les composants logiciels, 2002.

B. Meyer, Object-Oriented Software Construction, 1988.

B. Meyer, A. M. Heering, and . Sloane, When and how to develop domain-specific languages, IEEE Computer ACM Comput. Surv, vol.25, issue.374, pp.40-51, 1992.

M. Ahmad-munawar, M. Jiang, and P. A. Ward, Monitoring multi-tier clustered systems with invariant metric relationships, SEAMS '08: Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems, pp.73-80, 2008.

M. Mackenzie, K. Laskey, F. Mccabe, P. Brown, and R. Metz, Reference Model for Service Oriented Architecture 1.0, OASIS, vol.22, p.36, 2006.

[. Mendonca and A. W. , Sat-based analysis of feature models is easy, SPLC'09, pp.231-241, 2009.

P. Mmr-+-10-]-rémi-mélisson, D. Merle, R. Romero, L. Rouvoy, and . Seinturier, Reconfigurable run-time support for distributed service component architectures, ASE, pp.171-172, 2010.

A. Metzger, K. Pohl, P. Heymans, P. Schobbens, G. Saval et al., Disambiguating the documentation of variability in software product lines: A separation of concerns , formalization and automated analysis Non-intrusive monitoring and service adaptation for ws-bpel A Classification and Comparison Framework for Software Architecture Description Languages, 15th IEEE International Conference on Requirements Engineering (RE '07) WWW '08: Proceeding of the 17th international conference on World Wide Web, pp.243-253, 2000.

A. Manzoor, H. Truong, and S. Dustdar, On the Evaluation of Quality of Context, EuroSSC '08: Proceedings of the 3rd European Conference on Smart Sensing and Context, pp.140-153, 2008.
DOI : 10.1007/978-3-540-88793-5_11

G. Mvl-+-08-]-brice-morin, P. Vanwormhoudt, A. Lahire, O. Gaignard, J. Barais et al., Managing variability complexity in aspect-oriented modeling. Model Driven Engineering Languages and Systems, pp.797-812, 2008.

M. Ahmad, M. , and P. A. Ward, Adaptive monitoring in enterprise software systems, SIGMETRICS 2006 Workshop on Tackling Computer Systems Problems with Machine Learning Techniques (SysML), p.89, 2006.

[. Mendonca, A. W. , K. Czarnecki, and D. Cowan, Efficient compilation techniques for large scale feature models, Proceedings of the 7th international conference on Generative programming and component engineering, GPCE '08, pp.13-22, 2008.
DOI : 10.1145/1449913.1449918

K. Schmidt, M. Parameswaran, and . Kircher, Towards a Reflective Middleware Framework for QoS-enabled CORBA Component Model Applications, IEEE Distributed Systems Online special issue on Reflective Middleware, p.79, 2001.

. Northrop, R. Feiler, . Gabriel, . Goodenough, . Linger et al., Ultra-large-scale systems -the software challenge of the future, 2006.

L. M. Northrop, SEI's software product line tenets, IEEE Software, vol.19, issue.4, pp.32-40, 2002.
DOI : 10.1109/MS.2002.1020285

R. Nzekwa, L. Rouvoy, and . Seinturier, Modelling feedback control loops for self-adaptive systems, ECEASST, pp.28-2010
URL : https://hal.archives-ouvertes.fr/inria-00485019

[. Group, Object Constraint Language Specification Technical Report version 1.1, ad/97-08-08, IBM www.software.ibm.com/ad/ocl, Ope07] Open SOA. SCA Service Component Architecture -Assembly Model Specification, p.123, 1997.

A. Ozanne, Interact : un modèle général de contrat pour la garantie des assemblages de composants et services, 2007.

C. Pahl, Components, Contracts, and Connectors for the Unified Modelling Language UML, FME2001 -Formal Methods Europe, pp.259-277, 2001.
DOI : 10.1007/3-540-45251-6_15

M. P. Papazoglou, Service-oriented computing: concepts, characteristics and directions, Proceedings of the 7th International Conference on Properties and Applications of Dielectric Materials (Cat. No.03CH37417), pp.3-12, 2003.
DOI : 10.1109/WISE.2003.1254461
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.323.9432

]. D. Par72 and . Parnas, On the criteria to be used in decomposing systems into modules, Commun. ACM, vol.15, pp.1053-1058, 1972.

D. L. Parnas, On the design and development of program families, IEEE Trans. Softw. Eng, vol.2, issue.1 5, pp.1-9, 1976.

C. Andres-parra, X. Blanc, A. Cleve, and L. Duchien, Unifying design and runtime software adaptation using aspect models, Science of Computer Programming, vol.76, issue.12, pp.1247-1260, 2011.
DOI : 10.1016/j.scico.2010.12.005

K. Pohl, G. Böckle, and F. J. Van-der-linden, Software Product Line Engineering: Foundations, Principles and Techniques, pp.91-115, 2005.
DOI : 10.1007/3-540-28901-1

C. A. Parra, A. Cleve, X. Blanc, and L. Duchien, Feature-Based Composition of Software Architectures, ECSA'10, pp.230-245, 2010.
DOI : 10.1007/978-3-642-04425-0_56
URL : https://hal.archives-ouvertes.fr/inria-00512716

V. Poladian, D. Garlan, M. Shaw, M. Satyanarayanan, B. Schmerl et al., Leveraging resource prediction for anticipatory dynamic configuration Mass Customization: The New Frontier in Business Competition, SASO '07: Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems, pp.214-223, 1999.

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

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

]. P. Pls-+-00, J. Pal, R. Loyall, J. Schantz, R. Zinky et al., Using QDL to Specify QoS Aware Distributed (QuO) Application Configuration, Proc. of ISORC 2000, 3rd IEEE International Symposium on Object-Oriented Real-time Distributed Computing, 1965.

R. Plösch, Evaluation of Assertion Support for the Java Programming Language Special issue: TOOLS USA 2002 proceedings Model checking of software components: Combining java pathfinder and behavior protocol model checker, PPK06] Pavel Parizek, Frantisek Plasil, and Jan Kofron SEW, pp.5-17, 2002.

M. [. Putrycz and . Slavescu, Solving Performance Issues in COTS-Based Systems, Fifth International Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems (ICCBSS'05), p.79, 2006.
DOI : 10.1109/ICCBSS.2006.27

V. Poladian, J. P. Sousa, D. Garlan, and M. Shaw, Dynamic configuration of resource-aware services, Proceedings. 26th International Conference on Software Engineering, pp.604-613, 2004.
DOI : 10.1109/ICSE.2004.1317482

S. Gilles-perrouin, J. Sen, B. Klein, Y. L. Baudry, and . Traon, Automated and scalable t-wise test case generation strategies for software product lines, ICSTPV02] F. Plasil and S. Visnovsky. Behavior Protocols for Software Components, pp.459-468, 2002.

G. Gilles-perrouin, P. Vanwormhoudt, B. Lahire, O. Morin, J. Barais et al., Weaving Variability into Domain Metamodels. Software and Systems Modeling Special issue, pp.22-125, 2010.

A. Rausch, Software evolution in componentware using requirements/assurances contracts, Proceedings of the 22nd international conference on Software engineering , ICSE '00, pp.147-156, 2000.
DOI : 10.1145/337180.337198

T. Ritter, M. Born, T. Unterschutz, and T. Weis, A QoS Metamodel and its Realization in a CORBA Component Infrastructure, Proceedings of the 36' HICSS Hawaii, pp.65-68, 2003.

D. Romero, R. Rouvoy, L. Seinturier, S. Chabridon, D. Conan et al., Enabling Context-Aware Web Services, Journal of Systems and Software, vol.123, issue.663, pp.113-135, 2003.
DOI : 10.1201/EBK1439809853-c5
URL : https://hal.archives-ouvertes.fr/inria-00414070

R. H. Reussner, H. W. Schmidt, and I. H. Poernomo, Reasoning on software architectures with contractually specified components Component-Based Software Quality: Methods and Techniques Multi-level feature trees: A pragmatic approach to managing highly complex product families, Requir. Eng, vol.12, issue.93, pp.2257-75, 2003.

A. Sassen, G. Amoros, P. Donth, K. Geihs, J. et al., Qccs: A methodology for the development of contract-aware components based on aspectoriented design In Workshop on Early Aspects: Aspect-Oriented Requirements Engineering and Architecture Design (AOSD-2002), Enschede, The NetherLands, mar 2002 Using Components for Architecture-Based Management: The Self-Repair Case, Proceedings of the 30th International Conference on Software Engineering (ICSE'08, 0123.

S. Segura, D. Benavides, A. Ruiz-cortes, and P. Trinidad, Automated merging of feature models using graph transformations. Post-proceedings of the Second Summer School on GTTSE, pp.489-505, 2008.

C. Douglas and . Schmidt, Guest editor's introduction: Model-driven engineering, Computer, vol.39, issue.2, pp.25-31, 2006.

P. Schobbens, P. Heymans, J. Trigaux, and Y. Bontemps, Generic semantics of feature diagrams, Computer Networks, vol.51, issue.2, pp.456-479, 2007.
DOI : 10.1016/j.comnet.2006.08.008

]. S. Slb-+-11, R. She, T. Lotufo, A. Berger, K. Czarnecki et al., Reverse engineering feature models The Design of the TAO Real-time Object Request Broker, Computer Communications, vol.99, issue.214, pp.125-65, 1998.

]. R. Smi80, . Smith, N. Seinturier, L. Pessemier, T. Duchien et al., The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver A component model engineered with components and aspects, IEEE Transactions on Computers Lecture Notes in Computer Science, vol.29, issue.4063, pp.1104-1113, 1980.

G. Saval, J. P. Puissant, P. Heymans, and T. Mens, Some challenges of feature-based merging of class diagrams, VaMoS, pp.127-136, 2009.

[. Sterritt, M. Parashar, H. Tianfield, and R. Unland, A concise introduction to autonomic computing, Advanced Engineering Informatics, vol.19, issue.3, pp.181-187, 2005.
DOI : 10.1016/j.aei.2005.05.012

M. Salehie and L. Tahvildari, Self-adaptive software, [sta07] SCA standard, pp.1-14, 2007.
DOI : 10.1145/1516533.1516538

A. Svendsen, X. Zhang, R. Lind-tviberg, F. Fleurey, Ø. Haugen et al., Developing a Software Product Line for Train Control: A Case Study of CVL, Szy02] Clemens Szyperski. Component Software: Beyond Object-Oriented Programming, pp.106-120, 2002.
DOI : 10.1007/978-3-642-15579-6_8

Q. Tbc-+-09-]-thein-than-tun, A. Boucher, and . Classen, Arnaud Hubaux, and Patrick Heymans. Relating requirements and feature configurations: A systematic approach, SPLC'09, pp.201-210, 2009.

H. Tran, P. Bedu, L. Duchien, H. Nguyen, and J. Perrin, Toward structural and behavioral analysis for component models, SAVBCS 2004, 12th ACM SIGSOFT Symposium on the Foundation of Software Engineering, 1922.

[. Thüm, D. Batory, and C. Kästner, Reasoning about edits to feature models, 2009 IEEE 31st International Conference on Software Engineering, pp.254-264, 1994.
DOI : 10.1109/ICSE.2009.5070526

N. Tatbul, U. Çetintemel, and S. Zdonik, Staying fit: efficient load shedding techniques for distributed stream processing, VLDB '07: Proceedings of the 33rd international conference on Very large data bases, pp.159-170, 2007.

Y. Le-traon, D. Deveaux, and J. Jézéquel, Self-testable components: from pragmatic tests to design-for-testability methodology, Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275), pp.96-107, 1999.
DOI : 10.1109/TOOLS.1999.779003
URL : https://hal.archives-ouvertes.fr/hal-00776493

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

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

A. Van-deursen and P. Klint, Little languages: little maintenance?, Tijs van der Storm. Variability and Component Composition 110 [VFH05] Egon Valentini, Gerhard Fliess, and Edmund Haselwanter Annual International Computer Software and Applications Conference (COMPSAC'05), pp.75-92, 1998.
DOI : 10.1002/(SICI)1096-908X(199803/04)10:2<75::AID-SMR168>3.0.CO;2-5

M. Voelter, I. Groher-broek, I. Galvao-lourenco-da, J. A. Silva, and . Noppen, Product line implementation using aspect-oriented and modeldriven software development Merging feature models Building product populations with software components, SPLC '07: Proceedings of the 11th International Software Product Line Conference 14th International Software Product Line Conference 101 [vO02] Rob van Ommering ICSE '02, pp.233-242, 2002.

T. Weis, C. Becker, K. Geihs, N. Plouzeauwcr09, ]. N. Weston et al., A UML Meta-model for Contract Aware Components In UML 2001 -The Unified Modeling Language, volume 2185 of Lecture Notes in Computer Science A framework for constructing semantically composable feature models from natural language requirements, SPLC'09, pp.442-456, 2001.

[. Weiser, Program Slicing, Proceedings of the 5th international conference on Software engineering, ICSE '81, pp.439-449, 1981.
DOI : 10.1109/TSE.1984.5010248

G. Waignier, A. Meur, and L. Duchien, Architectural Specification and Static Analyses of Contractual Application Properties, Lecture Notes in Computer Science, vol.5281, issue.120, pp.152-170, 2008.
DOI : 10.1007/978-3-540-87879-7_10
URL : https://hal.archives-ouvertes.fr/inria-00284514

K. Wallnau, J. Stafford, S. Hissam, and M. Klein, On the Relationship of Software Architecture to Software Component Technology, ECOOP'2001 WCOP Workshop, p.79, 2001.

G. Waignier, P. Sriplakich, A. Meur, and L. Duchien, A Model-Based Framework for Statically and Dynamically Checking Component Interactions, MoDELS, pp.371-385, 2008.
DOI : 10.1007/978-3-540-87875-9_27
URL : https://hal.archives-ouvertes.fr/inria-00311584

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