J. Aagedal, Quality of Service Support in Development of Distributed Systems, 2001.

H. O. Almeida, L. D. Da-silva, E. Oliveira, and A. Perkusich, A Formal Approach for Component Based Embedded Software Modelling and Analysis, Proceedings of the IEEE International Symposium on Industrial Electronics, 2005. ISIE 2005., pp.1337-1342, 2005.
DOI : 10.1109/ISIE.2005.1529126

R. Alur, C. Courcoubetis, and D. Dill, Model-checking for real-time systems, LICS '90, Proceedings., Fifth Annual IEEE Symposium on Logic in Computer Science, pp.414-425, 1990.

I. Aracic, V. Gasiunas, M. Mezini, and K. Ostermann, Transactions on aspect-oriented software development i. chapter An Overview of Caesarj, pp.135-173, 2006.

A. Arnold, Finite Transition Systems: Semantics of Communicating Systems, 1994.

A. Arnold, Nivat's processes and their synchronization, Theoretical Computer Science, vol.281, issue.1-2, pp.31-36, 2002.
DOI : 10.1016/S0304-3975(02)00006-3
URL : http://doi.org/10.1016/s0304-3975(02)00006-3

F. Bachmann, L. Bass, C. Buhman, S. C. Dorda, F. Long et al., Volume II: Technical Concepts of Component-Based Software Engineering, 2000.

G. Balbo, Introduction to Generalized Stochastic Petri Nets, Proceedings of the 7th International Conference on Formal methods for Performance Evaluation, SFM'07, pp.83-131, 2007.
DOI : 10.1007/978-3-540-72522-0_3

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, Proceedings. 26th International Conference on Software Engineering, pp.158-167, 2004.
DOI : 10.1109/ICSE.2004.1317438

S. Becker, The palladio component model, Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering, WOSP/SIPEW '10, pp.257-258, 2010.
DOI : 10.1145/1712605.1712651

S. Becker, W. Hasselbring, A. Paul, M. Boskovic, H. Koziolek-ploski et al., Trustworthy software systems, ACM SIGSOFT Software Engineering Notes, vol.31, issue.6, pp.311-329, 2006.
DOI : 10.1145/1218776.1218781

S. Becker, H. Koziolek, and R. Reussner, Model-Based performance prediction with the palladio component model, Proceedings of the 6th international workshop on Software and performance , WOSP '07, pp.54-65, 2007.
DOI : 10.1145/1216993.1217006

S. Becker, H. Koziolek, and R. Reussner, The Palladio component model for model-driven performance prediction, Journal of Systems and Software, vol.82, issue.1, pp.3-22, 2009.
DOI : 10.1016/j.jss.2008.03.066

S. Bernardi and D. C. Petriu, Comparing two uml profiles for non-functional requirement annotations: the he spt and qos profiles, THE SPT AND QOS PRO- FILES, 2004.

A. Bertolino and R. Mirandola, CB-SPE Tool: Putting Component-Based Performance Engineering into Practice, PROC. 7TH INTERNATIONAL SYMPO- SIUM ON COMPONENT-BASED SOFTWARE ENGINEERING, pp.233-248, 2004.
DOI : 10.1007/978-3-540-24774-6_21
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.9563

A. Bertolino and R. Mirandola, Software performance engineering of component-based systems, Proceedings of the 4th International Workshop On Software And Performance, pp.238-242, 2004.

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

P. Bhoj, S. Singhal, and S. Chutani, Sla management in federated environments, Computer Networks, pp.293-308, 1999.

W. Barry, . Boehm, R. John, H. Brown, M. Kaspar et al., Characteristics of software quality, 1978.

E. Bondarev, M. R. Chaudron, and E. A. De-kock, Exploring performance trade-offs of a JPEG decoder using the deepcompass framework, Proceedings of the 6th international workshop on Software and performance , WOSP '07, pp.153-163, 2007.
DOI : 10.1145/1216993.1217020

