Academia.eduAcademia.edu

Outline

Title
Abstract
Illustrative Case
Overview of Modelling Dimensions
Illustrative Case Study
Evaluation -Case Studies
Discussions and Future Work
Overview of the Rainbow Framework
Conclusion and Future Work
Background and Related Work
Case Studies
Future Work
Conclusion
Dependency Analysis
Discussions
Conclusion and Perspectives
Overview
Discussion
Conclusions and Future Work
Conclusions
Conclusions and Outlook
Introduction
Case Study: Icred
Overview of Refresh
Related Work
References

Software engineering for self-adaptive systems: A research roadmap

Profile image of Massimo TivoliMassimo Tivoli

2009

Abstract

The goal of this roadmap paper is to summarize the state-of-the-art and to identify critical challenges for the systematic software engineering of self-adaptive systems. The paper is partitioned into four parts, one for each of the identified essential views of self-adaptation: modelling dimensions, requirements, engineering, and assurances. For each view, we present the state-of-the-art and the challenges that our community must address.

Related papers

10431 Report--Software Engineering for Self-Adaptive Systems
Gabriel Tamura

2011

Abstract Softwares ability to adapt at run-time to changing user needs, system intrusions or faults, changing operational environment, and resource variability has been proposed as a means to cope with the complexity of todays software-intensive systems. Such self-adaptive systems can configure and reconfigure themselves, augment their functionality, continually optimise themselves, protect themselves, and re-cover themselves, while keeping most of their complexity hidden from the user and administrator.

View PDFchevron_right
10431 Abstracts Collection – Software Engineering for Self-Adaptive Systems
Hausi A Muller

2011

From 24.10. to 29.10.2010, the Dagstuhl Seminar 10431 ``Software Engineering for Self-Adaptive Systems'' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

View PDFchevron_right
Report on the Dagstuhl Seminar on Software Engineering for Self-Adaptive Systems
Gabriel Tamura

Abstract. Softwares ability to adapt at run-time to changing user needs, system intrusions or faults, changing operational environment, and resource variability has been proposed as a means to cope with the complexity of todays software-intensive systems. Such self-adaptive systems can configure and reconfigure themselves, augment their functionality, continually optimise themselves, protect themselves, and re-cover themselves, while keeping most of their complexity hidden from the user and administrator.

View PDFchevron_right
Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances
Gabriel Tamura

Lecture Notes in Computer Science, 2017

The important concern for modern software systems is to become more cost-effective, while being versatile, flexible, resilient, dependable, energy-efficient, customisable, configurable and self-optimising when reacting to run-time changes that may occur within the system itself, its environment or requirements. One of the most promising approaches to achieving such properties is to equip software systems with self-managing capabilities using self-adaptation mechanisms. Despite recent advances in this area, one key aspect of self-adaptive systems that remains to be tackled in depth is the provision of assurances, i.e., the collection, analysis and synthesis of evidence that the system satisfies its stated functional and non-functional requirements during its operation in the presence of self-adaptation. The provision of assurances for selfadaptive systems is challenging since run-time changes introduce a high degree of uncertainty. This paper on research challenges complements previous roadmap papers on software engineering for self-adaptive systems covering a different set of topics, which are related to assurances, namely, perpetual assurances, composition and decomposition of assurances, and assurances obtained from control theory. This research challenges paper is one of the many results of the Dagstuhl Seminar 13511 on Software Engineering for Self-Adaptive Systems: Assurances which took place in December 2013.

View PDFchevron_right
Reflecting on self-adaptive software systems
Danny Weyns

2009

Abstract Self-adaptability has been proposed as an effective approach to automate the complexity associated with the management of modern-day software systems. While over the past decade we have witnessed significant progress in the manner in which such systems are designed, constructed, and deployed, there is still a lack of consensus among the engineers on some of the fundamental underlying concepts.

View PDFchevron_right

