, Economic and Social Impact of Software & Software-Based Services, 2011.

, The Future of Cloud Computing, 2010.

. Gartner, 2012 Cloud Computing Planning Guide http://my. gartner.com/portal/server.pt?open=512&objID=249&mode= 2&PageID=864059&resId=1837017&ref=Browse, 2012.

. Forbes, Cloud Computing's Vendor Lock-In Problem: Why the Industry is, 2011.

G. Stoneburner, A. Goguen, and A. Feringa, Recommendations of the National Institute of Standards and Technology, 2002.

S. Padhi, H. Pi, I. Sfiligoi, and F. Wuerthwein, Use of late-binding technology for workload management system in CMS, Nuclear Science Symposium Conference Record, 2009.

M. S. Lund, B. Solhaug, and K. Stølen, Model-Driven Risk Analysis: The CORAS Approach, 2010.

A. Omerovic and K. Stølen, Interval-Based Uncertainty Handling in Model-Based Prediction of System Quality, Second International Conference on Advances in System Simulation (SIMUL), pp.99-108, 2010.

M. Armbrust, A. Fox, R. Griffith, A. D. Joseph, R. H. Katz et al., Above the Clouds: A Berkeley View of Cloud Computing, 2009.

M. Colombo, E. Di-nitto, M. D. Penta, D. Distante, and M. Zuccalá, Speaking a Common Language: A Conceptual Model for Describing Service-Oriented Systems, ICSOC 2005, 2005.

P. Mohagheghi, A. Berre, A. Henry, F. Barbier, and A. Sadovykh, REMICS-REuse and Migration of Legacy Applications to Interoperable Cloud Services-REMICS Consortium, in ServiceWave, pp.195-196, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01912863

D. Ardagna, B. Panicucci, and M. Passacantando, A Game Theoretic Formulation of the Service Provisioning Problem in Cloud Systems, pp.177-186, 2011.

. Bitpipe, , 2011.

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

G. Booch, J. Rumbaugh, and I. Jacobson, Unified Modeling Language User Guide, The, 2005.

M. Omg, Object Facility (MOF) Core Specification Version 2.0, 2006.

, The Eclipse Foundation, Eclipse Modeling Framework (EMF), 2011.

A. Sadovykh, C. Hein, B. Morin, P. Mohagheghi, and A. J. Berre, REMICS-REuse and Migration of Legacy Applications to Interoperable Cloud Services, in ServiceWave, pp.315-316, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01912863

. Omg, Architecture Driven Modernization

, The IEEE International Workshop on the Future of Software Engineering FOR, 2011.

H. Koziolek, Performance Evaluation of Component-based Software Systems: A Survey, Perform. Eval, vol.67, issue.8, pp.634-658, 2010.

A. Ciancone, A. Filieri, M. L. Drago, R. Mirandola, and V. Grassi, KlaperSuite: An Integrated Model-Driven Environment for Reliability and Performance Analysis of Component-Based Systems, TOOLS, ser. LNCS, vol.6705, pp.99-114, 2011.

C. A. Petri, Kommunikation mit Automaten, 1962.

R. C. Cheung, COMPSAC '78. The IEEE Computer Society's Second International, Computer Software and Applications Conference, pp.565-570, 1978.

A. Immonen and E. Niemela, Survey of Reliability and Availability Prediction Methods from the Viewpoint of Software Architecture, Software and Systems Modeling, vol.7, pp.49-65, 2008.

M. Woodside, D. C. Petriu, D. B. Petriu, H. Shen, T. Israr et al., Performance by Unified Model Analysis (PUMA), WOSP, pp.1-12, 2005.

S. Becker, H. Koziolek, and R. Reussner, Model-Based Performance Prediction with the Palladio Component Model, WOSP, pp.54-65, 2007.

V. Cortellessa, A. Martens, R. Reussner, and C. Trubiani, A Process to Effectively Identify "Guilty" Performance Antipatterns, 2010.

D. E. Goldberg, Genetic Algorithms in Search Optimization and Machine Learning, 1989.

B. Eames, S. Neema, and R. Saraswat, DesertFD: a Finitedomain Constraint Based Tool for Design Space Exploration, Design Automation for Embedded Systems, vol.14, pp.43-74, 2010.

D. Petcu, Portability and Interoperability between Clouds: Challenges and Case Study," in Towards a Service-Based Internet, ser. Lecture Notes in Computer Science, vol.6994, pp.62-74, 2011.

D. Bernstein, E. Ludvigson, K. Sankar, S. Diamond, and M. Morrow, Blueprint for the Intercloud-Protocols and Formats for Cloud Computing Interoperability, Internet and Web Applications and Services, 2009. ICIW '09. Fourth International Conference on, pp.328-336, 2009.
DOI : 10.1109/iciw.2009.55

R. Buyya, R. Ranjan, and R. N. Calheiros, InterCloud: Utility-Oriented Federation of Cloud Computing Environments for Scaling of Application Services, ICA3PP (1), ser. Lecture Notes in Computer Science, vol.6081, pp.13-31, 2010.

A. Celesti, F. Tusa, M. Villari, and A. Puliafito, Three-Phase Cross-Cloud Federation Model: The Cloud SSO Authentication, Advances in Future Internet (AFIN), 2010 Second International Conference on, pp.94-101, 2010.

K. Keahey, M. Tsugawa, A. Matsunaga, and J. A. Fortes, Sky computing, Internet Computing, IEEE, vol.13, issue.5, pp.43-51, 2009.
DOI : 10.1109/mic.2009.94
URL : https://hal.archives-ouvertes.fr/inria-00551206

D. Petcu, G. Macariu, S. Panica, and C. Craciun, Portable cloud applicationsFrom theory to practice, 2012.
DOI : 10.1016/j.future.2012.01.009

. Rightscale, Multicloud platform