E. Bondarev, M. Peter-de-with, J. Chaudron, and . Muskens, Modelling of Input-Parameter Dependency for Performance Predictions of Component-Based Embedded Systems, 31st EUROMICRO Conference on Software Engineering and Advanced Applications, 2005.
DOI : 10.1109/EUROMICRO.2005.40

P. Bremaud, Markov Chains : Gibbs Fields, Monte Carlo Simulation And Queues, 1999.
DOI : 10.1007/978-1-4757-3124-8

S. Chen, Y. Liu, I. Gorton, and A. Liu, Performance prediction of component-based applications, Journal of Systems and Software, vol.74, issue.1, pp.35-43, 2005.
DOI : 10.1016/j.jss.2003.05.005

B. H. Cheng, R. Lemos, H. Giese, P. Inverardi, J. Magee et al., Software engineering for self-adaptive systems, chapter Software Engineering for Self-Adaptive Systems: A Research Roadmap, pp.1-26, 2009.
DOI : 10.1007/978-3-642-02161-9

S. Christensen and T. B. Haagh, Design/CPN Overview of CPN ML Syntax, 1996.

E. Cinlar, Introduction to Stochastic Processes, 1975.

I. Crnkovic, Component-based approach for embedded systems, Proceedings of 9th International Workshop on Component-Oriented Programming, 2004.

L. Marcio, C. , and J. C. Sampaio-do-prado-leite, Using uml to reflect non-functional requirements, Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research, p.2, 2001.

E. Daubert, F. Fouquet, O. Barais, G. Nain, G. Sunye et al., A models@runtime framework for designing and managing Service-Based Applications, 2012 First International Workshop on European Software Services and Systems Research, Results and Challenges (S-Cube), pp.10-11, 2012.
DOI : 10.1109/S-Cube.2012.6225498

P. David and T. Ledoux, Safe dynamic reconfigurations of fractal architectures with fscript, Proceeding of Fractal CBSE Workshop, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00485549

A. K. Alves-de, C. W. Medeiros, and . Günther, Process mining: Using cpn tools to create test logs for mining algorithms, Proceedings of the Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pp.177-190, 2005.

J. Esparza, M. Leucker, and M. Schlund, Learning Workflow Petri Nets, Fundam. Inform, vol.113, pp.205-228, 2011.
DOI : 10.1007/978-3-642-13675-7_13
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.185.1752

F. Fleurey, V. Dehlen, N. Bencomo, B. Morin, and J. Jézéquel, Models in software engineering. chapter Modeling and Validating Dynamic Adaptation, pp.97-108, 2009.

G. Florin and S. Natkin, Generalization of queueing network product form solutions to stochastic Petri nets, IEEE Transactions on Software Engineering, vol.17, issue.2, pp.99-107, 1991.
DOI : 10.1109/32.67591

F. Fouquet, B. Morin, F. Fleurey, O. Barais, N. Plouzeau et al., A dynamic component model for cyber physical systems, Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering, CBSE '12, pp.135-144, 2012.
DOI : 10.1145/2304736.2304759
URL : https://hal.archives-ouvertes.fr/hal-00713769

E. Freeman, E. Freeman, B. Bates, and K. Sierra, Head First Design Patterns, 2004.

S. Frølund and J. Koistinen, Quality of services specification in distributed object systems design, Proceedings of the 4th conference on USENIX Conference on Object- Oriented Technologies and Systems, pp.1-1, 1998.

G. Gallasch and L. M. Kristensen, Comms/CPN: A communication infrastructure for external communication with design/CPN, 3rd Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pp.75-90, 2001.

K. Geihs, M. U. Khan, R. Reichle, A. Solberg, S. Hallsteinsen et al., Modeling of component-based adaptive distributed applications, Proceedings of the 2006 ACM symposium on Applied computing , SAC '06, pp.718-722, 2006.
DOI : 10.1145/1141277.1141440

V. Grassi, R. Mirandola, E. Randazzo, and A. Sabetta, Klaper : An intermediate language for model-driven predictive analysis of performance and reliability. The Common Component Modeling Example, pp.327-356, 2008.