References (421)

  1. Feiler, P., Gabriel, R.P., Goodenough, J., Linger, R., Longstaff, T., Kazman, R., Klein, M., Northrop, L., Schmidt, D., Sullivan, K., Wallnau, K.: Ultra-large-scale systems: The software challenge of the future. Technical report, Software Engineer- ing Institute (2006), http://www.sei.cmu.edu/uls/
  2. Andersson, J., de Lemos, R., Malek, S., Weyns, D.: Towards a classification of self- adaptive software system. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol. 5525. Springer, Heidelberg (2009)
  3. Seetharaman, G., Lakhotia, A., Blasch, E.P.: Unmanned Vehicles Come of Age: The DARPA Grand Challenge. Computer 39, 26-29 (2006)
  4. Hirschfeld, R., Costanza, P., Nierstrasz, O.: Context-oriented programming. Jour- nal of Object Technology 7, 125-151 (2008)
  5. Jackson, M.: The meaning of requirements. Annals of Software Engineering 3, 5-21 (1997)
  6. Laprie, J.C.: From dependability to resilience. In: International Conference on De- pendable Systems and Networks (DSN 2008), Anchorage, AK, USA, pp. G8-G9 (2008)
  7. Cheng, B.H.C., Atlee, J.M.: Research directions in requirements engineering. In: FOSE 2007: 2007 Future of Software Engineering, pp. 285-303. IEEE Computer Society, Minneapolis (2007)
  8. Fickas, S., Feather, M.S.: Requirements monitoring in dynamic environments. In: IEEE International Symposium on Requirements Engineering (RE 1995), pp. 140- 147 (1995)
  9. Savor, T., Seviora, R.: An approach to automatic detection of software failures in realtime systems. In: IEEE Real-Time Technology and Applications Symposium, pp. 136-147 (1997)
  10. Sutcliffe, A., Fickas, S., Sohlberg, M.M.: PC-RE a method for personal and con- text requirements engineering with some experience. Requirements Engineering Journal 11, 1-17 (2006)
  11. Liaskos, S., Lapouchnian, A., Wang, Y., Yu, Y., Easterbrook, S.: Configuring com- mon personal software: a requirements-driven approach. In: 13th IEEE Interna- tional Conference on Requirements Engineering (RE 2005), pp. 9-18. IEEE Com- puter Society, Los Alamitos (2005)
  12. Lapouchnian, A., Yu, Y., Liaskos, S., Mylopoulos, J.: Requirements-driven design of autonomic application software. In: CASCON 2006: Proceedings of the 2006 Conference of the Center for Advanced Studies on Collaborative Research, p. 7. ACM, New York (2006)
  13. Goldsby, H.J., Sawyer, P., Bencomo, N., Hughes, D., Cheng, B.H.C.: Goal-based modeling of dynamically adaptive system requirements. In: 15th Annual IEEE International Conference on the Engineering of Computer Based Systems (ECBS) (2008)
  14. Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal directed requirements ac- quisition. In: Selected Papers of the Sixth International Workshop on Software Specification and Design (IWSSD), pp. 3-50 (1993)
  15. Yu, E.S.K.: Towards modeling and reasoning support for early-phase requirements engineering. In: 3rd IEEE International Symposium on Requirements Engineering (RE 1997), Washington, DC, USA, p. 226 (1997)
  16. Harel, D., Marelly, R.: Come Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2005)
  17. Zhang, J., Cheng, B.H.C.: Using temporal logic to specify adaptive program seman- tics. Journal of Systems and Software (JSS), Architecting Dependable Systems 79, 1361-1369 (2006)
  18. Easterbrook, S., Chechik, M.: A framework for multi-valued reasoning over incon- sistent viewpoints. In: Proceedings of International Conference on Software Engi- neering (ICSE 2001), pp. 411-420 (2001)
  19. Sabetzadeh, M., Easterbrook, S.: View merging in the presence of incompleteness and inconsistency. Requirements Engineering Journal 11, 174-193 (2006)
  20. Svahnberg, M., van Gurp, J., Bosch, J.: A taxonomy of variability realization tech- niques. Software: Practice and Experience 35, 705-754 (2005)
  21. Whittle, J., Sawyer, P., Bencomo, N., Cheng, B.: A language for self-adaptive system requirement. In: SOCCER Workshop (2008)
  22. Finkelstein, A.: Requirements reflection. Dagstuhl Presentation (2008)
  23. Zhang, J., Cheng, B.H.C.: Model-based development of dynamically adaptive soft- ware. In: Proceedings of International Conference on Software Engineering (ICSE 2006), Shanghai,China (2006)
  24. Robinson, W.N.: Monitoring web service requirements. In: Proceedings of Interna- tional Requirements Engineering Conference (RE 2003), pp. 65-74 (2003)
  25. Kramer, J., Magee, J.: Self-managed systems: an architectural challenge. In: FOSE 2007: 2007 Future of Software Engineering, Minneapolis, MN, USA, pp. 259-268. IEEE Computer Society, Los Alamitos (2007)
  26. Maes, P.: Computional reflection. PhD thesis, Vrije Universiteit (1987)
  27. Kon, F., Costa, F., Blair, G., Campbell, R.H.: The case for reflective middleware. Communications of the ACM 45, 33-38 (2002)
  28. Coulson, G., Blair, G., Grace, P., Joolia, A., Lee, K., Ueyama, J.: A generic compo- nent model for building systems software. ACM Transactions on Computer Systems (2008)
  29. Robinson, W.: A requirements monitoring framework for enterprise systems. Re- quirements Engineering 11, 17-24 (2006)
  30. Tanner, J.A.: Feedback control in living prototypes: A new vista in control engi- neering. Medical and Biological Engineering and Computing 1(3), 333-351 (1963), http://www.springerlink.com/content/rh7wx0675k5mx544/
  31. Dumont, G., Huzmezan, M.: Concepts, methods and techniques in adaptive control. In: Proceedings American Control Conference (ACC 2002), Anchorage, AK, USA, vol. 2, pp. 1137-1150 (2002)
  32. Brun, Y., Di Marzo Serugendo, G., Gacek, C., Giese, H., Kienle, H., Litiou, M., Müller, H., Pezzè, M., Shaw, M.: Engineering self-adaptive systems through feed- back loops. In: Cheng, B.H., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. Lecture Notes in Computer Sci- ence Hot Topics, vol. 5525 (2009)
  33. Dobson, S., Denazis, S., Fernández, A., Gaïti, D., Gelenbe, E., Massacci, F., Nixon, P., Saffre, F., Schmidt, N., Zambonelli, F.: A survey of autonomic communications. ACM Transactions Autonomous Adaptive Systems (TAAS) 1(2), 223-259 (2006)
  34. Burns, R.: Advanced Control Engineering. Butterworth-Heinemann (2001)
  35. Dorf, R.C., Bishop, R.H.: Modern Control Systems, 10th edn. Prentice-Hall, En- glewood Cliffs (2005)
  36. Perrow, C.: Normal Accidents: Living with High-Risk Technologies. Princeton Uni- versity Press, Princeton (1999)
  37. Söderström, T., Stoica, P.: System Identification. Prentice-Hall, Englewood Cliffs (1988)
  38. Liu, Y., Cukic, B., Fuller, E., Yerramalla, S., Gururajan, S.: Monitoring tech- niques for an online neuro-adaptive controller. Journal of Systems and Software (JSS) 79(11), 1527-1540 (2006) References
  39. Andersson, J., et al.: An Adaptive High-Performance Service Architecture. In: ETAPS Workshop on Software Composition Electronic Notes Theoretical Computer Science, vol. 114 (2005)
  40. Bradbury, J.S., et al.: A Survey Of Self-Management In Dynamic Software Architecture Specifications. In: Garlan, D., Kramer, J., Wolf, A. (eds.) ACM SIGSOFT Workshop on Self-Managed Systems (WOSS 2004), pp. 28-33 (2004)
  41. Buckley, J., Mens, T., Zenger, M., Rashid, A., Kniesel, G.: Towards A Taxonomy of Software Change. Journal of Software Maintenance and Evolution, 309-332 (September 2005)
  42. Cheng, B.H.C., et al.: Software Engineering for Self-Adaptive Systems: A Research Road Map. In: Cheng, B.H.C., et al. (eds.) Software Engineering for Self-Adaptive Systems. 08031 Dagstuhl Seminar. Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, Germany (2008)
  43. Dobson, S., Denazis, S., et al.: A Survey of Autonomic Communications. ACM Transac- tions on Autonomous and Adaptive Systems 1(2), 223-259 (2006)
  44. ERTICO. Intelligent Transportation Systems for Europe, http://www.ertico.com/
  45. Fuggetta, A., Picco, G.P., Vigna, G.: Understanding Code Mobility. IEEE Trans. on Soft- ware Engineering 24, 342-361 (1998)
  46. Gómez-Pérez, A.: Evaluation of Ontologies. International Journal of Intelligent Sys- tems 16, 391-409 (2001)
  47. Haesevoets, R., et al.: Managing Agent Interactions with Context-Driven Dynamic Or- ganizations. In: Weyns, D., Brueckner, S.A., Demazeau, Y. (eds.) EEMMAS 2007. LNCS, vol. 5049, pp. 166-186. Springer, Heidelberg (2008)
  48. ITS. Intelligent Transportation Society of America, http://www.itsa.org/
  49. Kistler, J.J., Satyanarayanan, M.: Disconnected Operation in the Coda File System. ACM Transactions on Computer Systems 10(1) (Feburary 1992)
  50. Kuenning, G.H., Popek, G.J.: Automated Hoarding for Mobile Computers. In: ACM Symp. on Operating Systems Principles, St. Malo, France (October 1997)
  51. van Lamsweerde, A.: Goal-Oriented Requirements Engineering: A Guided Tour. In: IEEE International Symposium on Requirements Engineering, Toronto, Canada (August 2001)
  52. Laprie, J.C.: From Dependability to Resilience. In: International Conference on Depend- able Systems & Networks (DSN 2008), Anchorage, Alaska, June 2008, pp. G8-G9 (2008)
  53. de Lemos, R.: Architecting Web Services Applications for Improving Availability. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems III. LNCS, vol. 3549, pp. 69-91. Springer, Heidelberg (2005)
  54. Malek, S., et al.: A Framework for Ensuring and Improving Dependability in Highly Dis- tributed Systems. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting De- pendable Systems III. LNCS, vol. 3549, pp. 173-193. Springer, Heidelberg (2005)
  55. Malek, S., Seo, C., Ravula, S., Petrus, B., Medvidovic, N.: Reconceptualizing a Family of Heterogeneous Embedded Systems via Explicit Architectural Support. In: International Conference on Software Engineering (ICSE 2007), Minneapolis, Minnesota (May 2007)
  56. Mckinley, P.K., Sadjadi, S.M., Kasten, E.P., Cheng, B.H.C.: Composing Adaptive Soft- ware. IEEE Computer 37(7), 56-64 (2004)
  57. Mikic-Rakic, M., Malek, S., Medvidovic, N.: Architecture-Driven Software Mobility in Support of QoS Requirements. In: International Workshop on Software Architectures and Mobility (SAM), Leipzig, Germany (May 2008)
  58. Popovici, A., et al.: Dynamic Weaving for Aspect-oriented Programming. In: International Conference on Aspect-Oriented Software Development (AOSD 2002), Enschede, Nether- lands, April 2002, pp. 141-147 (2002)
  59. Weinsberg, Y., Ben-Shaul, I.: A Programming Model and System Support for Discon- nected-Aware Applications on Resource-Constrained Devices. In: International Confer- ence on Software Engineering (ICSE 2002), Orlando, FL (2002)
  60. Weyns, D., et al.: Environments for multiagent systems, state-of-the-art and research chal- lenges. In: Weyns, D., Van Dyke Parunak, H., Michel, F. (eds.) E4MAS 2004. LNCS, vol. 3374, pp. 1-47. Springer, Heidelberg (2005) References
  61. Abelson, H., Allen, D., Coore, D., Hanson, C., Homsy, G., Thomas, F., Knight, J., Nagpal, R., Rauch, E., Sussman, G.J., Weiss, R.: Amorphous computing. Commu- nications of the ACM 43(5), 74-82 (2000)
  62. Diao, Y., Hellerstein, J.L., Parekh, S., Griffith, R., Kaiser, G., Phung, D.: Control theory foundation for self-managing computing systems. IEEE Journal on Selected Areas in Communications 23(12), 2213-2222 (2005)
  63. Di Marzo-Serugendo, G., Gleizes, M.P., Karageorgos, A.: Self-organisation in MAS. Knowledge Engineering Review 20(2), 165-189 (2005)
  64. Brun, Y., Medvidovic, N.: Fault and adversary tolerance as an emergent property of distributed systems' software architectures. In: 2nd ACM International Workshop on Engineering Fault Tolerant Systems (EFTS 2007), Dubrovnik, Croatia, pp. 38- 43 (2007)
  65. Feiler, P., Gabriel, R.P., Goodenough, J., Linger, R., Longstaff, T., Kazman, R., Klein, M., Northrop, L., Schmidt, D., Sullivan, K., Wallnau, K.: Ultra-large-scale systems: The software challenge of the future. Technical report, Software Engineer- ing Institute (2006), http://www.sei.cmu.edu/uls/
  66. Ottino, J.M.: Engineering complex systems. Nature 427(6973), 399-400 (2004)
  67. Brown, G., Cheng, B.H., Goldsby, H., Zhang, J.: Goal-oriented specification of adaptation requirements engineering in adaptive systems. In: ACM 2006 Interna- tional Workshop on Self-Adaptation and Self-Managing Systems (SEAMS 2006), Shanghai, China, pp. 23-29 (2006)
  68. Richter, U., Mnif, M., Branke, J., Müller-Schloer, C., Schmeck, H.: Towards a generic observer/controller architecture for organic computing. In: Hochberger, C., Liskowsky, R. (eds.) INFORMATIK 2006: Informatik für Menschen. GI-Edition - Lecture Notes in Informatics, vol. P-93, pp. 112-119. Gesellschaft für Informatik (2006)
  69. Garlan, D., Cheng, S.W., Schmerl, B.: Increasing system dependability through architecture-based self-repair. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems. LNCS, vol. 2677. Springer, Heidelberg (2003)
  70. Liu, H., Parashar, M.: Accord: a programming framework for autonomic applica- tions. IEEE Transactions on Systems, Man, and Cybernetics 36(3), 341-352 (2006)
  71. Peper, C., Schneider, D.: Component engineering for adaptive ad-hoc systems. In: ACM 2008 International Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2008), Leipzig, Germany, pp. 49-56 (2008)
  72. Tanner, J.A.: Feedback control in living prototypes: A new vista in control engi- neering. Medical and Biological Engineering and Computing 1(3), 333-351 (1963), http://www.springerlink.com/content/rh7wx0675k5mx544/
  73. Hellerstein, J.L., Diao, Y., Parekh, S., Tilbury, D.M.: Feedback Control of Com- puting Systems. John Wiley & Sons, Chichester (2004)
  74. Magee, J., Kramer, J.: Dynamic structure in software architectures. In: 4th ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE 1996), San Francisco, CA, USA, pp. 3-14. ACM Press, New York (1996)
  75. Oreizy, P., Gorlick, M.M., Taylor, R.N., Heimbigner, D., Johnson, G., Medvidovic, N., Quilici, A., Rosenblum, D.S., Wolf, A.L.: An architecture-based approach to self-adaptive software. IEEE Intelligent Systems 14(3), 54-62 (1999)
  76. Cheng, S.W., Garlan, D., Schmerl, B.: Making self-adaptation an engineering re- ality. In: Babaoglu, Ö., Jelasity, M., Montresor, A., Fetzer, C., Leonardi, S., van Moorsel, A., van Steen, M. (eds.) SELF-STAR 2004. LNCS, vol. 3460, pp. 158-173.
  77. Springer, Heidelberg (2005)
  78. Kramer, J., Magee, J.: Self-managed systems: An architectural challenge. In: Future of Software Engineering (FOSE 2007), Minneapolis, MN, USA, pp. 259-268. IEEE Computer Society, Los Alamitos (2007)
  79. Royce, W.W.: Managing the development of large software systems. In: 9th ACM/IEEE International Conference on Software Engineering (ICSE 1970), pp. 328-338 (1970)
  80. Boehm, B.W.: A spiral model of software development and enhancement. IEEE Computer 21(5), 61-72 (1988)
  81. Lehman, M.M.: Software's future: Managing evolution. IEEE Software 15(1), 40-44 (1998)
  82. Dobson, S., Denazis, S., Fernández, A., Gaïti, D., Gelenbe, E., Massacci, F., Nixon, P., Saffre, F., Schmidt, N., Zambonelli, F.: A survey of autonomic communications. ACM Transactions Autonomous Adaptive Systems (TAAS) 1(2), 223-259 (2006)
  83. Nilsson, N.J.: Principles of Artificial Intelligence. Tioga Press, Palo Alto (1980)
  84. Gat, E.: Three-layer Architectures, pp. 195-210. MIT/AAAI Press, Cambridge (1997)
  85. Burns, R.: Advanced Control Engineering. Butterworth-Heinemann (2001)
  86. Dorf, R.C., Bishop, R.H.: Modern Control Systems, 10th edn. Prentice-Hall, En- glewood Cliffs (2005)
  87. Müller, H.A., Pezzè, M., Shaw, M.: Visibility of control in adaptive systems. In: Second International Workshop on Ultra-Large-Scale Software-Intensive Systems (ULSSIS 2008), Workshop at 30th IEEE/ACM International Conference on Soft- ware Engineering (ICSE 2008), Leipzig, Germany (May 2008)
  88. Astrom, K., Wittenmark, B.: Adaptive Control, 2nd edn. Addison-Wesley, Reading (1995)
  89. Söderström, T., Stoica, P.: System Identification. Prentice-Hall, Englewood Cliffs (1988)
  90. Dumont, G., Huzmezan, M.: Concepts, methods and techniques in adaptive control. In: 2002 IEEE American Control Conference (ACC 2002), Anchorage, AK, USA, vol. 2, pp. 1137-1150 (2002)
  91. Kokar, M.M., Baclawski, K., Eracar, Y.A.: Control theory-based foundations of self-controlling software. IEEE Intelligent Systems 14(3), 37-45 (1999)
  92. McKinley, P.K., Sadjadi, M., Kasten, E.P., Cheng, B.H.: Composing adaptive soft- ware. IEEE Computer 37(7), 56-64 (2004)
  93. Brittenham, P., Cutlip, R.R., Draper, C., Miller, B.A., Choudhary, S., Perazolo, M.: IT service management architecture and autonomic computing. IBM Systems Journal 46(3), 565-581 (2007)
  94. Kephart, J.O., Chess, D.M.: The vision of autonomic computing. IEEE Com- puter 36(1), 41-50 (2003)
  95. IBM Corporation: An architectural blueprint for autonomic computing. White Pa- per, 4th edn., IBM Corporation, http://www-03.ibm.com/autonomic/pdfs/AC_Blueprint_White_Paper_4th.pdf
  96. Shaw, M.: Beyond objects. ACM SIGSOFT Software Engineering Notes (SEN) 20(1), 27-38 (1995)
  97. Müller, H.A., Kienle, H.M., Stege, U.: Autonomic computing: Now you see it, now you don't. In: Lucia, A.D., Ferrucci, F. (eds.) Software Engineering: Interna- tional Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures. LNCS, vol. 5413, pp. 32-54. Springer, Heidelberg (2009)
  98. Litoiu, M., Woodside, M., Zheng, T.: Hierarchical model-based autonomic con- trol of software systems. In: ACM ICSE Workshop on Design and Evolution of Autonomic Software, St. Louis, MO, USA, pp. 1-7 (2005)
  99. Litoiu, M., Mihaescu, M., Ionescu, D., Solomon, B.: Scalable adaptive web services. In: Development for Service Oriented Architectures (SD-SOA 2008), Workshop at 30th IEEE/ACM International Conference on Software Engineering (ICSE 2008), Leipzig, Germany (2008)
  100. Burmester, S., Giese, H., Münch, E., Oberschelp, O., Klein, F., Scheideler, P.: Tool support for the design of self-optimizing mechatronic multi-agent systems. International Journal on Software Tools for Technology Transfer (STTT) 10(3) (2008)
  101. Brun, Y., Medvidovic, N.: An architectural style for solving computationally in- tensive problems on large networks. In: Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2007), Workshop at 29th IEEE/ACM Interna- tional Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA (2007)
  102. Di Marzo-Serugendo, G., Fitzgerald, J., Romanovsky, A., Guelfi, N.: A generic framework for the engineering of self-adaptive and self-organising systems. Tech- nical report, School of Computer Science, University of Newcastle, Newcastle, UK (2007)
  103. Nagpal, R.: Programmable Self-Assembly: Constructing Global Shape Using Biologically-Inspired Local Interactions and Origami Mathematics. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA, USA (2001)
  104. Clement, L., Nagpal, R.: Self-assembly and self-repairing topologies. In: Workshop on Adaptability in Multi-Agent Systems, First RoboCup Australian Open (AORC 2003), Sydney, Australia (2003)
  105. Shen, W.M., Krivokon, M., Chiu, H., Everist, J., Rubenstein, M., Venkatesh, J.: Multimode locomotion via superbot reconfigurable robots. Autonomous Robots 20(2), 165-177 (2006)
  106. Sauter, J.A., Matthews, R., Parunak, H.V.D., Brueckner, S.A.: Performance of digi- tal pheromones for swarming vehicle control. In: 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), The Netherlands, pp. 903-910. ACM, New York (2005)
  107. Hofmeyr, S., Forrest, S.: Immunity by design: An artificial immune system. In: Genetic and Evolutionary Computation Conference (GECCO 1999), Orlando, Florida, USA, pp. 1289-1296. Morgan-Kaufmann, San Francisco (1999)
  108. Klein, M., Kazman, R.: Attribute-based architectural styles. Technical Report CMU/SEI-99-TR-022, Software Engineering Institute (SEI) (1999), http://www.sei.cmu.edu/pub/documents/99.reports/pdf/99tr022.pdf
  109. Zhu, Q., Lin, L., Kienle, H.M., Müller, H.A.: Characterizing maintainability con- cerns in autonomic element design. In: 24th IEEE International Conference on Software Maintenance (ICSM 2008), Beijing, China, pp. 197-206 (2008)
  110. Andersson, J., de Lemos, R., Malek, S., Weyns, D.: Reflecting on self-adaptive software systems. In: 2009 International Workshop on Self-Adaptation and Self- Managing Systems (SEAMS 2009), Vancouver, BC, Canada (to be published, 2009)
  111. Babaoglu, Ö., Jelasity, M., Montresor, A., Fetzer, C., Leonardi, S., van Moorsel, A.P.A.: The self-star vision. In: Babaoglu, Ö., Jelasity, M., Montresor, A., Fetzer, C., Leonardi, S., van Moorsel, A., van Steen, M. (eds.) SELF-STAR 2004. LNCS, vol. 3460, pp. 1-20. Springer, Heidelberg (2005)
  112. Passino, K.M., Burgess, K.L.: Stability analysis of discrete event systems. Adaptive and Learning Systems for Signal Processing Communications, and Control. John Wiley & Sons, Inc., New York (1998)
  113. Liberzon, D., Morse, A.: Basic problems in stability and design of switched systems. IEEE Control Systems Magazine 19(5), 59-70 (1999)
  114. Decarlo, R.A., Branicky, M.S., Pettersson, S., Lennartson, B.: Perspectives and Results on the Stability and Stabilizability of Hybrid Systems. Proceedings of the IEEE 88(7), 1069-1082 (2000)
  115. Lightstone, S.: Seven software engineering principles for autonomic computing de- velopment. Innovations in Systems and Software Engineering 3(1), 71-74 (2007)
  116. Sackmann, S., Strüker, J., Accorsi, R.: Personalization in privacy-aware highly dynamic systems. Communications of the ACM 49(9), 32-38 (2006)
  117. Cheng, B.H., de Lemos, R., Giese, H., et al.: Software engineering for self-adaptive systems: A research roadmap. In: Cheng, B.H., de Lemos, R., Giese, H., Inver- ardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol. 5525. Springer, Heidelberg (2009) References
  118. Batista, T.V., Joolia, A., Coulson, G.: Managing dynamic reconfiguration in component- based systems. In: Morrison, R., Oquendo, F. (eds.) EWSA 2005. LNCS, vol. 3527, pp. 1- 17. Springer, Heidelberg (2005)
  119. Bent, R., van Hentenryck, P.: Regrets only! Online stochastic optimization under time con- straints. In: Proc. 19th AAAI (2004)
  120. Cheng, S.-W.: Rainbow: Cost-Effective Software Architecture-Based Self-Adaptation, Ph.D. Thesis, TR CMU-ISR-08-113, Carnegie Mellon University School of Computer Science (May 2008)
  121. Cheng, S.-W., Garlan, D., Schmerl, B.: Making Self-Adaptation and Engineering Reality. In: Babaoğlu, Ö., Jelasity, M., Montresor, A., Fetzer, C., Leonardi, S., van Moorsel, A., van Steen, M. (eds.) SELF-STAR 2004. LNCS, vol. 3460, pp. 158-173. Springer, Heidelberg (2005)
  122. Clements, P., et al.: Documenting Software Architecture: Views and Beyond. Pearson Education, London (2003)
  123. Dashofy, E.M., van der Hoek, A., Taylor, R.N.: Towards architecture-based self-healing systems. In: Garlan, et al. [10], pp. 21-26 (2002)
  124. Dinda, P., O'Halloran, D.: Host Load Prediction Using Linear Models. Cluster Comput- ing 3, 4 (2000)
  125. Frye, C.: Self-healing systems. Appl. Dev. Trends, 29-34 (September 2003)
  126. Galtier, V., et al.: Predicting resource demand in heterogeneous active networks. In: Proc. MILCOM (2001)
  127. Garlan, D., Kramer, J., Wolf, A. (eds.): Proc. 1st ACM SIGSOFT Workshop on Self- Healing Systems (WOSS 2002), November 18-19. ACM Press, New York (2002)
  128. Georgiadis, I., Magee, J., Kramer, J.: Self-organizing software architectures for distributed systems. In: Garlan, et al. [10], pp. 33-38 (2002)
  129. Ghosh, D., Sharman, R., Rao, H.R., Upadhyaya, S.: Self-healing systems -survey and syn- thesis. Decision Support System 42(4), 2164-2185 (2007)
  130. Gorlick, M.M., Razouk, R.R.: Using Weaves for software construction and analysis. In: Proc. 13th International Conf. of Software Engineering, pp. 23-34. IEEE Computer Soci- ety Press, Los Alamitos (1991)
  131. Hentenryck, P., et al.: Online stochastic optimization under time constraints (2008), http://www.cs.brown.edu/people/pvh/aor5.pdf (last accessed April 2008)
  132. Lu, Y., Abdelzaher, T., Lu, C., Sha, L., Liu, X.: Feedback Control with Queuing-Theoretic Prediction for Relative Delay Guarantees in Web Servers. In: Proc. IEEE Real-Time and Embedded Technology and Applications Symposium (2003)
  133. Magee, J., Kramer, J.: Dynamic structure in software architectures. In: SIGSOFT 1996: Proc. of the 4th ACM SIGSOFT Symposium on Foundations of Software Engineering, pp. 3-14. ACM, New York (1996)
  134. Morrison, R., Balasubramaniam, D., Oquendo, F., Warboys, B., Greenwood, R.M.: An ac- tive architecture approach to dynamic systems co-evolution. In: Oquendo, F. (ed.) ECSA 2007. LNCS, vol. 4758, pp. 2-10. Springer, Heidelberg (2007)
  135. Mukhija, A., Glinz, M.: A framework for dynamically adaptive applications in a self- organized mobile network environment. In: ICDCSW 2004: Proceedings of the 24th Inter- national Conference on Distributed Computing Systems Workshops-W7: EC (ICDCSW 2004), pp. 368-374. IEEE Computer Society, Washington (2004)
  136. Oreizy, P., et al.: An architecture-based approach to self-adaptive software. IEEE Intelli- gent Systems 14(3), 54-62 (1999)
  137. Poladian, V., Garlan, D., Shaw, M., Schmerl, B., Sousa, J.P., Satyanarayanan, M.: Lever- aging Resource Prediction for Anticipatory Dynamic Configuration. In: Proc. 1st IEEE In- ternational Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007), July 2007, pp. 214-223 (2007)
  138. Poladian, V.: Tailoring Configuration to User's Tasks under Uncertainty, Ph.D. Thesis, TR CMU-CS-08-121, Carnegie Mellon University School of Computer Science (May 2008)
  139. Russel, L., Morgan, S., Chron, E.: Clockwork: A new movement in autonomic systems. IBM Systems Journal 42, 1 (2003)
  140. Solomon, B., Ionescu, D., Litoiu, M., Mihaescu, M.: A Real-Time Adaptive Control of Auto- nomic Computing Environments. In: Proc. 4th International Information and Telecommunica- tion Technologies Symposium (U2TS 2006), December 2006, pp. 94-103 (2006)
  141. Sousa, J.P.: Scaling Task Management in Space and Time: Reducing User Overhead in Ubiquitous-Computing Environments, Ph.D. Thesis, TR CMU-CS-05-123, Carnegie Mel- lon University School of Computer Science (2005)
  142. Sztajnberg, A., Loques, O.: Describing and deploying self-adaptive applications. In: Proc. 1st Latin American Autonomic Computing Symposium, July 14-20 (2006) References
  143. Georgas, J.C., Taylor, R.N.: Towards a Knowledge-Based Approach to Architec- tural Adaptation Management. In: Proceedings of ACM SIGSOFT Workshop on Self-Managed Systems (WOSS 2004), Newport Beach, CA (October 2004)
  144. Nilsson, N.J.: Principles of Artificial Intelligence. Tioga Publishing Company (1980)
  145. Brooks, R.A.: A Robust Layered Control System for a Mobile Robot. IEEE Journal of Robotics and Automation 2(1), 14-23 (1986)
  146. Firby, R.J.: Adaptive Execution in Complex Dynamic Worlds. PhD thesis, Yale University (1990)
  147. Georgas, J.C., Taylor, R.N.: An Architectural Style Perspective on Dynamic Robotic Architectures. In: Proceedings of the IEEE Second International Work- shop on Software Development and Integration in Robotics (SDIR 2007), Rome, Italy (April 2007)
  148. Taylor, R.N., Medvidovic, N., Anderson, K.M., James, E., Whitehead, J., Robbins, J.E., Nies, K.A., Oreizy, P., Dubrow, D.L.: A Component-and Message-Based Architectural Style for GUI Software. IEEE Transactions on Software Engineer- ing 22(6), 390-406 (1996)
  149. Wermelinger, M., Lopes, A., Fiadeiro, J.L.: A Graph Based Architectural (Re)configuration Language. In: ESEC/FSE-9: Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT Interna- tional Symposium on Foundations of Software Engineering, pp. 21-32. ACM Press, New York (2001)
  150. Georgiadis, I., Magee, J., Kramer, J.: Self-Organising Software Architectures for Distributed Systems. In: WOSS 2002: Proceedings of the First Workshop on Self- Healing Systems, pp. 33-38. ACM Press, New York (2002)
  151. Garlan, D., Cheng, S.W., Huang, A.C., Schmerl, B., Steenkiste, P.: Rainbow: Architecture-Based Self Adaptation with Reusable Infrastructure. IEEE Com- puter 37(10) (2004)
  152. Oreizy, P., Gorlick, M.M., Taylor, R.N., Heimbigner, D., Johnson, G., Medvidovic, N., Quilici, A., Rosenblum, D.S., Wolf, A.L.: An Architecture-based Approach to Self-Adaptive Software. IEEE Intelligent Systems 14(3), 54-62 (1999)
  153. Kim, D., Park, S., Jin, Y., Chang, H., Park, Y.S., Ko, I.Y., Lee, K., Lee, J., Park, Y.C., Lee, S.: SHAGE: a Framework for Self-Managed Robot Software. In: SEAMS 2006: Proceedings of the 2006 International Workshop on Self-Adaptation and Self- Managing Systems, pp. 79-85 (2006)
  154. Kramer, J., Magee, J.: Self-Managed Systems: An Architectural Challenge. In: Future of Software Engineering (FOSE 2007), pp. 259-268 (2007)
  155. Georgas, J.C.: Supporting Architecture-and Policy-Based Self-Adaptive Software Systems. PhD thesis, University of California, Irvine (2008)
  156. Dashofy, E.M., Hoek, A.v.d., Taylor, R.N.: A Comprehensive Approach for the De- velopment of Modular Software Architecture Description Languages. ACM Trans- actions on Software Engineering and Methodology (TOSEM) 14(2), 199-245 (2005)
  157. Harel, D.: Statecharts: A visual formalism for complex systems. Science of Com- puter Programming 8(3), 231-274 (1987)
  158. Hill, E.F.: Jess in Action: Java Rule-Based Systems. Manning Publications Co., Greenwich (2003)
  159. Georgas, J.C., van der Hoek, A., Taylor, R.N.: Architectural runtime configuration management in support of dependanble self-adaptive software. In: Proceedings of ACM SIGSOFT Workshop on Architecting Dependable Systems (WADS 2005), St. Louis, MO (May 2005)
  160. Garlan, D., Schmerl, B.: Model-Based Adaptation for Self-Healing Systems. In: 1st Workshop on Self-Healing Systems (2002)
  161. Garlan, D., Allen, R., Ockerbloom, J.: Exploiting Style in Architectural Design En- vironments. In: Preneel, B. (ed.) FSE 1994. LNCS, vol. 1008. Springer, Heidelberg (1995)
  162. Georgiadis, I., Magee, J., Kramer, J.: Self-Organising Software Architectures for Distributed Systems. In: 1st Workshop on Self-Managed Systems (2004)
  163. Georgas, J.C., Taylor, R.N.: Towards a Knowledge-Based Approach to Architec- tural Adaptation Management. In: 1st Workshop on Self-Managed Systems (2004)
  164. Arshad, N., Heimbigner, D., Wolf, A.: A Planning Based Approach to Failure Re- covery in Distributed Systems. In: 1st Workshop on Self-Managed Systems (2004)
  165. Gat, E.: Three-Layer Architectures. In: Artificial Intelligence and Mobile Robots: Case Studies of Successful Robot Systems (1998)
  166. Ghallib, M., Nau, D., Traverso, P.: Automated Planning: Theory and Practice. Morgan Kaufmann, San Francisco (2005)
  167. Sykes, D., Heaven, W., Magee, J., Kramer, J.: Plan-Directed Architectural Change For Autonomous Systems. In: SAVCBS (2007)
  168. Sykes, D., Heaven, W., Magee, J., Kramer, J.: From Goals to Components: A Combined Approach to Self-Management. In: SEAMS (2008)
  169. Magee, J., Kramer, J.: Concurrency: State Models & Java Programming. Wiley, Chichester (2000)
  170. McVeigh, A., Kramer, J., Magee, J.: Using Resemblance to Support Component Reuse and Evolution. In: SAVCBS (2006)
  171. Brooks, R.: A Robust Layered Control System for a Mobile Robot. Robotics and Automation 2(1), 14-23 (1986)
  172. Cheng, S.W., Garlan, D., Schmerl, B., Sousa, J., Spitnagel, B., Steenkiste, P.: Using Architectural Style as a Basis for System Self-Repair. In: 3rd Working IEEE/IFIP Conference on Software Architecture (2002)
  173. Cheng, S., Garlan, D., Schmerl, B.: Architecture-Based Self-Adaptation in the Presence of Multiple Objectives. In: SEAMS (2006)
  174. Cheng, S., Huang, A., Garlan, D., Schmerl, B., Steenkiste, P.: An Architecture for Coordinating Multiple Self-Management Systems. In: 4th Working IEEE/IFIP Conference on Software Architecture, pp. 243-252 (2004)
  175. Dashofy, E.M., van der Hoek, A., Taylor, R.N.: Towards Architecture-Based Self- Healing Systems. In: 1st Workshop on Self-Healing Systems (2002)
  176. Robbins, J.E., Hilbert, D.M., Redmiles, D.F.: Using Critics to Analyze Evolving Architectures. ISAW-2 / Viewpoints (1996)
  177. Garlan, D., Poladian, V., Schmerl, B., Sousa, J.P.: Task-Based Self-Adaptation. In: 1st Workshop on Self-Managed Systems (2004)
  178. Arshad, N., Heimbigner, D., Wolf, A.: Deployment and Dynamic Reconfiguration Planning for Distributed Software Systems. Software Quality Journal 15(3) (2007)
  179. Lynch, N., Tuttle, M.: An Introduction to Input/Output Automata. CWI- Quarterly 2(3 ) (1989)
  180. Giannakopoulou, D., Magee, J.: Fluent Model Checking for Event-Based Systems. In: ESEC / FSE (2003)
  181. Giunchiglia, F., Traverso, P.: Planning as Model Checking. In: European Confer- ence on Planning (1999)
  182. Warren, I., Sun, J., Krishnamohan, S., Weerasinghe, T.: An Automated Formal Approach to Managing Dynamic Reconfiguration. In: ASE (2006)
  183. Lomuscio, A., Sergot, M.: Deontic Interpreted Systems. Studia Logica (Special Issue on The Dynamics of Knowledge) 75 (2003)
  184. Inverardi, P., Mostarda, L., Tivoli, M., Autili, M.: Synthesis of Correct and Dis- tributed Adaptors for Component-Based Systems: an Automatic Approach. In: ASE, pp. 405-409 (2005)
  185. Sibay, G., Uchitel, S., Braberman, V.: Existential Live Sequence Charts Revisited. In: ICSE (2008)
  186. Antkiewicz, M., Czarnecki, K.: Framework-specific modeling languages with round- trip engineering. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoD- ELS 2006. LNCS, vol. 4199, pp. 692-706. Springer, Heidelberg (2006)
  187. Atkinson, M.P., Buneman, O.P.: Types and persistence in database programming languages. ACM Computing Surveys 19(2), 105-170 (1987)
  188. Bawden, A.: Quasiquotation in Lisp. In: Partial Evaluation and Semantic-Based Program Manipulation, pp. 4-12 (1999)
  189. Bézivin, J., Gerbé, O.: Towards a precise definition of the OMG/MDA framework. In: Proceedings of Automated Software Engineering (ASE 2001), pp. 273-282. IEEE Computer Society, Los Alamitos (2001)
  190. Budinsky, F., Steinberg, D., Merks, E., Ellersick, R., Grose, T.: Eclipse Modeling Framework. Addison Wesley Professional, Reading (2003)
  191. Chiba, S., Kiczales, G., Lamping, J.: Avoiding confusion in metacircularity: The meta-helix. In: Futatsugi, K., Matsuoka, S. (eds.) ISOTAS 1996. LNCS, vol. 1049, pp. 157-172. Springer, Heidelberg (1996)
  192. Costanza, P., Hirschfeld, R.: Language constructs for context-oriented program- ming: An overview of ContextL. In: Proceedings of the Dynamic Languages Sym- posium (DLS) 2005, co-organized with OOPSLA 2005, pp. 1-10. ACM, New York (2005)
  193. Czarnecki, K., Eisenecker, U.W.: Generative programming: methods, tools, and applications. ACM Press/Addison-Wesley Publishing Co., New York (2000)
  194. Denker, M.: Sub-method Structural and Behavioral Reflection. PhD thesis, Uni- versity of Bern (May 2008)
  195. Denker, M., Ducasse, S., Lienhard, A., Marschall, P.: Sub-method reflection. Jour- nal of Object Technology, Special Issue (2007); Proceedings of TOOLS Europe 2007, vol. 6/9, pp. 231-251 (2007)
  196. Denker, M., Gîrba, T., Lienhard, A., Nierstrasz, O., Renggli, L., Zumkehr, P.: Encapsulating and exploiting change with Changeboxes. In: Proceedings of the 2007 International Conference on Dynamic Languages (ICDL 2007), pp. 25-49. ACM Digital Library, New York (2007)
  197. Denker, M., Greevy, O., Lanza, M.: Higher abstractions for dynamic analysis. In: 2nd International Workshop on Program Comprehension through Dynamic Anal- ysis (PCODA 2006), pp. 32-38 (2006)
  198. Denker, M., Greevy, O., Nierstrasz, O.: Supporting feature analysis with runtime annotations. In: Proceedings of the 3rd International Workshop on Program Com- prehension through Dynamic Analysis (PCODA 2007), pp. 29-33. Technische Uni- versiteit Delft (2007)
  199. Denker, M., Suen, M., Ducasse, S.: The meta in meta-object architectures. In: Proceedings of TOOLS EUROPE 2008. LNBIP, vol. 11, pp. 218-237 (2008) 15.
  200. van Deursen, A., Klint, P.: Little languages: Little maintenance? In: Kamin, S. (ed.) First ACM-SIGPLAN Workshop on Domain-Specific Languages, DSL 1997, January 1997, pp. 109-127 (1997)
  201. Fowler, M.: Language workbenches: The killer-app for domain-specific languages (June 2005), http://www.martinfowler.com/articles/languageWorkbench.html
  202. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, Reading (1995)
  203. González, S., Mens, K., Heymans, P.: Highly dynamic behaviour adaptability through prototypes with subjective multimethods. In: DLS 2007: Proceedings of the 2007 symposium on Dynamic languages, pp. 77-88. ACM, New York (2007)
  204. Haldimann, N., Denker, M., Nierstrasz, O.: Practical, pluggable types for a dynamic language. Journal of Computer Languages, Systems and Structures 35(1), 48-64 (2009)
  205. Haustein, S., Pleumann, J.: A model-driven runtime environment for web applica- tions. Software and System Modeling 4(4), 443-458 (2005)
  206. Hirschfeld, R., Costanza, P., Nierstrasz, O.: Context-oriented programming. Jour- nal of Object Technology 7(3) (March 2008)
  207. Kiczales, G., des Rivières, J., Bobrow, D.G.: The Art of the Metaobject Protocol. MIT Press, Cambridge (1991)
  208. Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.- M., Irwin, J.: Aspect-Oriented Programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220-242. Springer, Heidelberg (1997)
  209. Knuth, D.E.: Literate Programming. Center for the Study of Language and Infor- mation, Stanford (1992)
  210. Krahn, H., Rumpe, B., Völkel, S.: Integrated definition of abstract and concrete syntax for textual languages. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 286-300. Springer, Heidelberg (2007)
  211. Lehman, M., Belady, L.: Program Evolution: Processes of Software Change. Aca- demic Press, London (1985)
  212. Magee, J., Dulay, N., Eisenbach, S., Kramer, J.: Specifying distributed software architectures. In: Botella, P., Schäfer, W. (eds.) ESEC 1995. LNCS, vol. 989, pp. 137-153. Springer, Heidelberg (1995)
  213. Marschall, P.: Persephone: Taking Smalltalk reflection to the sub-method level. Master's thesis, University of Bern (December 2006)
  214. Nelson, S., Pearce, D.J., Noble, J.: First class relationships for OO languages. In: Proceedings of the 6th International Workshop on Multiparadigm Programming with Object-Oriented Languages (MPOOL 2008) (2008)
  215. Nierstrasz, O., Denker, M., Gîrba, T., Lienhard, A.: Analyzing, capturing and taming software change. In: Proceedings of the Workshop on Revival of Dynamic Languages (co-located with ECOOP 2006) (July 2006)
  216. Nierstrasz, O., Denker, M., Gîrba, T., Lienhard, A., Röthlisberger, D.: Change- enabled software systems. In: Wirsing, M., Banâtre, J.-P., Hölzl, M. (eds.) Chal- lenges for Software-Intensive Systems and New Computing Paradigms. LNCS, vol. 5380, pp. 64-79. Springer, Heidelberg (2008)
  217. Nixon, B., Chung, L., Mylopoulos, J., Lauzon, D., Borgida, A., Stanley, M.: Im- plementation of a compiler for a semantic data model: Experiences with taxis. In: SIGMOD 1987: Proceedings of the 1987 ACM SIGMOD international conference on Management of data, pp. 118-131. ACM, New York (1987)
  218. Odersky, M.: Scala language secification v. 2.4. Technical report, École Polytech- nique Fédérale de Lausanne, 1015 Lausanne, Switzerland (March 2007)
  219. Ousterhout, J.K.: Scripting: Higher level programming for the 21st century. IEEE Computer 31(3), 23-30 (1998)
  220. Pawson, R.: Naked Objects. Ph.D. thesis, Trinity College, Dublin (2004)
  221. Renggli, L., Ducasse, S., Kuhn, A.: Magritte -a meta-driven approach to empower developers and end users. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 106-120. Springer, Heidelberg (2007)
  222. Renggli, L., Nierstrasz, O.: Transactional memory in a dynamic language. Journal of Computer Languages, Systems and Structures 35(1), 21-30 (2009)
  223. Rivard, F.: Smalltalk: a reflective language. In: Proceedings of REFLECTION 1996, April 1996, pp. 21-38 (1996)
  224. Rodríguez, L., Tanter, É., Noyé, J.: Supporting dynamic crosscutting with par- tial behavioral reflection: a case study. In: Proceedings of the XXIV International Conference of the Chilean Computer Science Society (SCCC 2004), Arica, Chile. IEEE, Los Alamitos (2004)
  225. Röthlisberger, D., Denker, M., Tanter, É.: Unanticipated partial behavioral reflec- tion: Adapting applications at runtime. Journal of Computer Languages, Systems and Structures 34(2-3), 46-65 (2008)
  226. Röthlisberger, D., Greevy, O., Nierstrasz, O.: Exploiting runtime information in the IDE. In: Proceedings of the 16th International Conference on Program Com- prehension (ICPC 2008), pp. 63-72. IEEE Computer Society, Los Alamitos (2008)
  227. Schmidt, D.C.: Guest editor's introduction: Model-driven engineering. Com- puter 39(2), 25-31 (2006)
  228. Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Disci- pline. Prentice-Hall, Englewood Cliffs (1996)
  229. Sheard, T.: Accomplishments and research challenges in meta-programming. In: Taha, W. (ed.) SAIG 2001. LNCS, vol. 2196, pp. 2-44. Springer, Heidelberg (2001)
  230. Tanter, E.: Reflection and open implementations. Technical report, University of Chile (2004)
  231. Tanter, É., Gybels, K., Denker, M., Bergel, A.: Context-aware aspects. In: Löwe, W., Südholt, M. (eds.) SC 2006. LNCS, vol. 4089, pp. 227-242. Springer, Heidelberg (2006)
  232. Tanter, É., Noyé, J., Caromel, D., Cointe, P.: Partial behavioral reflection: Spa- tial and temporal selection of reification. In: Proceedings of OOPSLA 2003, ACM SIGPLAN Notices, November 2003, pp. 27-46 (2003)
  233. Tratt, L.: Domain specific language implementation via compile-time meta- programming. ACM TOPLAS 30(6), 1-40 (2008)
  234. Warth, A., Piumarta, I.: OMeta: an object-oriented language for pattern matching. In: DLS 2007: Proceedings of the 2007 symposium on Dynamic languages, pp. 11- 19. ACM, New York (2007)
  235. Wirsing, M., Hölzl, M. (eds.): Report of the Beyond the Horizon thematic group 6 on Software Intensive Systems (2006) References
  236. EU IST FP6 project MUSIC (Self-adapting Applications for Mobile Users in Ubiquitous Computing Environments), http://www.ist-music.eu
  237. EU IST FP6 project MADAM (Mobility and Adaptation Enabling Middleware), http://www.ist-madam.org
  238. Geihs, K., et al.: A Comprehensive Solution for Application-Level Adaptation. Software Practice & Experience. Wiley, Chichester (2008), http://dx.doi.org/10.1002/spe.900
  239. Aiello, M., Frankova, G., Malfatti, D.: What's in an Agreement? An Analysis and an Ex- tension of WS Agreement. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 424-436. Springer, Heidelberg (2005)
  240. Bleul, S., Geihs, K.: Automatic Quality-Aware Service Discovery and Matching. In: 13th Annual Workshop of HPOpenView University Association (HP-OVUA), May 2006, pp. 109-118. Infonomics Consulting, Stuttgart (2006)
  241. Bleul, S., Weise, T.: An Ontology for Quality-Aware Service Discovery. In: First Interna- tional Workshop on Engineering Service Compositions (WESC 2005), IBM Report RC23821, December 2005, pp. 35-42 (2005)
  242. Economic Classification Policy Committee. North American Industry Classification Sys- tem (NAICS), http://www.census.gov/epcd/www/naics.html
  243. DARPA. Profile-based Class Hierarchies, http://www.daml.org/services/owl-s/1.1/ProfileHierarchy.html
  244. Dan, A., et al.: Web Service Level Agreement (WSLA) Language Specification, http://www.research.ibm.com/wsla/WSLASpecV1-20030128.pdf
  245. Martin, D., et al.: OWL-S, OWL-based Web Service Ontology (2004)
  246. EU IST FP6 project ASG (Adaptive Services Grid), http://asgplatform.org
  247. Geihs, K., et al.: Modeling of Component-Based Self-Adapting Context-Aware Applica- tions for Mobile Devices. In: IFIP Working Conf. on Software Engineering Techniques, Warsaw, Poland (2006)
  248. University of Malta. OWL-S Editor to Semantically Annotate Web-Services, http://staff.um.edu.mt/cabe2/supervising/undergraduate/ owlseditFYP/OwlSEdit.html
  249. Oldham, N., et al.: Semantic WS-agreement partner selection. In: WWW 2006: Proceed- ings of 15th Intern. World Wide Web Conference, pp. 697-706. ACM, New York (2006)
  250. Paolucci, M., et al.: Towards a Semantic Choreography of Web Services: From WSDL to DAML-S. In: Zhang, L.-J. (ed.) ICWS, pp. 22-26. CSREA Press (2003)
  251. Reichle, R., et al.: A Comprehensive Context Modeling Framework for Pervasive Comput- ing Systems. In: Meier, R., Terzis, S. (eds.) DAIS 2008. LNCS, vol. 5053, pp. 281-295.
  252. Springer, Heidelberg (2008)
  253. Roman, D., et al.: WSMO -Web Service Modeling Ontology. In: DERI Working Draft 14. Digital Enterprise Research Institute (DERI) (2004)
  254. Sahai, A., et al.: Towards Automated SLA Management for Web Services, HP Laborato- ries Palo Alto, HPL-2001-310 (R.1) (2001)
  255. Frank, K., et al.: CoOL -A Context Ontology Language to enable Contextual Interopera- bility. In: Stefani, J.-B., Demeure, I., Hagimont, D. (eds.) DAIS 2003. LNCS, vol. 2893. Springer, Heidelberg (2003)
  256. Rouvoy, R., Barone, P., Ding, Y., Eliassen, F., Hallsteinsen, S., Lorenzo, J., Mamelli, A., Scholz, U.: MUSIC: Middleware Support for Self-Adaptation in Ubiquitous and Service- Oriented Environments. In: Cheng, B.H.C., et al. (eds.) Software Engineering for Self- Adaptive Systems. LNCS, vol. 5525. Springer, Heidelberg (2009)
  257. Carnegie-Mellon University, WSDL-to-OWLS, http://www.daml.ri.cmu.edu/wsdl2owls/
  258. Zhou, C., Chia, L.-T., Lee, B.-S.: Semantics in Service Discovery and QoS Measurement. IT Professional 7(2), 29-34 (2005)
  259. WSDL2OWL-S, http://www.daml.ri.cmu.edu/wsdl2owls/
  260. OWL-S Editor to Semantically Annotate Web-Services, http://staff.um.edu.mt/cabe2/supervising/undergraduate/ owlseditFYP/OwlSEdit.html
  261. Wang, X.H., et al.: Ontology Based Context Modeling and Reasoning using OWL. In: Proceedings of Workshop on Context Modeling and Reasoning (CoMoRea 2004), Or- lando, Florida USA (March 2004)
  262. Gu, T., et al.: A Middleware for Building Context-Aware Mobile Services. In: Proc. of the IEEE 59th Vehicular Technology Conference (VTC 2004 spring), Milan, Italy (May 2004)
  263. WebServices Agreement Specification (WS-Agreement), http://www.ogf.org/documents/GFD.107.pdf
  264. Salber, D., Dey, A.K., Abowd, G.D.: The context toolkit: aiding the development of con- text-enabled applications. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems: the CHI Is the Limit, Pittsburgh, Pennsylvania, United States. ACM, New York (1999)
  265. Poladian, V., Sousa, J.P., Garlan, D., Shaw, M.: Dynamic Configuration of Resource- Aware Services. In: 26th International Conference on Software Engineering, pp. 604-613. IEEE Computer Society, Edinburgh (2004)
  266. Sousa, J.P., Schmerl, B., Steenkiste, P., Garlan, D.: Activity-oriented Computing. In: Mo- stéfaoui, S., Maamar, Z., Giaglis, G. (eds.) Advances in Ubiquitous Computing: Future Paradigms and Directions, pp. 280-315. IGI Publishing, PA (2008)
  267. Sousa, J.P., Balan, R.K., Poladian, V., Garlan, D., Satyanarayanan, M.: User Guidance of Resource-Adaptive Systems. In: Intl. Conf. on Software and Data Technologies, pp. 36- 44. INSTICC Press, Porto (2008) References
  268. Mascolo, C., Capra, L., Emmerich, W.: Mobile Computing Middleware. In: Gregori, E., Anastasi, G., Basagni, S. (eds.) NETWORKING 2002. LNCS, vol. 2497, pp. 20-58.
  269. Springer, Heidelberg (2002)
  270. Rouvoy, R., et al.: Composing Components and Services using a Planning-based Adapta- tion Middleware. In: Pautasso, C., Tanter, É. (eds.) SC 2008. LNCS, vol. 4954, pp. 52-67.
  271. Springer, Heidelberg (2008)
  272. Geihs, K., et al.: A comprehensive solution for application-level adaptation. Software: Practice and Experience (2008)
  273. Brataas, G., et al.: Scalability of Decision Models for Dynamic Product Lines. In: Int. Work. on Dynamic Software Product Line, DSPL (2007)
  274. Floch, J., et al.: Using Architecture Models for Runtime Adaptability. IEEE Soft- ware 23(2) (2006)
  275. Lundesgaard, S.A., et al.: Construction and Execution of Adaptable Applications Using an Aspect-Oriented and Model Driven Approach. In: Indulska, J., Raymond, K. (eds.) DAIS 2007. LNCS, vol. 4531, pp. 76-89. Springer, Heidelberg (2007)
  276. Khan, M.U., Reichle, R., Geihs, K.: Architectural Constraints in the Model-Driven Devel- opment of Self-Adaptive Applications. IEEE Distributed Systems Online 9(7) (2008)
  277. Fraga, L., Hallsteinsen, S., Scholz, U.: InstantSocial -Implementing a Distributed Mobile Multi-user Application with Adaptation Middleware. EASST Communications 11 (2008)
  278. Baida, Z., et al.: A shared service terminology for online service provisioning. In: 6th Int. Conf. on Electronic commerce (2004)
  279. Sassen, A., Macmillan, C.: The service engineering area: An overview of its current state and a vision of its future. European Commission. Network and Communication Technolo- gies, Software Technologies (2005)
  280. Erl, T.: Service-Oriented Architecture: Concepts, Technology, and Design. Prentice Hall, Englewood Cliffs (2006)
  281. Dan, A., Ludwig, H., Pacifici, G.: Web service differentiation with service level agree- ments. IBM White Paper (2003)
  282. Andrieux, A., et al.: Web Services Agreement Specification (WS-Agreement), Open Grid Forum Recommended Specification (2005)
  283. Flores-Cortés, C.A., Blair, G.S., Grace, P.: An Adaptive Middleware to Overcome Service Discovery Heterogeneity in Mobile Ad Hoc Environments. IEEE Distributed Systems Online 8(7) (2007)
  284. Keller, A., Ludwig, H.: The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services. Journal of Network and Systems Management 11(1) (2003)
  285. Morgan, G., et al.: Monitoring Middleware for Service Level Agreements in Heterogene- ous Environments. In: 5th Int. Conf. on e-Commerce, e-Business, and e-Government (I3E), Poznan, Poland, vol. 189 (2005)
  286. Dedecker, J., et al.: Ambient-Oriented Programming. In: Companion of the 20th Ann. Conf. on Object-Oriented Programming, Systems, Languages, and Applications (OOP- SLA) (2005)
  287. Rellermeyer, J.S., Alonso, G.: Concierge: a service platform for resource-constrained de- vices. In: 2nd Eur. Conf. on Computer Systems (EuroSys). ACM, New York (2007)
  288. JCP. OSGi Mobile Specification (JSR-232), http://jcp.org/en/jsr/detail?id=232
  289. Eclipse. Embedded Rich Client Platform, http://www.eclipse.org/ercp
  290. Rellermeyer, J.S., Kuppe, M.A.: jSLP, http://jslp.sourceforge.net
  291. Demuru, M., Furfari, F., Lenzi, S.: DomoWare, http://domoware.isti.cnr.it
  292. Equinox. OSGi HTTP Server, http://www.eclipse.org/equinox/server/http_in_equinox.php
  293. Baliuka, J., et al.: Code Generation Library (CGLIB), http://cglib.sourceforge.net
  294. Kuropka, D., Weske, M.: Implementing a Semantic Service Provision Platform -Con- cepts and Experiences. Wirtschaftsinformatik Journal (1), 16-24 (2008)
  295. Moser, O., Rosenberg, F., Dustdar, S.: Non-intrusive monitoring and service adaptation for WS-BPEL. In: 17th Int. Conf. on World Wide Web (WWW). ACM, New York (2008)
  296. Menasce, D., Dubey, V.: Utility-based QoS Brokering in Service Oriented Architectures. In: Int. Conf. on Web Services (ICWS) (2007)
  297. Capra, L., Emmerich, W., Mascolo, C.: CARISMA: Context-Aware Reflective Middle- ware System for Mobile Applications. IEEE Trans. on Software Engineering 29(10) (2003)
  298. Rellermeyer, J.S., Alonso, G., Roscoe, T.: R-OSGi: Distributed Applications Through Software Modularization. In: Cerqueira, R., Campbell, R.H. (eds.) Middleware 2007. LNCS, vol. 4834, pp. 1-20. Springer, Heidelberg (2007) References
  299. Balasubramanian, K., Gokhale, A., Karsai, G., Sztipanovits, J., Neema, S.: Developing ap- plications using model-driven design environments. IEEE Computer, 33-40 (2006)
  300. Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice, 2nd edn. Addison- Wesley Professional, Reading (2003)
  301. Bencomo, N.: Supporting the Modelling and Generation of Reflective Middleware Families and Applications using Dynamic Variability. PhD thesis, Lancaster University (2008)
  302. Bencomo, N., France, R., Blair, G.: 2nd international workshop on models@run.time. In: Giese, H. (ed.) MODELS 2007. LNCS, vol. 5002, pp. 206-211. Springer, Heidelberg (2008)
  303. Bencomo, N., Grace, P., Flores, C., Hughes, D., Blair, G.: Genie: Supporting the model driven development of reflective, component-based adaptive systems. In: ICSE 2008 -For- mal Research Demonstrations Track (2008)
  304. Berry, D.M., Cheng, B.H.C., Zhang, P.J.: The four levels of requirements engineering for and in dynamic adaptive systems. In: 11th International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ 2005), Porto, Portugal (2005)
  305. Beuche, D., Papajewski, H., Schröder-Preikschat, W.: Variability management with feature models. Science of Computer Programming. Special issue: Software variability manage- ment 53(3), 333-352 (2004)
  306. Blair, G., Coulson, G., Robin, P., Papathomas, M.: An architecture for next generation mid- dleware. In: Seitz, J., Davies, N.A.J., Raymond, K. (eds.) IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing (Middleware 1998), The Lake District, UK, pp. 91-206 (1998)
  307. Bruneton, E., Coupaye, T., Leclercq, M., Quéma, V., Stefani, J.-B.: The fractal component model and its support in java. Software: Practice and Experience 36(11), 1257-1284 (2006)
  308. Burmester, S., Giese, H., Hirsch, M., Schilling, D., Tichy, M.: The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems. In: ICSE (2005)
  309. Clements, P., Kogut, P.: The software architecture renaissance. Crosstalk -The Journal of Defense Software Engineering 7(11) (1994)
  310. Coulson, G., Blair, G.S., Grace, P., Joolia, A., Lee, K., Ueyama, J., Sivaharan, T.: A generic component model for building systems software. ACM Transactions on Computer Systems (February 2008)
  311. Czarnecki, K., Eisenecker, U.: Generative Programming: Methods, Tools and Applications. Addison-Wesley, Reading (2000)
  312. DiVA. Diva-dynamic variability in complex, adaptive systems (2008), http://www.ict-diva.eu/
  313. Floch, J., Hallsteinsen, S., Stav, E., Eliassen, F., Lund, K., Gjorven, E.: Using architecture models for runtime adaptability. Software IEEE 23(2), 62-70 (2006)
  314. France, R., Rumpe, B.: Model-driven development of complex software: A research roadmap. In: Briand, L., Wolf, A. (eds.) FoSE. IEEE-CS Press, Los Alamitos (2007)
  315. Garlan, D.: Software Architecture: a Roadmap. ACM Press, New York (2000)
  316. Garlan, D., Schmerl, B.: Using architectural models at runtime: Research challenges. In: European Workshop on Software Architectures, St. Andrews, Scotland (2004)
  317. Goedicke, M., Pohl, K., Zdun, U.: Domain-specific runtime variability in product line ar- chitectures. In: 8th International Conference on Object-Oriented Information Systems, pp. 384-396 (2002)
  318. Gokhale, A., Balasubramanian, K., Lu, T.: Cosmic: addressing crosscutting deployment and configuration concerns of distributed real-time and embedded systems. In: OOPSLA 2004 Companion Book, NY, USA, pp. 218-219. ACM, New York (2004)
  319. Goldsby, H.J., Sawyer, P., Bencomo, N., Hughes, D., Cheng, B.H.C.: Goal-based modeling of dynamically adaptive system requirements. In: 15th Annual IEEE International Confer- ence on the Engineering of Computer Based Systems (ECBS) (2008)
  320. Gomaa, H., Hussein, M.: Model-based software design and adaptation. In: Software Engi- neering for Adaptive and Self-Managing Systems (SEAMS 2007) (2007)
  321. Hughes, D., Greenwood, P., Coulson, G., Blair, G., Pappenberger, F., Smith, P., Beven, K.: Gridstix: Supporting flood prediction using embedded hardware and next generation grid middleware. In: 4th International Workshop on Mobile Distributed Computing (MDC 2006), Niagara Falls, USA (2006)
  322. Kon, F., Costa, F., Blair, G., Campbell, R.: The case for reflective middleware. Communica- tions of the ACM 45(6), 33-38 (2002)
  323. Kramer, J., Magee, J.: Self-managed systems: an architectural challenge. In: FoSE 2007: 2007 Future of Software Engineering, pp. 259-268. IEEE Computer Society, Los Alamitos (2007)
  324. Kruchten, P., Thompson, C.: An object-oriented, distributed architecture for large scale ada systems. In: Tri-Ada 1994, Baltimore, Maryland (1994)
  325. Lawson, H., Kirova, V., Rossak, W.: A refinement of the ecbs architecture constituent. In: In- ternational Symposium and Workshop on Systems Engineering of Computer Based Systems, Tucson, Arizona (1995)
  326. Lee, J., Muthig, D.: Feature-oriented variability management in product line engineering. Communications of the ACM 49(12) (2006)
  327. McKinley, P.K., Sadjadi, S.M., Kasten, E.P., Cheng, B.H.C.: Composing adaptive software. IEEE Computer 37(7), 56-64 (2004)
  328. Morin, B., Fleurey, F., Bencomo, N., Jezequel, J.-M., Solberg, A., Dehlen, V., Blair, G.: An aspect-oriented and model-driven approach for managing dynamic variability. In: MODELS 2008 Conference, France (2008)
  329. van Ommering, R.: Building Product Populations with Software Components. PhD Thesis. PhD thesis, Rijksuniversiteits Groningen (2004)
  330. Oreizy, P., Gorlick, M.M., Taylor, R.N., Heimbigner, D., Johnson, G., Medvidovic, N., Quilici, A., Rosenblum, D.S., Wolf, A.L.: An architecture-based approach to self-adaptive software. IEEE Intelligent Systems and Their Applications 14(3), 54-62 (1999)
  331. Oreizy, P., Rosenblum, D.S., Taylor, R.N.: On the role of connectors in modeling and im- plementing software architectures. Technical Report 98-04, University of California, Irvine (1998)
  332. Pohl, K., Böckle, G., van der Linden, F.: Software Product Line Engineering-Foundations, Principles, and Techniques. Springer, Heidelberg (2005)
  333. Posnak, E., Lavender, G.: An adaptive framework for developing multimedia. Communica- tions ACM 40(10), 43-47 (1997)
  334. Sora, I., Cretu, V., Verbaeten, P., Berbers, Y.: Managing variability of self-customizable sys- tems through composable components. Software Process: Improvement and Practice 10(1), 77-95 (2005)
  335. Svahnberg, M., van Gurp, J., Bosch, J.: A taxonomy of variability realization techniques. Software: Practice and Experience 35(8), 705-754 (2005)
  336. Taylor, R.N., van der Hoek, A.: Software design and architecture the once and future focus of software engineering. In: International Conference on Software Engineering, ICSE 2007 (FoSE 2007) (2007)
  337. Agarwala, S., Chent, Y., Milojicic, D., Schwan, K.: QMON: QoS-and Utility-Aware Monitoring in Enterprise Systems. In: 3rd IEEE Int. Conference on Autonomic Computing (ICAC 2006), pp. 124-133 (2006)
  338. Allen, R., Douence, R., Garlan, D.: Specifying and Analyzing Dynamic Software Archi- tectures. In: Astesiano, E. (ed.) FASE 1998. LNCS, vol. 1382, p. 21. Springer, Heidelberg (1998)
  339. Ardagna, D., Ghezzi, C., Mirandola, R.: Rethinking the Use of Models in Software Archi- tecture. In: Becker, S., Plasil, F., Reussner, R. (eds.) QoSA 2008. LNCS, vol. 5281. Springer, Heidelberg (2008)
  340. Atkinson, C., Kühne, T.: Model-Driven Development: A Metamodeling Foundation. IEEE Software 20(5), 36-41 (2003)
  341. Bradbury, J.S., Cordy, J.R., Dingel, J., Wermelinger, M.: A survey of self-management in dynamic software architecture specifications. In: Proceedings of WOSS 2004, Newport Beach, CA, USA (October 2004)
  342. Bradbury, J.S.: Organizing definitions and formalisms for dynamic software architectures. Tech. Report 2004-477, Queens' University (2004)
  343. Bracchi, P., Cukic, B., Cortellessa, V.: Performability Modeling of Mobile Software Sys- tems. In: ISSRE 2004, pp. 77-88 (2004)
  344. Cheng, B.H.C., Giese, H., Inverardi, P., Magee, J., de Lemos, R.: 08031 -Software Engi- neering for Self-Adaptive Systems: A Research Road Map. In: Software Engineering for Self-Adaptive Systems, Dagstuhl Seminar Proceedings (2008)
  345. Crnkovic, I., Larsson, M. (eds.): Building Reliable Component-Based Software Systems. Artech House (2002)
  346. Di Marco, A., Mirandola, R.: Model Transformation in Software Performance Engineer- ing. In: Hofmeister, C., Crnković, I., Reussner, R. (eds.) QoSA 2006. LNCS, vol. 4214, pp. 95-110. Springer, Heidelberg (2006)
  347. Garlan, D., Monroe, R., Wile, D.: ACME: Architectural Description of Component-Based Systems. In: Leavens, G.T., Sitaraman, M. (eds.) Foundations of Component-Based Sys- tems. Cambridge University Press, Cambridge (2000)
  348. Grassi, V., Mirandola, R., Sabetta, A.: A Model Transformation Approach for the Early Performance and Reliability Analysis of Component-Based Systems. In: Gorton, I., Heineman, G.T., Crnković, I., Schmidt, H.W., Stafford, J.A., Szyperski, C., Wallnau, K. (eds.) CBSE 2006. LNCS, vol. 4063, pp. 270-284. Springer, Heidelberg (2006)
  349. Grassi, V., Mirandola, R., Sabetta, A.: Filling the gap between design and perform- ance/reliability models of component-based systems: A model-driven approach. Journal of Systems and Software 80(4), 528-558 (2007)
  350. Grassi, V., Mirandola, R., Randazzo, E., Sabetta, A.: KLAPER: An Intermediate Lan- guage for Model-Driven Predictive Analysis of Performance and Reliability. In: Rausch, A., Reussner, R., Mirandola, R., Plášil, F. (eds.) The Common Component Modeling Ex- ample. LNCS, vol. 5153, pp. 327-356. Springer, Heidelberg (2008)
  351. Grassi, V., Mirandola, R., Sabetta, A.: A model-driven approach to performability analysis of dynamically reconfigurable component-based systems. In: WOSP 2007, pp. 103-114 (2007)
  352. Haverkort, B.R., Marie, R., Rubino, G., Trivedi, K. (eds.): Performability Modelling: Techniques and Tools. J. Wiley and Sons, Chichester (2001)
  353. Hofmeister, C.: Dynamic reconfiguration of distributed applications, PhD dissertation, Dept. of Computer Science, University of Maryland (1993)
  354. Irmert, F., Fischer, T., Meyer-Wegener, K.: Runtime Adaptation in a Service-Oriented Component Model. In: SEAMS 2008 (2008)
  355. Kacem, M.H., Miladi, M.N., Jmaiel, M., Kacem, A.H., Drira, K.: Towards a UML profile for the description of dynamic software architectures. In: COEA 2005, pp. 25-39 (2005)
  356. Kephart, J.O., Chess, D.M.: The vision of autonomic computing. IEEE Computer 36(1) (2003)
  357. KLAPER project website, http://klaper.sf.net
  358. Kramer, J., Magee, J.: Self-managed systems: an architectural challenge. In: FOSE 2007: Future of Software Engineering, Washington, DC, USA, May 23-25 (2007)
  359. Lavenberg, S.S.: Computer Performance Modeling Handbook. Academic Press, New York (1983)
  360. Kleppe, A., Warmer, J., Bast, W.: MDA Explained: The Model Driven Architecture (TM): Practice and Promise. Addison-Wesley Object Technology Series (2003)
  361. Oreizy, P., Medvidovic, N., Taylor, R.N.: Runtime software adaptation: framework, ap- proaches, and styles. In: ICSE Companion 2008, pp. 899-910 (2008)
  362. Papazoglou, M., Georgakopolous, D.: Service-Oriented Computing. Communication of the ACM 46(10)
  363. Petriu, D.B., Woodside, M.: An intermediate metamodel with scenarios and resources for generating performance models from UML designs. Software and Systems Modeling 2, 163-184 (2007)
  364. SHARPE, http://www.ee.duke.edu/~kst/
  365. Smith, C.U., Williams, L.: Performance solutions: A Practical Guide to Creating Respon- sive, Scalable Software. Addison Wesley, Reading (2002)
  366. UML 2.0 Superstructure Specification, OMG Adopted Specification ptc/03-08-02, http://www.omg.org/docs/ptc/03-08-02.pdf
  367. Zhang, J., Cheng, B.H.C.: Model-based development of dynamically adaptive software. In: ICSE 2006, pp. 371-380 (2006) References
  368. Koren, I., Krishna, C.M.: Fault-Tolerant Systems. Morgan Kaufmann, San Fran- cisco (2007)
  369. Laprie, J.C., Avizienis, A., Kopetz, H. (eds.): Dependability: Basic Concepts and Terminology. Springer, New York (1992)
  370. Kephart, J.O., Chess, D.M.: The vision of autonomic computing. IEEE Com- puter 36(1), 41-50 (2003)
  371. Rosenblum, D.S.: A practical approach to programming with assertions. IEEE Transactions on Software Engineering 21(1), 19-31 (1995)
  372. Das, M.: Formal specifications on industrial-strength code-from myth to reality. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol. 4144, p. 1. Springer, Heidelberg (2006) (invited talk)
  373. Machado, P.D.L.: Testing from Structured Algebraic Specifications: The Oracle Problem. PhD thesis, University of Edinburgh (2000)
  374. Richardson, D.J., Aha, S.L., O'Malley, T.O.: Specification-based test oracles for re- active systems. In: Proceedings of the 14th International Conference on Software Engineering, ICSE 1992, pp. 105-118 (1992)
  375. Ciupa, I., Meyer, B., Oriol, M., Pretschner, A.: Finding faults: Manual testing vs. random testing+ vs. user reports. Technical Report 595, Department of Computer Science, ETH Zurich, Switzerland (2008)
  376. Voas, J.M., Miller, K.W.: Putting assertions in their place. In: Proceedings of the 5th International Symposium on Software Reliability Engineering, pp. 152-157 (1994)
  377. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Professional, Reading (1994)
  378. Wuttke, J.: Property classes and assertions supporting runtime failure detection. Technical report, University of Lugano, Switzerland (2008)
  379. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the 1999 International Conference on Software Engineering, ICSE 1999, pp. 411-420 (1999)
  380. Cobleigh, R.L., Avrunin, G.S., Clarke, L.A.: User guidance for creating precise and accessible property specifications. In: Proceedings of the 14th ACM SIGSOFT Inter- national Symposium on Foundations of Software Engineering, SIGSOFT 2006/FSE- 14 2006, pp. 208-218 (2006)
  381. Zibin, Y., Potanin, A., Ali, M., Artzi, S., Kieżun, A., Ernst, M.D.: Object and refer- ence immutability using java generics. In: ESEC-FSE 2007: Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIG- SOFT Symposium on the Foundations of Software Engineering, pp. 75-84. ACM, New York (2007)
  382. Unkel, C., Lam, M.S.: Automatic inference of stationary fields: a generalization of java's final fields. In: Proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, pp. 183-195 (2008)
  383. Boyland, J.T., Retert, W.: Connecting effects and uniqueness with adoption. SIG- PLAN Notices 40(1), 283-295 (2005)
  384. Beckman, N.E., Bierhoff, K., Aldrich, J.: Verifying correct usage of atomic blocks and typestate. In: Proceedings of the 23rd ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 2008, pp. 227-244 (2008)
  385. Chan, E.C., Boyland, J.T., Scherlis, W.L.: Promises: Limited specifications for anal- ysis and manipulation. In: Proceedings of the 20th International Conference on Soft- ware Engineering, ICSE 1998 (1998)
  386. Qin, F., Tucek, J., Sundaresan, J., Zhou, Y.: Rx: Treating bugs as allergies -a safe method to survive software failures. In: Proceedings of the 20th ACM Symposium on Operating Systems Principles, SOSP 2005, pp. 235-248 (2005)
  387. Goldstein, M., Shehory, O., Weinsberg, Y.: Can self-healing software cope with loi- tering? In: Proceedings of the 4th International Workshop on Software Quality As- surance, SoQUA 2007, pp. 1-8 (2007)
  388. Candea, G., Kawamoto, S., Fujiki, Y., Friedman, G., Fox, A.: Microreboot -a tech- nique for cheap recovery. In: Proceedings of the 6th Symposium on Operating Sys- tems Design and Implementation (2004)
  389. Antoy, S., Hamlet, R.: Automatically checking an implementation against its formal specification. IEEE Transactions on Software Engineering 26(1), 55-69 (2000)
  390. Barnett, M., Leino, K.R.M., Schulte, W.: The Spec# programming system: An overview. In: Barthe, G., Burdy, L., Huisman, M., Lanet, J.-L., Muntean, T. (eds.) CASSIS 2004. LNCS, vol. 3362, pp. 49-69. Springer, Heidelberg (2005)
  391. Cheon, Y., Leavens, G.T.: The JML and JUnit way of unit testing and its imple- mentation. Technical Report TR #04-02, Department of Computer Science -Iowa State University (2004)
  392. Hangal, S., Lam, M.S.: Tracking down software bugs using automatic anomaly de- tection. In: Proceedings of the 24th International Conference on Software Engineer- ing, ICSE 2002, pp. 291-301. ACM, New York (2002)
  393. Baah, G.K., Gray, A., Harrold, M.J.: On-line anomaly detection of deployed soft- ware: a statistical machine learning approach. In: Proceedings of the 3rd Interna- tional Workshop on Software Quality Assurance, SOQUA 2006, pp. 70-77. ACM, New York (2006)
  394. Lorenzoli, D., Mariani, L., Pezzè, M.: Automatic generation of software behavioral models. In: Proceedings of the 30th International Conference on Software Engineer- ing, ICSE 2008, pp. 501-510. ACM, New York (2008)
  395. Skene, J., Lamanna, D.D., Emmerich, W.: Precise service level agreements. In: Pro- ceedings of the 26th International Conference on Software Engineering, pp. 179-188 (2004) References
  396. Choco constraint programming system, http://choco.sourceforge.net/
  397. Barbier, F.: MDE-based Design and Implementation of Autonomic Software Compo- nents. In: 5th IEEE International Conference on Cognitive Informatics, 2006. ICCI 2006, vol. 1 (2006)
  398. Barki, H., Rivard, S., Talbot, J.: Toward an assessment of software development risk. Journal of Management Information Systems 10(2), 203-225 (1993)
  399. Batory, D.: Feature Models, Grammars, and Prepositional Formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, pp. 7-20. Springer, Heidelberg (2005)
  400. Benavides, D., Trinidad, P., Ruiz-Cortés, A.: Automated Reasoning on Feature Mod- els. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 491- 503. Springer, Heidelberg (2005)
  401. Bhat, V., Parashar, M., Liu, H., Khandekar, M., Kandasamy, N., Abdelwahed, S.: Enabling Self-Managing Applications using Model-based Online Control Strategies. In: Proceedings of the 3rd IEEE International Conference on Autonomic Computing, Dublin, Ireland (June 2006)
  402. Calinescu, R.: Model-Driven Autonomic Architecture. In: Proceedings of the 4th IEEE International Conference on Autonomic Computing, Jacksonville, Florida, USA (June 2007)
  403. Candea, G., Kawamoto, S., Fujiki, Y., Friedman, G., Fox, A.: Microreboot-a tech- nique for cheap recovery. In: Proceedings of the 6th Symposium on Operating Sys- tems Design and Implementation, pp. 31-44 (2004)
  404. Czarnecki, K., Antkiewicz, M., Kim, C., Lau, S., Pietroszek, K.: FMP and FMP2RSM: Eclipse Plug-ins for Modeling Features Using Model Templates. In: Conference on Object Oriented Programming Systems Languages and Applications, pp. 200-201 (October 2005)
  405. Oppenheimer, D.P.D., Ganapathi, A.: Why do Internet Services Fail, and What can be Done about It? In: Proceedings of the USENIX Symposium on Internet Tech- nologies and Systems (March 2003)
  406. Denaro, G., Pezze, M., Tosi, D.: Designing Self-Adaptive Service-Oriented Appli- cations. In: 4th IEEE International Conference on Autonomic Computing, Jack- sonville, Florida (June 2007)
  407. Elkorobarrutia, X., Izagirre, A., Sagardui, G.: A Self-Healing Mechanism for State Machine Based Components. In: Proceedings of the 1st International Conference on Ubiquitous Computing: Applications, Technology and Social Issues, Alcalá de Henares, Madrid, Spain (June 2006)
  408. Johnson, R., Hoeller, J.: Expert one-on-one J2EE development without EJB. Wrox (2004)
  409. Joshi, K., Sanders, W., Hiltunen, M., Schlichting, R.: Automatic Model-Driven Re- covery in Distributed Systems. In: The 24th IEEE Symposium on Reliable Dis- tributed Systems (SRDS 2005), pp. 25-38 (2005)
  410. Kang, K., Kim, S., Lee, J., Kim, K., Shin, E., Huh, M.: FORM: A feature-; oriented reuse method with domain-; specific reference architectures. Annals of Software En- gineering 5, 143-168 (1998)
  411. Lapouchnian, A., Liaskos, S., Mylopoulos, J., Yu, Y.: Towards Requirements-driven Autonomic Systems Design. In: Proceedings of the 2005 workshop on Design and evolution of autonomic application software, pp. 1-7 (2005)
  412. Linberg, K.: Software developer perceptions about software project failure: a case study. The Journal of Systems & Software 49(2-3), 177-192 (1999)
  413. Mannion, M.: Using First-order Logic for Product Line Model Validation. In: Chastek, G.J. (ed.) SPLC 2002. LNCS, vol. 2379, pp. 176-187. Springer, Heidelberg (2002)
  414. Mostofa Akbar, M., Sohel Rahman, M., Kaykobad, M., Manning, E., Shoja, G.: Solv- ing the Multidimensional Multiple-choice Knapsack Problem by constructing convex hulls. Computers and Operations Research 33(5), 1259-1273 (2006)
  415. Schach, S.: Object-oriented and classical software engineering. McGraw-Hill Higher Education, Boston (2005)
  416. Trinidad, P., Benavides, D., Durán, A., Ruiz-Cortés, A., Toro, M.: Automated error analysis for the agilization of feature modeling. Journal of Systems and Software (in press) (2007)
  417. White, J., Czarnecki, K., Schmidt, D.C., Lenz, G., Wienands, C., Wuchner, E., Fiege, L.: Automated Model-based Configuration of Enterprise Java Applications. In: EDOC 2007 (October 2007)
  418. White, J., Dougherty, B., Schmidt, D.: Filtered Cartesian Flattening. In: Workshop on Analysis of Software Product-Lines at the International Conference on Software Product-lines (October 2008)
  419. White, J., Nechypurenko, A., Wuchner, E., Schmidt, D.C.: Optimizing and Au- tomating Product-Line Variant Selection for Mobile Devices. In: 11th International Software Product Line Conference (September 2007)
  420. White, J., Strowd, H., Schmidt, D.C.: Creating Self-healing Service Compositions with Feature Modeling and Microrebooting. In: The International Journal of Busi- ness Process Integration and Management (IJBPIM), Special issue on Model-Driven Service-Oriented Architectures (2008)
  421. Whittaker, B.: What went wrong? Unsuccessful information technology projects. Information Management And Computer Security 7, 23-29 (1999)

