]. R. Alur, C. Courcoubetis, D. Dill-]-r, T. A. Alur, C. Henzinger-ardagna et al., Reactive modules in Formal Methods in System Design Rethinking the use of models in software architecture Global and local QoS constraints guarantee in web service selection Adaptive service composition in flexible processes It usually works: The temporal logic of stochastic systems A queuing model for service selection of multi-classes QoS-aware web services Approximate symbolic model checking of continuous-time markov chains A timed extension of WSCoL, 4th International Conference on the Quality of Software-Architectures Proc. of the IEEE International Conference on Web Services Proc. 7th International Conference on Computer Aided Verification, CAV 95 Proccedings of the IEEE International Conference on Web Services Proc. 10th International Conference on Concurrency Theory, CONCUR 99 IEEE International Conference on Web Services, pp.2-34, 1993.

L. Baresi, D. Bianculli, C. Ghezzi, S. Guinea, and P. Spoletini, Validation of web service compositions, IET Software, vol.1, issue.6, pp.219-232, 2007.
DOI : 10.1049/iet-sen:20070027

L. Baresi and S. Guinea, Towards Dynamic Monitoring of WS-BPEL Processes, Proceedings of the 3rd International Conference on Service Oriented Computing, 2005.
DOI : 10.1007/11596141_21

L. Baresi, E. D. Nitto, and C. Ghezzi, Toward open-world software: Issues and challenges, Computer, vol.39, issue.10, pp.36-43, 2006.
DOI : 10.1109/MC.2006.362

