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
ArchJava, Proceedings of the 24th international conference on Software engineering , ICSE '02, pp.187-197, 2002. ,
DOI : 10.1145/581339.581365
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
Chameleon project -SEA group ,
Chameleon project -SEA group ,
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
A Development Process for Self-adapting Service Oriented Applications, Proc. of ICSOC, 2007. ,
DOI : 10.1007/978-3-540-74974-5_41
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
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
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
MOBIUS, Securing the Next Generation of Java-Based Global Computers, 2005. ,
A Framework for Analyzing and Testing the Performance of Software Services, Proc. of the 3rd ISoLA, 2008. ,
DOI : 10.1007/11940197_3
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
Eclipse Modeling Framework, 2003. ,
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. ,
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
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
Design and evaluation of a wide-area event notification service, Foundations of Intrusion Tolerant Systems, p.283, 2003. ,
Home page on line at: http://connect-forever ,
Formal Analysis and Verification of Self-Healing Systems, In FASE, pp.139-153, 2010. ,
DOI : 10.1007/978-3-642-12029-9_10
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
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
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
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
The Future of Software: Adaptation and Dependability, pp.1-31, 2009. ,
DOI : 10.1007/11663430_14
Precise service level agreements, Proceedings. 26th International Conference on Software Engineering, pp.179-188, 2004. ,
DOI : 10.1109/ICSE.2004.1317440
Describing software architecture styles using graph grammars. Software Engineering, IEEE Transactions on, vol.24, issue.7, pp.521-533, 1998. ,
Towards self-evolving context-aware services, Proc. of Context-aware Adaptation Mechanisms for Pervasive and Ubiquitous Services (CAMPUS), DisCoTec'08, 2008. ,
Dynamic structure in software architectures, ACM SIGSOFT Software Engineering Notes, vol.21, issue.6, pp.3-14, 1996. ,
DOI : 10.1145/250707.239104
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
Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms, pp.6-11, 2006. ,
Profile for Modeling and Analysis of Real-Time and Embedded systems, 2009. ,
Home page on line at: http://www ,
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
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
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
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
Applications and services for the B3G/4G era, IEEE Wireless Communications, vol.11, issue.5, p.11, 2004. ,
DOI : 10.1109/MWC.2004.1351675
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 ,