Related papers

Software Engineering for Self-Adaptive Systems: A Second Research Roadmap
Gabriel Tamura

The goal of this roadmap paper is to summarize the state-of-the-art and identify research challenges when developing, deploying and managing self-adaptive software systems. Instead of dealing with a wide range of topics associated with the field, we focus on four essential topics of self-adaptation: design space for adaptive solutions, processes, from centralized to decentralized control, and practical run-time verification and validation. For each topic, we present an overview, suggest future directions, and focus on selected challenges. This paper complements and extends a previous roadmap on software engineering for self-adaptive systems published in 2009 covering a different set of topics, and reflecting in part on the previous paper. This roadmap is one of the many results of the Dagstuhl Seminar 10431 on Software Engineering for Self-Adaptive Systems, which took place in October 2010.

View PDFchevron_right
Software Engineering for Self-Adaptive Systems: A Research Road Map (Draft Version)
Gabriel Tamura

ABSTRACT Software's ability to adapt at run-time to changing user needs, system intrusions or faults, changing operational environment, and resource variability has been proposed as a means to cope with the complexity of today's softwareintensive systems. Such self-adaptive systems can configure and reconfigure themselves, augment their functionality, continually optimize themselves, protect themselves, and recover themselves, while keeping most of their complexity hidden from the user and administrator.