V. Grassi, R. Mirandola, and A. Sabetta, From design to analysis models, Proceedings of the 5th international workshop on Software and performance , WOSP '05, pp.25-36, 2005.
DOI : 10.1145/1071021.1071024

V. Grassi, R. Mirandola, and A. Sabetta, A model-driven approach to performability analysis of dynamically reconfigurable component-based systems, Proceedings of the 6th international workshop on Software and performance , WOSP '07, 2007.
DOI : 10.1145/1216993.1217011

X. Gu, K. Nahrstedt, W. Yuan, D. Wichadakul, and D. Xu, An XML-based Quality of Service Enabling Language for the Web, Special Issue on Multimedia Language for the Web, pp.61-95, 2001.
DOI : 10.1006/jvlc.2001.0227

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

Y. Joseph, M. Y. Halpern, and . Vardi, Model checking vs. theorem proving: A manifesto, 1991.

J. Happe, H. Koziolek, and R. Reussner, Facilitating Performance Predictions Using Software Components, IEEE Software, vol.28, issue.3, pp.27-33, 2011.
DOI : 10.1109/MS.2011.25

T. George, W. T. Heineman, and . Councill, Component-Based Software Engineering: Putting the Pieces Together, 2001.

A. Scott, G. A. Hissam, J. A. Moreno, K. C. Stafford, and . Wallnau, Packaging predictable assembly, In COMPONENT DEPLOYMENT, IFIP/ACM WORKING CONFERENCE, pp.108-124, 2002.

R. K. Jain, The Art of Computer Systems Performance Analysis: Techniques for Experimental Design, Measurement, Simulation, and Modeling, 1991.

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

J. Jézéquel, O. Barais, and F. Fleurey, Model driven language engineering with kermeta, Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III, GTTSE'09, pp.201-221, 2011.

F. Jouault, F. Allilaire, J. Bézivin, and I. Kurtev, ATL: A model transformation tool, Science of Computer Programming, vol.72, issue.1-2, pp.31-39, 2008.
DOI : 10.1016/j.scico.2007.08.002
URL : https://hal.archives-ouvertes.fr/hal-00483363

F. Jouault and I. Kurtev, On the architectural alignment of ATL and QVT, Proceedings of the 2006 ACM symposium on Applied computing , SAC '06, pp.1188-1195, 2006.
DOI : 10.1145/1141277.1141561
URL : https://hal.archives-ouvertes.fr/hal-00483592

E. Keller and H. Ludwig, The wsla framework: Specifying and monitoring service level agreements for web services, Journal of Network and Systems Management, vol.11, 2003.

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

S. Kounev, Performance modeling and evaluation of distributed component-based systems using queueing petri nets. Software Engineering, IEEE Transactions on, vol.32, issue.7, pp.486-502, 2006.

H. Koziolek, Performance evaluation of component-based software systems: A survey . Performance Evaluation, <ce:title>Special Issue on Software and Performance<, pp.634-658, 2010.

H. Koziolek and J. Happe, A QoS Driven Development Process Model for Component-Based Software Systems, Proceedings of the 9th international conference on Component-Based Software Engineering, CBSE'06, pp.336-343, 2006.
DOI : 10.1007/11783565_25

L. Lamport, Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers, 2002.

M. Larsson, K. Wallnau, S. Hissam, J. Hudak, J. Ivers et al., Predictable assembly of substation automation systems: An experiment report, 2002.

M. Ronan and . Laverty, Robocop: Robust open component based software architecture for configurable devices project. Initial specification, ITEA PROJECT 00001 Deliverable, 2002.

E. D. Lazowska, J. Zahorjan, G. S. Graham, and K. C. Sevcik, Quantitative System Performance: Computer System Analysis Using Queueing Network Models, 1984.

N. A. Lynch and M. R. Tuttle, An introduction to input/output automata, CWI Quarterly, vol.2, pp.219-246, 1989.

