J. Aldrich, C. Chambers, and D. Notkin, Architectural Reasoning in ArchJava, ECOOP '02: Proceedings of the 16th European Conference on Object-Oriented Programming, pp.334-367, 2002.
DOI : 10.1007/3-540-47993-7_15

J. Aldrich, C. Chambers, and D. Notkin, ArchJava, Proceedings of the 24th international conference on Software engineering , ICSE '02, pp.187-197, 2002.
DOI : 10.1145/581339.581365

R. Allen and D. Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology, vol.6, issue.3, pp.213-249, 1997.
DOI : 10.1145/258077.258078

URL : https://hal.archives-ouvertes.fr/hal-00444067

M. Autili, P. D. Benedetto, and P. Inverardi, Chameleon project -SEA group

M. Autili, P. D. Benedetto, and P. Inverardi, Chameleon project -SEA group

M. Autili, P. D. Benedetto, and P. Inverardi, Context-Aware Adaptive Services: The PLASTIC Approach, Lecture Notes in Computer Science, vol.5503, pp.124-139, 2009.
DOI : 10.1007/978-3-642-00593-0_9

M. Autili, L. Berardinelli, V. Cortellessa, A. D. Marco, D. Di-ruscio et al., A Development Process for Self-adapting Service Oriented Applications, Proc. of ICSOC, 2007.
DOI : 10.1007/978-3-540-74974-5_41

M. Baldauf, S. Dustdar, and F. Rosenberg, A survey on context-aware systems, International Journal of Ad Hoc and Ubiquitous Computing, vol.2, issue.4, pp.263-277, 2007.
DOI : 10.1504/IJAHUC.2007.014070

S. Balsamo, A. D. Marco, P. Inverardi, and M. Simeoni, Model-based performance prediction in software development: a survey, IEEE Transactions on Software Engineering, vol.30, issue.5, pp.295-310, 2004.
DOI : 10.1109/TSE.2004.9

L. Baresi, R. Heckel, S. Thone, and D. Varro, Style-based refinement of dynamic software architectures, Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004), p.155, 2004.
DOI : 10.1109/WICSA.2004.1310699

G. Barthe, MOBIUS, Securing the Next Generation of Java-Based Global Computers, 2005.

A. Bertolino, G. D. Angelis, A. D. Marco, P. Inverardi, A. Sabetta et al., A Framework for Analyzing and Testing the Performance of Software Services, Proc. of the 3rd ISoLA, 2008.
DOI : 10.1007/11940197_3

A. Bucchiarone, P. Pelliccione, C. Vattani, and O. Runge, Self-Repairing systems modeling and verification using AGG, 2009 Joint Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture, pp.181-190, 2009.
DOI : 10.1109/WICSA.2009.5290804

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.563.9700

F. Budinsky, D. Steinberg, E. Merks, R. Ellersick, and T. Grose, Eclipse Modeling Framework, 2003.

M. Caporuscio, A. Carzaniga, and A. Wolf, Design and evaluation of a support service for mobile, wireless publish/subscribe applications. Software Engineering, IEEE Transactions on, vol.29, issue.12, pp.1059-1071, 2003.

M. Caporuscio, A. D. Marco, and P. Inverardi, Model-based system reconfiguration for dynamic performance management, Journal of Systems and Software, vol.80, issue.4, pp.455-473, 2007.
DOI : 10.1016/j.jss.2006.07.039

M. Caporuscio, P. Raverdy, H. Moungla, and V. Issarny, ubiSOAP: A Service Oriented Middleware for Seamless Networking, Proc. of 6th ICSOC, 2008.
DOI : 10.1007/11916246_19

URL : https://hal.archives-ouvertes.fr/inria-00415143

A. Carzaniga, D. S. Rosenblum, and A. L. Wolf, Design and evaluation of a wide-area event notification service, Foundations of Intrusion Tolerant Systems, p.283, 2003.

C. Fet-project, Home page on line at: http://connect-forever

H. Ehrig, C. Ermel, O. Runge, A. Bucchiarone, and P. Pelliccione, Formal Analysis and Verification of Self-Healing Systems, In FASE, pp.139-153, 2010.
DOI : 10.1007/978-3-642-12029-9_10

I. Georgiadis, J. Magee, and J. Kramer, Self-organising software architectures for distributed systems, Proceedings of the first workshop on Self-healing systems , WOSS '02, pp.33-38, 2002.
DOI : 10.1145/582128.582135

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, pp.103-114, 2007.
DOI : 10.1145/1216993.1217011

D. Hirsch, P. Inverardi, and U. Montanari, Graph grammars and constraint solving for software architecture styles, Proceedings of the third international workshop on Software architecture , ISAW '98, pp.69-72, 1998.
DOI : 10.1145/288408.288426

R. Hirschfeld, P. Costanza, and O. Nierstrasz, Context-oriented Programming., The Journal of Object Technology, vol.7, issue.3, pp.125-151, 2008.
DOI : 10.5381/jot.2008.7.3.a4

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.114.3310

P. Inverardi and M. Tivoli, The Future of Software: Adaptation and Dependability, pp.1-31, 2009.
DOI : 10.1007/11663430_14

J. Skene, 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

D. and L. Metayer, Describing software architecture styles using graph grammars. Software Engineering, IEEE Transactions on, vol.24, issue.7, pp.521-533, 1998.

M. Autili, P. Di-benedetto, P. Inverardi, and D. A. Tamburri, Towards self-evolving context-aware services, Proc. of Context-aware Adaptation Mechanisms for Pervasive and Ubiquitous Services (CAMPUS), DisCoTec'08, 2008.

J. Magee and J. Kramer, Dynamic structure in software architectures, ACM SIGSOFT Software Engineering Notes, vol.21, issue.6, pp.3-14, 1996.
DOI : 10.1145/250707.239104

G. C. Necula, Proof-carrying code, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '97, pp.106-119, 1997.
DOI : 10.1145/263699.263712

O. Uml, Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms, pp.6-11, 2006.

O. Uml, Profile for Modeling and Analysis of Real-Time and Embedded systems, 2009.

P. Ist-project, Home page on line at: http://www

F. Raimondi, J. Skene, and W. Emmerich, Efficient online monitoring of web-service SLAs, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, SIGSOFT '08/FSE-16, 2008.
DOI : 10.1145/1453101.1453125

B. Schilit, N. Adams, and R. Want, Context-aware computing applications, IEEE Workshop on Mobile Computing Systems and Applications, 1994.
DOI : 10.1109/mcsa.1994.512740

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.5833

G. Taentzer, M. Goedicke, and T. Meyer, Dynamic Change Management by Distributed Graph Transformation: Towards Configurable Distributed Systems, TAGT'98: Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations, pp.179-193, 2000.
DOI : 10.1007/978-3-540-46464-8_13

J. Yi-hong, E. Ho-suh, and S. Kim, Context-aware systems: A literature review and classification, Expert Systems with Applications, vol.36, issue.4, pp.8509-8522, 2009.
DOI : 10.1016/j.eswa.2008.10.071

T. Zahariadis and B. Doshi, Applications and services for the B3G/4G era, IEEE Wireless Communications, vol.11, issue.5, p.11, 2004.
DOI : 10.1109/MWC.2004.1351675

M. Autili and D. Di-informatica-università-degli-studi-di-l-'aquila, Italy e-mail: marco.autili@di.univaq.it Paola Inverardi Dipartimento di Informatica -Università degli Studi di L'Aquila, Italy e-mail: paola.inverardi@di.univaq