R. Berbner, M. Spahn, N. Repp, O. Heckmann, and R. Steinmetz, Heuristics for QoS-aware Web Service Composition, 2006 IEEE International Conference on Web Services (ICWS'06), pp.72-82, 2006.
DOI : 10.1109/ICWS.2006.69

J. O. Berger, Statistical Decision Theory and Bayesian Analysis, 1985.
DOI : 10.1007/978-1-4757-4286-2

C. Bettini, D. Maggiorini, and D. Riboni, Distributed Context Monitoring for the Adaptation of Continuous Services, World Wide Web, vol.27, issue.1, pp.503-528, 2007.
DOI : 10.1007/s11280-007-0028-7

A. Bianco and L. De-alfaro, Model checking of probabilistic and nondeterministic systems, Proc. of the 15th Conference on Foundations of Software Technology and Theoretical Comp. Science, FSTTCS 95, pp.499-513, 1995.
DOI : 10.1007/3-540-60692-0_70

D. Bianculli and C. Ghezzi, Monitoring conversational web services, 2nd international workshop on Service oriented software engineering in conjunction with the 6th ESEC/FSE joint meeting, IW-SOSWE '07, pp.15-21, 2007.
DOI : 10.1145/1294928.1294933

G. Bolch, S. Greiner, H. De-meer, and K. S. Trivedi, Queuing Network and Markov Chains, 1998.

B. Boonea, S. Van-hoeckea, G. Van-seghbroecka, N. Jonckheereb, V. Jonckersb et al., SALSA: QoS-aware load balancing for autonomous service brokering, Journal of Systems and Software, vol.83, issue.3, 2010.
DOI : 10.1016/j.jss.2009.09.033

R. Calinescu, General-Purpose Autonomic Computing, Autonomic Computing and Networking, pp.3-30, 2009.
DOI : 10.1007/978-0-387-89828-5_1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.426.9330

R. Calinescu, Reconfigurable service-oriented architecture for autonomic computing, International Journal On Advances in Intelligent Systems, vol.2, issue.1, pp.38-57, 2009.

R. Calinescu and M. Kwiatkowska, CADS*: Computer-Aided Development of Self-* Systems, Fundamental Approaches to Software Engineering, pp.421-424, 2009.
DOI : 10.1007/978-3-642-00593-0_29

R. Calinescu and M. Z. Kwiatkowska, Using quantitative analysis to implement autonomic IT systems, 2009 IEEE 31st International Conference on Software Engineering, pp.100-110, 2009.
DOI : 10.1109/ICSE.2009.5070512
URL : https://hal.archives-ouvertes.fr/inria-00458053

G. Canfora, M. D. Penta, R. Esposito, and M. L. Villani, An approach for QoS-aware service composition based on genetic algorithms, Proceedings of the 2005 conference on Genetic and evolutionary computation , GECCO '05, pp.1069-1075, 2005.
DOI : 10.1145/1068009.1068189

G. Canfora, M. D. Penta, R. Esposito, and M. L. Villani, Qosaware replanning of composite web services, Proccedings of the IEEE International Conference on Web Services, 2005.

G. Canfora, M. D. Penta, R. Esposito, and M. L. Villani, A framework for QoS-aware binding and re-binding of composite web services, Journal of Systems and Software, vol.81, issue.10, pp.1754-1769, 2008.
DOI : 10.1016/j.jss.2007.12.792

L. Cao, J. Cao, and M. Li, Genetic algorithm utilized in costreduction driven web service selection, Proceedings of the International Conference on Computational Intelligence and Security, CIS 2005, pp.679-686, 2005.

V. Cardellini, E. Casalicchio, V. Grassi, F. L. Presti, and R. Mirandola, Qos-driven runtime adaptation of service oriented architectures, Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium, ESEC/FSE '09, pp.131-140, 2009.
DOI : 10.1145/1595696.1595718

V. Cardellini, E. Casalicchio, V. Grassi, and R. Mirandola, A Framework for Optimal Service Selection in Broker-Based Architectures with Multiple QoS Classes, 2006 IEEE Services Computing Workshops, pp.105-112, 2006.
DOI : 10.1109/SCW.2006.1

V. Cardellini, E. Casalicchio, V. Grassi, and F. L. Presti, Scalable service selection for web service composition supporting differentiated qos classes, Dip. di Informatica, Sistemi e Produzione, 2007.

G. Chafle, P. Doshi, J. Harney, S. Mittal, and B. Srivastava, Improved Adaptation of Web Service Compositions Using Value of Changed Information, IEEE International Conference on Web Services (ICWS 2007), pp.784-791, 2007.
DOI : 10.1109/ICWS.2007.104

B. H. Cheng, H. Giese, P. Inverardi, J. Magee, and R. De-lemos, 08031 ? software engineering for self-adaptive systems: A research road map, Software Engineering for Self-Adaptive Systems, ser. Dagstuhl Seminar Proceedings, 2008.

F. Ciesinski and M. Größergr¨größer, On Probabilistic Computation Tree Logic, Validation of Stochastic Systems -A Guide to Current Research, pp.147-188, 2004.
DOI : 10.1007/978-3-540-24611-4_5
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.141.6916

A. Clark, S. Gilmore, J. Hillston, and M. Tribastone, Stochastic Process Algebras, 7th Intern. School on Formal Methods, SFM, ser. LNCS, pp.132-179, 2007.
DOI : 10.1007/978-3-540-72522-0_4

M. Colombo, E. D. Nitto, and M. Mauri, SCENE: A Service Composition Execution Environment Supporting Dynamic Changes Disciplined Through Rules, LNCS, vol.4294, p.191, 2006.
DOI : 10.1007/11948148_16

R. Colvin, L. Grunske, and K. Winter, Probabilistic Timed Behavior Trees, Proceedings of the International Conference on Integrated Formal Methods, pp.156-175, 2007.
DOI : 10.1007/978-3-540-73210-5_9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.1585

R. Colvin, L. Grunske, and K. Winter, Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems, Journal of Systems and Software, vol.81, issue.12, pp.2163-2182, 2008.
DOI : 10.1016/j.jss.2008.04.035

A. Dan, D. Davis, R. Kearney, A. Keller, R. King et al., Web services on demand: WSLA-driven automated management, IBM Systems Journal, vol.43, issue.1, pp.136-158, 2004.
DOI : 10.1147/sj.431.0136

M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, Property specification patterns for finite-state verification, Proc. 21th International Conference on Software Engineering (ICSE99), pp.411-420, 1999.

I. Epifani, C. Ghezzi, R. Mirandola, and G. Tamburrelli, Model evolution by run-time parameter adaptation, 2009 IEEE 31st International Conference on Software Engineering
DOI : 10.1109/ICSE.2009.5070513
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.477.4012

R. Frei, G. D. Serugendo, and J. Barata, Designing selforganization for evolvable assembly systems, Second IEEE Intern. Conf. on Self-Adaptive and Self-Organizing Systems, SASO 2008, pp.97-106, 2008.
DOI : 10.1109/saso.2008.20
URL : http://archive-ouverte.unige.ch/unige:48315

S. Frolund and J. Koistinen, Quality-of-service specification in distributed object systems, Distributed Systems Engineering, vol.5, issue.4, pp.179-202, 1998.
DOI : 10.1088/0967-1846/5/4/005

S. Gallotti, C. Ghezzi, R. Mirandola, and G. Tamburrelli, Quality Prediction of Service Compositions through Probabilistic Model Checking, Proc. 4th International Conference on the Quality of Software-Architectures, pp.119-134, 2008.
DOI : 10.1007/978-3-540-87879-7_8

R. Garcia, J. Jarvi, A. Lumsdaine, J. Siek, and J. Willcock, A comparative study of language support for generic programming

C. Ghezzi and G. Tamburrelli, Predicting Performance Properties for Open Systems with KAMI, QoSA '09: Proceedings of the 5th International Conference on the Quality of Software Architectures, pp.70-85, 2009.
DOI : 10.1109/TSE.2008.30

S. Gilmore and J. Hillston, The PEPA workbench: A tool to support a process algebra-based approach to performance modelling, Proceedings of the 7th International Conference on Computer Performance Evaluation, Modeling Techniques and Tools, pp.353-368, 1994.
DOI : 10.1007/3-540-58021-2_20

V. Grassi, Architecture-based reliability prediction for serviceoriented computing, Workshop on Architecting Dependable Systems, WADS, ser, pp.279-299, 2004.
DOI : 10.1007/11556169_13

V. Gruhn and R. Laue, Patterns for Timed Property Specifications, Electronic Notes in Theoretical Computer Science, vol.153, issue.2, pp.117-133, 2006.
DOI : 10.1016/j.entcs.2005.10.035
URL : http://doi.org/10.1016/j.entcs.2005.10.035

L. Grunske, Specification patterns for probabilistic quality properties, Proceedings of the 13th international conference on Software engineering , ICSE '08, pp.31-40, 2008.
DOI : 10.1145/1368088.1368094

L. Grunske, K. Winter, and R. Colvin, Timed Behavior Trees and Their Application to Verifying Real-Time Systems, 2007 Australian Software Engineering Conference (ASWEC'07), pp.211-222, 2007.
DOI : 10.1109/ASWEC.2007.49

L. Grunske and P. Zhang, Monitoring probabilistic properties, Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium, ESEC/FSE '09, pp.183-192, 2009.
DOI : 10.1145/1595696.1595724

H. Guo, J. Huai, H. Li, T. Deng, Y. Li et al., ANGEL: Optimal Configuration for High Available Service Composition, IEEE International Conference on Web Services (ICWS 2007), 2007.
DOI : 10.1109/ICWS.2007.41

H. Hansson and B. Jonsson, A logic for reasoning about time and reliability, Formal Aspects of Computing, vol.2, issue.1, pp.512-535, 1994.
DOI : 10.1007/BF01211866

D. Harel and R. Marelly, Playing with time: on the specification and execution of time-enriched LSCs, Proceedings. 10th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems, pp.193-202, 2002.
DOI : 10.1109/MASCOT.2002.1167077

J. Harney and P. Doshi, Speeding up adaptation of web service compositions using expiration times, Proceedings of the 16th international conference on World Wide Web , WWW '07, pp.1023-1032, 2007.
DOI : 10.1145/1242572.1242710

M. C. Huebscher and J. A. Mccann, A survey of autonomic computing???degrees, models, and applications, ACM Computing Surveys, vol.40, issue.3, pp.1-28, 2008.
DOI : 10.1145/1380584.1380585

D. Hull, K. Wolstencroft, R. Stevens, C. Goble, M. Pocock et al., Taverna: a tool for building and running workflows of services, Nucleic Acids Research, vol.34, issue.Web Server, pp.729-732, 2006.
DOI : 10.1093/nar/gkl320

D. N. Jansen, H. Hermanns, and J. Katoen, A Probabilistic Extension of UML Statecharts, Proceedings of 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2002, pp.355-374, 2002.
DOI : 10.1007/3-540-45739-9_21

D. N. Jansen, H. Hermanns, and J. Katoen, A QoS-Oriented Extension of UML Statecharts, Proceedings of 6th International Conference -The Unified Modeling Language. Model Languages and Applications. UML 2003, pp.76-91, 2003.
DOI : 10.1007/978-3-540-45221-8_7

D. N. Jansen, J. Katoen, M. Oldenkamp, M. Stoelinga, and I. Zapreev, How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison, Hardware and Software: Verification and Testing, ser. LNCS, K. Yorav, pp.69-85, 2008.
DOI : 10.1007/978-3-540-77966-7_9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.81.7564

M. B. Juric, B. Mathew, and P. Sarang, Business Process Execution Language for Web Services, 2004.

D. Karastoyanova and F. Leymann, BPEL'n'Aspects: Adapting Service Orchestration Logic, 2009 IEEE International Conference on Web Services, pp.222-229, 2009.
DOI : 10.1109/ICWS.2009.75

J. Katoen, T. Kemna, I. S. Zapreev, and D. N. Jansen, Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking, Tools and Algorithms for the Construction and Analysis of Systems TACAS 2007, Proceedings, ser. LNCS, O. Grumberg and M. Huth, pp.87-101, 2007.
DOI : 10.1007/978-3-540-71209-1_9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.3016

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

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

J. M. Ko, C. O. Kim, and I. Kwon, Quality-of-service oriented web service composition algorithm and planning architecture, Journal of Systems and Software, vol.81, issue.11, pp.2079-2090, 2008.
DOI : 10.1016/j.jss.2008.04.044

S. Konrad and B. H. Cheng, Real-time specification patterns, 27th International Conference on Software Engineering (ICSE 05, pp.372-381, 2005.
DOI : 10.1109/icse.2005.1553580

R. Koymans, Specifying real-time properties with metric temporal logic, Real-Time Systems, vol.XI, issue.4, pp.255-299, 1990.
DOI : 10.1007/BF01995674

J. Kramer and J. Magee, Self-Managed Systems: an Architectural Challenge, Future of Software Engineering (FOSE '07), pp.259-268, 2007.
DOI : 10.1109/FOSE.2007.19

M. Z. Kwiatkowska, G. Norman, D. Parker, and J. Sproston, Performance analysis of probabilistic timed automata using digital clocks, Formal Methods in System Design, vol.29, issue.1, pp.33-78, 2006.
DOI : 10.1007/s10703-006-0005-2

M. Z. Kwiatkowska, G. Norman, and D. Parker, Probabilistic symbolic model checking with PRISM: a hybrid approach, International Journal on Software Tools for Technology Transfer, vol.24, issue.2, pp.128-142, 2004.
DOI : 10.1007/s10009-004-0140-2

M. Z. Kwiatkowska, G. Norman, and D. Parker, Symmetry Reduction for Probabilistic Model Checking, Computer Aided Verification, 18th International Conference, CAV 2006, Proceedings, ser. LNCS, pp.234-248, 2006.
DOI : 10.1007/11817963_23

M. Z. Kwiatkowska, G. Norman, J. Sproston, and F. Wang, Symbolic model checking for probabilistic timed automata, Information and Computation, vol.205, issue.7, pp.1027-1077, 2007.
DOI : 10.1016/j.ic.2007.01.004
URL : http://doi.org/10.1016/j.ic.2007.01.004

D. D. Lamanna, J. Skene, and W. Emmerich, SLAng: A language for defining service level agreements, The Ninth IEEE Workshop on Future Trends of Distributed Computing Systems, 2003. FTDCS 2003. Proceedings., pp.100-107, 2003.
DOI : 10.1109/FTDCS.2003.1204317

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

Y. Ma and C. Zhang, Quick convergence of genetic algorithm for QoS-driven web service selection, Computer Networks, vol.52, issue.5, pp.1093-1104, 2008.
DOI : 10.1016/j.comnet.2007.12.003

M. A. Marsan, Stochastic Petri nets: An elementary introduction, Advances in Petri Nets, pp.1-29, 1989.
DOI : 10.1007/3-540-52494-0_23
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.110.2081

M. Marzolla and R. Mirandola, Performance Prediction of Web Service Workflows, International Conference on Quality of Software Architectures, pp.127-144, 2007.
DOI : 10.1145/1071021.1071025

D. A. Menascé, E. Casalicchio, and V. Dubey, A heuristic approach to optimal service selection in service oriented architectures, Proceedings of the 7th international workshop on Software and performance, WOSP '08, pp.13-24, 2008.
DOI : 10.1145/1383559.1383562

D. A. Menascé and V. Dubey, Utility-based QoS Brokering in Service Oriented Architectures, IEEE International Conference on Web Services (ICWS 2007), pp.422-430, 2007.
DOI : 10.1109/ICWS.2007.186

D. A. Menascé, J. M. Ewing, H. Gomaa, S. Malek, and J. P. Sousa, A framework for utility-based service oriented design in SASSY, Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering, WOSP/SIPEW '10, pp.27-36, 2010.
DOI : 10.1145/1712605.1712612

D. A. Menascé, H. Ruan, and H. Gomaa, QoS management in service-oriented architectures, Performance Evaluation, vol.64, issue.7-8, pp.646-663, 2007.
DOI : 10.1016/j.peva.2006.10.001

O. Moser, F. Rosenberg, and S. Dustdar, Non-intrusive monitoring and service adaptation for WS-BPEL, Proceeding of the 17th international conference on World Wide Web , WWW '08, pp.815-824, 2008.
DOI : 10.1145/1367497.1367607
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.139.6506

E. D. Nitto, C. Ghezzi, A. Metzger, M. P. Papazoglou, and K. Pohl, A journey to highly dynamic, self-adaptive servicebased applications, Autom. Softw. Eng, vol.15, pp.3-4, 2008.

T. Oinn, M. Greenwood, M. Addis, N. Alpdemir, J. Ferris et al., Taverna: lessons in creating a workflow environment for the life sciences, Concurrency and Computation: Practice and Experience, pp.1067-1100, 2006.
DOI : 10.1002/cpe.993

M. P. Papazoglou and W. Heuvel, Service oriented architectures: approaches, technologies and research issues, The VLDB Journal, vol.46, issue.10, pp.389-415, 2007.
DOI : 10.1007/s00778-007-0044-3

G. N. Rodrigues, D. S. Rosenblum, and S. Uchitel, Using scenarios to predict the reliability of concurrent componentbased software systems, Fundamental Approaches to Software Engineering, 8th Intern. Conference, FASE 2005, Proceedings, ser. LNCS, M. Cerioli, pp.111-126, 2005.

F. Saffre, R. Tateson, J. Halloy, M. Shackleton, and J. Deneubourg, Aggregation Dynamics in Overlay Networks and Their Implications for Self-Organized Distributed Applications, The Computer Journal, vol.52, issue.4, 2008.
DOI : 10.1093/comjnl/bxn017

A. Sahai, V. Machiraju, M. Sayal, A. P. Van-moorsel, and F. Casati, Automated SLA Monitoring for Web Services, Proceedings of the 13th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2002, pp.28-41, 2002.
DOI : 10.1007/3-540-36110-3_6

N. Sato and K. S. Trivedi, Stochastic Modeling of Composite Web Services for Closed-Form Analysis of Their Performance and Reliability Bottlenecks, ICSOC, ser. LNCS, pp.107-118, 2007.
DOI : 10.1007/978-3-540-74974-5_9

M. A. Serhani, R. Dssouli, A. Hafid, and H. A. Sahraoui, A QoS broker based architecture for efficient Web services selection, IEEE International Conference on Web Services (ICWS'05), pp.113-120, 2005.
DOI : 10.1109/ICWS.2005.13

J. M. Sobel and D. P. Friedman, An introduction to reflectionoriented programming, Proc. of Reflection96, 1996.

S. Su, C. Zhang, and J. Chen, An Improved Genetic Algorithm for Web Services Selection, Proceedings of the 7th IFIP WG
DOI : 10.1007/11758549_14

T. Suto, J. T. Bradley, and W. J. Knottenbelt, Performance Trees: A New Approach to Quantitative Performance Specification, 14th IEEE International Symposium on Modeling, Analysis, and Simulation, pp.303-313, 2006.
DOI : 10.1109/MASCOTS.2006.39

V. Tosic, B. Pagurek, and K. Patel, WSOL -A language for the formal specification of classes of service for web services, Proceedings of the International Conference on Web Services, ICWS 2003, pp.375-381, 2003.

L. Wang, N. J. Dingle, and W. J. Knottenbelt, Natural Language Specification of Performance Trees, Proceedings of the 5th European Performance Engineering Workshop, pp.141-151, 2008.
DOI : 10.1007/978-3-540-87412-6_11

H. L. Younes and R. G. Simmons, Statistical probabilistic model checking with a focus on time-bounded properties, Information and Computation, vol.204, issue.9, pp.1368-1409, 2006.
DOI : 10.1016/j.ic.2006.05.002

L. Zeng, B. Benatallah, A. H. Ngu, M. Dumas, J. Kalagnanam et al., QoS-aware middleware for Web services composition, IEEE Transactions on Software Engineering, vol.30, issue.5, pp.311-327, 2004.
DOI : 10.1109/TSE.2004.11

C. Zhang, S. Su, and J. Chen, DiGA: Population diversity handling genetic algorithm for QoS-aware web services selection, Computer Communications, vol.30, issue.5, pp.1082-1090, 2007.
DOI : 10.1016/j.comcom.2006.11.002