F. Mallet and R. Simone, MARTE: A Profile for RT/E Systems Modeling, Analysis - and Simulation?, Proceedings of the First International ICST Conference on Simulation Tools and Techniques for Communications Networks and Systems, pp.1-8, 2008.
DOI : 10.4108/ICST.SIMUTOOLS2008.3097
URL : https://hal.archives-ouvertes.fr/inria-00371397

M. M. Muller-olm, D. Schmidt, and B. Steffen, Model-Checking, Proc. SAS, 1999.
DOI : 10.1007/3-540-48294-6_22

C. A. Mattson and A. Messac, Pareto Frontier Based Concept Selection Under Uncertainty, with Visualization, Optimization and Engineering, vol.6, issue.1, pp.85-115, 2005.
DOI : 10.1023/B:OPTE.0000048538.35456.45

J. Mccall, Factors in Software Quality: Preliminary Handbook on Software Quality for an Acquisiton Manager, volume 1-3, General Electric, 1977.

P. Meier, S. Kounev, and H. Koziolek, Automated Transformation of Component-Based Software Architecture Models to Queueing Petri Nets, 2011 IEEE 19th Annual International Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems, pp.339-348, 2011.
DOI : 10.1109/MASCOTS.2011.23

A. Daniel, V. Menasce, and . Almeida, Capacity Planning for Web Services: Metrics, Models, And Methods, 2001.

B. Meyer, Applying 'design by contract', Computer, vol.25, issue.10, pp.2540-51, 1992.
DOI : 10.1109/2.161279
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.7831

B. Meyer, Eiffel: the Language, 1992.

R. Milner, M. Tofte, and D. Macqueen, The Definition of Standard ML, 1997.

M. Mohammad and V. Alagar, TADL - An Architecture Description Language for Trustworthy Component-Based Systems, Proceedings of the 2nd European conference on Software Architecture, ECSA '08, pp.290-297, 2008.
DOI : 10.1007/978-3-540-88030-1_23

M. K. Molloy, Performance Analysis Using Stochastic Petri Nets, IEEE Transactions on Computers, vol.31, issue.9, pp.913-917, 1982.
DOI : 10.1109/TC.1982.1676110

B. Morin, Leveraging Models from Design-time to Runtime to Support Dynamic Variability, 2010.
URL : https://hal.archives-ouvertes.fr/tel-00538548

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, pp.122-132, 2009.
DOI : 10.1109/ICSE.2009.5070514

B. Morin, F. Fleurey, N. Bencomo, J. Jézéquel, A. Solberg et al., An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability, Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems, MoDELS '08, pp.782-796, 2008.
DOI : 10.1007/978-3-540-87875-9_54
URL : https://hal.archives-ouvertes.fr/inria-00468232

A. Mos and J. Murphy, A framework for performance monitoring, modelling and prediction of component oriented distributed systems, Proceedings of the third international workshop on Software and performance , WOSP '02, pp.235-236, 2002.
DOI : 10.1145/584369.584403

P. Muller, F. Fleurey, and J. Jézéquel, Weaving Executability into Object-Oriented Meta-languages, International Conference on Model Driven Engineering Languages and Systems (MoDELS), pp.264-278, 2005.
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/hal-00795095

N. Mulyar, M. P. Wil, and . Van-der-aalst, Towards a pattern language for colored petri nets, 2005.

T. Murata, Petri nets: Properties, analysis and applications, Proceedings of the IEEE NewsletterInfo: 33Published as Proceedings of the IEEE, pp.541-580, 1989.
DOI : 10.1109/5.24143

O. Uml, Profile for Schedulability, Performance and Time (SPT)

M. Ouimet and K. Lundqvist, Formal software verification: Model checking and theorem proving, 2007.

J. D. Poole, Model-driven architecture: Vision, standards and emerging technologies, ECOOP 2001, Workshop on Metamodeling and Adaptive Object Models, 2001.