View PDFchevron_right
08031–software engineering for self-adaptive systems: A research road map
N. Bencomo

2008

Software's ability to adapt at run-time to changing user needs, system intrusions or faults, changing operational environment, and resource variability has been proposed as a means to cope with the complexity of today's softwareintensive systems. Such self-adaptive systems can configure and reconfigure themselves, augment their functionality, continually optimize themselves, protect themselves, and recover themselves, while keeping most of their complexity hidden from the user and administrator. In this paper, we present research road map for software engineering of selfadaptive systems focusing on four views, which we identify as essential: requirements, modelling, engineering, and assurances.

View PDFchevron_right
08031 Abstracts Collection--Software Engineering for Self-Adaptive Systems}
H. Giese

2008

Software's ability to adapt at run-time to changing user needs, system intrusions or faults, changing operational environment, and resource variability has been proposed as a means to cope with the complexity of today's software-intensive systems. Such self-adaptive systems can congure and recongure themselves, augment their functionality, continually optimize themselves, protect themselves, and recover themselves, while keeping most of their complexity hidden from the user and administrator. In this paper, we present research road map for software engineering of self-adaptive systems focusing on four views, which we identify as essential: requirements, modelling, engineering, and assurances.

View PDFchevron_right
Software Engineering for Self-Adaptive Systems II
Hausi A Muller

Lecture Notes in Computer Science, 2013

The goal of this roadmap paper is to summarize the stateof-the-art and identify research challenges when developing, deploying and managing self-adaptive software systems. Instead of dealing with a wide range of topics associated with the field, we focus on four essential topics of self-adaptation: design space for adaptive solutions, processes, from centralized to decentralized control, and practical run-time verification and validation. For each topic, we present an overview, suggest future directions, and focus on selected challenges. This paper complements and extends a previous roadmap on software engineering for self-adaptive systems published in 2009 covering a different set of topics, and reflecting in part on the previous paper. This roadmap is one of the many results of the Dagstuhl Seminar 10431 on Software Engineering for Self-Adaptive Systems, which took place in October 2010.

View PDFchevron_right
580 California St., Suite 400
San Francisco, CA, 94104
© 2025 Academia. All rights reserved