. [. Bibliography, S. Aquilani, P. Balsamo, and . Inverardi, Performance analysis at the software architectural design level. Performance Evaluation, pp.147-178, 2001.

]. D. Ast03 and . Astels, Test-Driven Development: A Practical Guide, 2003.

A. Bertolino, G. Angelis, L. Frantzen, and A. Polini, Model-Based Generation of Testbeds for Web Services, Testing of Software and Communicating Systems, pp.266-282, 2008.
DOI : 10.1109/MIC.2005.21

. Bbc-+-12-]-c, A. Bartolini, A. Bertolino, G. Ciancone, R. De-angelis et al., Non-functional analysis of service choreographies, Proc. of PESOS. IEEE-CS, 2012.

A. Bartolini, A. Bertolino, G. Ciancone, R. De-angelis, and . Mirandola, Apprehensive QoS monitoring of Service choreographies, Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, 2012.
DOI : 10.1145/2480362.2480713
URL : https://hal.archives-ouvertes.fr/hal-00821238

D. Bianculli, W. Binder, and M. L. Drago, Automated performance assessment for service-oriented middleware, Proceedings of the 19th international conference on World wide web, WWW '10, pp.141-150, 2010.
DOI : 10.1145/1772690.1772706

M. [. Balsamo, V. Bernardo, and . Grassi, Quantitative analysis of software architectures, 2008.

K. Beck, Test-driven development: by example, 2003.

G. Islam, A. Koliadis, A. Krishna, and . Ghose, Managing business process risk using rich organizational models, Proceedings of the 31st Annual International Computer Software and Applications Conference, pp.509-520, 2007.

S. Balsamo, P. Inverardi, and C. Mangano, An approach to performance evaluation of software architectures, Proceedings of the first international workshop on Software and performance , WOSP '98, pp.178-190, 1998.
DOI : 10.1145/287318.287354

F. Besson, P. Moura, F. Kon, and D. Milojicic, Rehearsal: a framework for automated testing of web service choreographies The research leading to these results has received funding from HP Brasil under the Baile Project and from the European Community's Seventh Framework Programme FP7, Brazilian Conference on Software: Theory and Practice, 2007.

[. Balsamo and M. Simeoni, Deriving performance models from software architecture specifications, In: Proceedings of the European Simulation Multiconference, Analytical and Stochastic Modelling Techniques, 2001.

A. Ciancone, M. L. Drago, A. Filieri, V. Grassi, and R. Mirandola, Klapersuite: an integrated model-driven environment for non-functional requirements analysis of component-based systems, Proc of TOOLS, pp.99-114, 2011.

J. A. Cms-+-03-]-senthilanand-chandrasekaran, G. S. Miller, B. Silver, A. P. Arpinar, and . Sheth, Performance Analysis and Simulation of Composite Web Services, Electronic Markets, vol.13, issue.2, pp.120-132, 2003.
DOI : 10.1080/1019678032000067217

J. Cardoso, J. Miller, A. Sheth, and J. Arnold, Quality of service for workflows and web service processes, Web Semantics: Science, Services and Agents on the World Wide Web, vol.1, issue.3, pp.281-308, 2002.
DOI : 10.1016/j.websem.2004.03.001

G. Csm-+-02-]-senthilanand-chandrasekaran, J. A. Silver, J. Miller, A. P. Cardoso, and . Sheth, Web service technologies and their synergy with simulation, Proceedings of the 2002 Winter Simulation Conference, pp.606-615, 2002.

G. De-angelis, A. Bertolino, and A. Polini, Validation and verification policies for governance of service choreographies, Proc. of the 8th International Conference on Web Information Systems and Technologies, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00867735

