S. Bistarelli and F. S. Santini, Soft Constraints for Quality Aspects in Service Oriented Architectures, Fourth European Young Researchers Workshop on Service Oriented Computing, 2009.
DOI : 10.4204/EPTCS.2.5

M. Bruno, G. Canfora, M. D. Penta, G. Esposito, and V. Mazza, Using Test Cases as Contract to Ensure Service Compliance Across Releases, Proc. of the 3rd Intl. Conf. in Service-Oriented Computing, 2005.
DOI : 10.1007/11596141_8

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, 2005.
DOI : 10.1145/1068009.1068189

J. Cardoso, J. Miller, A. Sheth, and J. Arnold, Modeling quality of service for workflows and web service processes, 2002.

D. M. Cohen, S. R. Dalal, M. L. Fredman, and G. C. Patton, The AETG system: an approach to testing based on combinatorial design, IEEE Transactions on Software Engineering, vol.23, issue.7, pp.437-444, 1997.
DOI : 10.1109/32.605761

M. B. Cohen, M. B. Dwyer, and J. Shi, Constructing Interaction Test Suites for Highly-Configurable Systems in the Presence of Constraints: A Greedy Approach, IEEE Transactions on Software Engineering, vol.34, issue.5, pp.633-650, 2008.
DOI : 10.1109/TSE.2008.50

S. Y. Hwang, H. Wang, J. Tang, and J. Srivastava, A probabilistic approach to modeling and estimating the QoS of web-services-based workflows, Information Sciences, vol.177, issue.23, pp.5484-5503, 2007.
DOI : 10.1016/j.ins.2007.07.011

D. Jackson, Software Abstractions: Logic, Language, and Analysis, 2006.

M. Jaring and J. Bosch, Representing Variability in Software Product Lines: A Case Study, Proc. of the Second Intl. Conf. on Software Product Lines, pp.15-36, 2002.
DOI : 10.1007/3-540-45652-X_2

K. Kang, S. Cohen, J. Hess, W. Novak, and S. Peterson, Feature-oriented domain analysis (foda) feasibility study. Software Engineering Institute, 1990.

A. Kattepur, S. Sen, B. Baudry, A. Benveniste, and C. Jard, Variability Modeling and QoS Analysis of Web Services Orchestrations, 2010 IEEE International Conference on Web Services, 2010.
DOI : 10.1109/ICWS.2010.40
URL : https://hal.archives-ouvertes.fr/inria-00561164

J. Kienzle, N. Guelfi, and S. Mustafiz, Crisis Management Systems: A Case Study for Aspect-Oriented Modeling, 2009.
DOI : 10.1007/978-3-642-16086-8_1

D. R. Kuhn and D. D. Wallace, Software fault interactions and implications for software testing, IEEE Transactions on Software Engineering, vol.30, issue.6, pp.418-421, 2004.
DOI : 10.1109/TSE.2004.24
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.95.5094

R. Mietzner, A. Metzger, F. Leymann, and K. Pohl, Variability modeling to support customization and deployment of multi-tenant-aware Software as a Service applications, 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems, pp.18-25, 2009.
DOI : 10.1109/PESOS.2009.5068815

J. Misra and W. R. Cook, Computation orchestration: A basis for wide-area computing. Software and Systems Modeling, pp.83-110, 2007.

A. Paschke and M. Bichler, Knowledge representation concepts for automated SLA management, Decision Support Systems, vol.46, issue.1, pp.187-205, 2008.
DOI : 10.1016/j.dss.2008.06.008

M. D. Penta, G. Canfora, and G. Esposito, Search-based testing of service level agreements, Proceedings of the 9th annual conference on Genetic and evolutionary computation , GECCO '07, 2007.
DOI : 10.1145/1276958.1277174

G. Perrouin, S. Sen, J. Klein, B. Baudry, and Y. Le-traon, Automatic and scalable t-wise test case generation strategies for software product lines, Proc. of Intl. Conf. on Software Testing, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00477523

S. Rosario, A. Benveniste, S. Haar, and C. Jard, Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations, IEEE Transactions on Services Computing, vol.1, issue.4, pp.187-200, 2008.
DOI : 10.1109/TSC.2008.17
URL : https://hal.archives-ouvertes.fr/inria-00638213

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

V. Tosic and B. Pagurek, On Comprehensive Contractual Descriptions of Web Services, 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, pp.444-449, 2005.
DOI : 10.1109/EEE.2005.94

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