F. Rahimian, T. Le-nguyen-huu, and S. Girdzijauskas, Localityawareness in a peer-to-peer publish/subscribe network, Proceedings of the 12th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems, DAIS'12, pp.45-58, 2012.

E. E. Roubtsova and M. Aksit, Extension of petri nets by aspects to apply the model driven architecture approach, Preliminary Proceedings of the 1st International Workshop on Aspect-Based and Model-Based Separation of Concerns in Software Systems (ABMB), 2005.

G. Salazar-zárate, P. Botella, and A. Dahanayake, Uml and the unified process. chapter Introducing Non-Functional Requirements in Uml, pp.116-128, 2003.

S. Saudrais, N. Plouzeau, and O. Barais, Integration of Time Issues into Component-Based Applications, Proceedings of the 10th international conference on Component-based software engineering, CBSE'07, pp.173-188, 2007.
DOI : 10.1007/978-3-540-73551-9_12
URL : https://hal.archives-ouvertes.fr/inria-00477509

C. H. Sauer, M. Reiser, and E. A. Macnair, RESQ, Proceedings of the June 13-16, 1977, national computer conference on, AFIPS '77, pp.977-986, 1977.
DOI : 10.1145/1499402.1499579

L. Schruben, Analytical simulation modeling, 2008 Winter Simulation Conference, pp.113-121, 2008.
DOI : 10.1109/WSC.2008.4736061

J. Skene, D. D. Lamanna, and W. Emmerich, Precise service level agreements, Proceedings. 26th International Conference on Software Engineering, pp.179-188, 2004.
DOI : 10.1109/ICSE.2004.1317440
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.1698

H. Gi, S. , and K. Lee, spac (web services performance analysis center): performance analysis and estimation tool of web services, Proceedings of the 3rd International Conference On Business Process Management, BPM'05, pp.109-119, 2005.

J. Stafford and K. C. Wallnau, A technology for predictable assembly from certifiable components, 2003.

C. Szyperski, Component Software: Beyond Object-Oriented Programming, 1998.

O. The, Meta Object Facility (MOF) Core Specification Version 2, 2006.

M. P. Wil and . Van-der-aalst, The application of petri nets to workflow management, Journal of Circuits, Systems, and Computers, vol.8, issue.1, pp.21-66, 1998.

H. Vangheluwe, X. Sun, and E. Bodden, Domain-specific modelling with atom3, Proceedings of the th OOPSLA Workshop on Domain-Specific Modeling, 2004.

M. Veran and D. Potier, QNAP 2: A Portable Environment For Queueing Systems Modelling, 1984.
URL : https://hal.archives-ouvertes.fr/inria-00076243

J. Warmer and A. Kleppe, The Object Constraint Language: Getting Your Models Ready for MDA, 2003.

M. Westergaard and . Access, 0: a high-level interface to coloured petri net models, Proceedings of the 32nd International Conference On Applications And Theory of Petri Nets, PETRI NETS'11, pp.328-337, 2011.

M. Westergaard, Rfc: Conveniences in cpn tools, 2012.

M. Woodside and D. Petriu, Capabilities of the uml profile for schedulability performance and time (spt), SPT) WORKSHOP SIVOES-SPT RTAS, 2004.

D. Xu and K. E. Nygard, Threat-driven modeling and verification of secure software using aspect-oriented Petri nets, IEEE Transactions on Software Engineering, vol.32, issue.4, pp.265-278, 2006.
DOI : 10.1109/TSE.2006.40

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

L. Zhu and I. Gorton, UML Profiles for Design Decisions and Non-Functional Requirements, Second Workshop on Sharing and Reusing Architectural Knowledge, Architecture, Rationale, and Design Intent (SHARK/ADI'07: ICSE Workshops 2007), p.41, 2007.
DOI : 10.1109/SHARK-ADI.2007.14

S. Zschaler, Formal specification of non-functional properties of component-based software systems, Software & Systems Modeling, vol.33, issue.6, 2010.
DOI : 10.1007/s10270-009-0115-6