M. E. Delamaro, MutaçMutaç?Mutação de interface: Um critériocrit´critério de adequaçadequaç?adequação interprocedimental para o teste de integraçintegraç?integração, 1997.
DOI : 10.11606/t.76.1997.tde-26112008-130813

]. A. Dpb-+-11, C. Marco, A. Pompilio, A. Bertolino, F. Calabròcalabr-`-calabrò et al., Yet another meta-model to specify non-functional properties, Proc. of QASBA, pp.9-16, 2011.

S. Freeman and N. Pryce, Growing Object-Oriented Software, Guided by Tests

M. Greiler, H. Gross, and A. Van-deursen, Evaluation of online testing for services, Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems, PESOS '10, pp.36-42, 2010.
DOI : 10.1145/1808885.1808893

J. Grundy, J. Hosking, L. Li, and N. Liu, Performance engineering of service compositions, Proceedings of the 2006 international workshop on Service-oriented software engineering , SOSE '06, pp.26-32, 2006.
DOI : 10.1145/1138486.1138493

V. Grassi, R. Mirandola, E. Randazzo, and A. Sabetta, The common component modeling example. chapter KLAPER: An Intermediate Language for Model-Driven Predictive Analysis of Performance and Reliability, pp.327-356, 2008.

A. Goldman and Y. Ngoko, On Graph Reduction for QoS Prediction of Very Large Web Service Compositions, 2012 IEEE Ninth International Conference on Services Computing, pp.258-265
DOI : 10.1109/SCC.2012.21
URL : https://hal.archives-ouvertes.fr/hal-00714138

A. Goldman, Y. Ngoko, and D. Milojicic, An analytical approach for predicting QoS of web services choreographies, Proceedings of the 10th International Workshop on Middleware for Grids, Clouds and e-Science, MGC '12, p.page submitted, 2012.
DOI : 10.1145/2405136.2405140
URL : https://hal.archives-ouvertes.fr/hal-00739179

]. A. Hbc-+-12, A. Hamida, A. Bertolino, G. Calabròcalabr-`-calabrò, N. De-angelis et al., Monitoring service choreographies from multiple sources, Proc. of 4th International Workshop on Software Engineering for Resilient Systems, pp.134-149, 2012.

J. Hammond, R. Rawlings, and A. Hall, Will it work? In RE, pp.102-109, 2001.

F. [. Jouault, J. Allilaire, I. Michael, and A. Jackson, ATL, Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications , OOPSLA '06, pp.31-39, 1995.
DOI : 10.1145/1176617.1176691
URL : https://hal.archives-ouvertes.fr/hal-00448120

M. Y. Jamoussi, J. Driss, H. Hajjami, and B. Ghézalagh´ghézala, Qos assurance for servicebased applications using discrete-event simulation What is extreme programming? Available on, 2010. [Jef11] Ron Jeffries, 1992.

R. M. Keller, Formal verification of parallel programs, Communications of the ACM, vol.19, issue.7, pp.371-384, 1976.
DOI : 10.1145/360248.360251

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.
DOI : 10.1145/359545.359563

J. A. Miller, J. Cardoso, and G. Silver, Using simulation to facilitate effective workflow adaptation, Proceedings 35th Annual Simulation Symposium. SS 2002, pp.177-181, 2002.
DOI : 10.1109/SIMSYM.2002.1000151

G. Meszaros, xUnit Test Patterns: Refactoring Test Code, 2007.

E. Mancini, U. Villano, M. Rak, and R. Torella, A simulationbased framework for autonomic web services, Proceedings of the 11th International Conference on Parallel and Distributed Systems ICPADS '05, pp.433-437, 2005.

S. Narayanan and S. A. Mcilraith, Simulation, verification and automated composition of web services, Proceedings of the eleventh international conference on World Wide Web , WWW '02, pp.77-88, 2002.
DOI : 10.1145/511446.511457

C. Peltz, Web services orchestration and choreography, Computer, vol.36, issue.10, pp.46-52, 2003.
DOI : 10.1109/MC.2003.1236471

R. S. Pressman, Software Engineering: A Practitioner's Approach. McGraw-Hill Higher Education, 2001.

[. Paternòpatern, C. Paternò, and . Santoro, Preventing user errors by systematic analysis of deviations from the system task model, International Journal of Human-Computer Studies, vol.56, issue.2, pp.225-245, 2002.
DOI : 10.1006/ijhc.2001.0523

. T. Tcw-+-07-]-w, Z. Tsai, X. Cao, R. Wei, and . Paul, Qian Huang, and Xin Sun. Modeling and simulation in service-oriented software development, Simulation, vol.83, issue.1, pp.7-32, 2007.