Skip to main content
SpringerLink
Log in

Systematic literature review of the objectives, techniques, kinds, and architectures of models at runtime

  • Regular Paper
  • Published:
Software & Systems Modeling Aims and scope Submit manuscript

Abstract

In the context of software development, models provide an abstract representation of a software system or a part of it. In the software development process, they are primarily used for documentation and communication purposes in analysis, design, and implementation activities. Model-Driven Engineering (MDE) further increases the importance of models, as in MDE models are not only used for documentation and communication, but as central artefacts of the software development process. Various recent research approaches take the idea of using models as central artefacts one step further by using models at runtime to cope with dynamic aspects of ever-changing software and its environment. In this article, we analyze the usage of models at runtime in the existing research literature using the Systematic Literature Review (SLR) research method. The main goals of our SLR are building a common classification and surveying the existing approaches in terms of objectives, techniques, architectures, and kinds of models used in these approaches. The contribution of this article is to provide an overview and classification of current research approaches using models at runtime and to identify research areas not covered by models at runtime so far.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14
Fig. 15
Fig. 16
Fig. 17
Fig. 18

Similar content being viewed by others

Notes

  1. See: http://dl.acm.org/.

  2. See: http://ieeexplore.ieee.org/.

  3. See: http://fractal.ow2.org/fscript/.

  4. See: https://www.connect-forever.eu/.

References

  1. Ahmad, M.: First step towards a domain specific language for self-adaptive systems. In: New Technologies of Distributed Systems (NOTERE), 2010 10th Annual International Conference on, pp. 285–290 (2010)

  2. Ahn, Y., Yeo, I., Bettati, R.: Efficient calibration of thermal models based on application behavior. In: Proceedings of the 2009 IEEE International Conference on Computer Design ICCD’09, pp. 41–46. IEEE Press, Piscataway (2009)

  3. Alferez, G.H., Pelechano, V.: Context-aware autonomous web services in software product lines. In: Proceedings of the 2011 15th International Software Product Line Conference SPLC ’11, pp. 100–109. IEEE Computer Society, Washington, DC, USA (2011)

  4. Alférez, G.H., Pelechano, V.: Dynamic evolution of context-aware systems with models at runtime. In: Proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems MODELS’12, pp. 70–86. Springer, Berlin (2012)

  5. Alia, M., Eliassen, F., Hallsteinsen, S., Stav, E.: Madam: towards a flexible planning-based middleware. In: Proceedings of the 2006 International Workshop on Self-Adaptation and Self-Managing Systems SEAMS ’06, pp. 96–96. ACM, New York (2006)

  6. Alia, M., Horn, G., Eliassen, F., Khan, M., Fricke, R., Reichle, R.: A component-based planning framework for adaptive systems. In: Meersman, R., Tari, Z. (eds.) On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE volume 4276 of Lecture Notes in Computer Science, pp. 1686–1704. Springer, Berlin (2006)

  7. Almorsy, M., Grundy, J., Ibrahim, A.S.: Mdse@r: model-driven security engineering at runtime. In: Proceedings of the 4th International Conference on Cyberspace Safety and Security CSS’12, pp. 279–295. Springer, Berlin (2012)

  8. Amoui, M., Derakhshanmanesh, M., Ebert, J., Tahvildari, L.: Software evolution towards model-centric runtime adaptivity. In: Proceedings of the 2011 15th European Conference on Software Maintenance and Reengineering CSMR ’11, pp. 89–92. IEEE Computer Society, Washington, DC, USA (2011)

  9. Amoui, M., Derakhshanmanesh, M., Ebert, J., Tahvildari, L.: Achieving dynamic adaptation via management and interpretation of runtime models. J. Syst. Softw. 85(12), 2720–2737 (2012)

    Article  Google Scholar 

  10. Andersen, A., Blair, G., Coulson, G.: The design and implementation of openorb v2. page n/a (2001)

  11. Arcaini, P., Gargantini, A., Riccobene, E.: Coma: conformance monitoring of java programs by abstract state machines. In: Proceedings of the Second International Conference on Runtime Verification RV’11, pp. 223–238. Springer, Berlin (2012)

  12. Ardagna, D., Ghezzi, C., Mirandola, R.: Rethinking the use of models in software architecture. In: Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures QoSA ’08, pp. 1–27. Springer, Berlin (2008)

  13. Aßmann, U., Bencomo, N., Cheng, B.H.C., France, R.B.: Models@run.time (dagstuhl seminar 11481). Dagstuhl Rep. 1(11), 91–123 (2011)

    Google Scholar 

  14. Avouac, P.-A., Lalanda, P., Nigay, L.: Autonomic management of multimodal interaction: dynamo in action. In: Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems EICS ’12, pp. 35–44. ACM, New York (2012)

  15. Bai, X., Liu, Y., Wang, L., Tsai, W.-T., Zhong, P.: Model-based monitoring and policy enforcement of services. In: Proceedings of the 2009 Congress on Services—I Services ’09, pp. 789–796. IEEE Computer Society, Washington, DC, USA (2009)

  16. Barbier, F.: Mde-based design and implementation of autonomic software components. In: Cognitive Informatics, 2006. ICCI 2006. 5th IEEE International Conference on vol. 1, pp. 163–169 (2006)

  17. Barbier, F., Ballagny, C.: Proved metamodels as backbone for software adaptation. In: Proceedings of the 2010 IEEE 12th International Symposium on High-Assurance Systems Engineering, HASE ’10, pp. 114–121. IEEE Computer Society, Washington, DC, USA (2010)

  18. Bauer, A., Jürjens, J., Yu, Y.: Run-time security traceability for evolving systems and &#8224. Comput. J. 54(1), 58–87 (2011)

    Article  Google Scholar 

  19. Beltrame, G., Sciuto, D., Silvano, C., Lyonnard, D., Pilkington, C.: Exploiting tlm and object introspection for system-level simulation. In: Proceedings of the Conference on Design, Automation and Test in Europe: Proceedings, DATE ’06, pp. 100–105, 3001 Leuven, Belgium, Belgium, European Design and Automation Association (2006)

  20. Bencomo, N.: On the use of software models during software execution. In: Proceedings of the 2009 ICSE Workshop on Modeling in Software Engineering MISE ’09, pp. 62–67. Washington, DC, USA, IEEE Computer Society (2009)

  21. Bencomo, N., Belaggoun, A.: Supporting decision-making for self-adaptive systems: from goal models to dynamic decision networks. In: Doerr, J., Opdahl, A. (eds). Requirements Engineering: Foundation for Software Quality vol. 7830 of Lecture Notes in Computer Science (pp. 221–236). Springer, Berlin (2013)

  22. Bencomo, N., Belaggoun, A., Issarny, V.: Dynamic decision networks for decision-making in self-adaptive systems: a case study. In: Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems SEAMS ’13, pp. 113–122. IEEE Press, Piscataway (2013)

  23. Bencomo, N., Bennaceur, A., Grace, P., Blair, G., Issarny, V.: The role of models@run.time in supporting on-the-fly interoperability. Computing 95(3), 167–190 (2013)

    Article  MATH  Google Scholar 

  24. Bencomo, N., Blair, G., France, R.: Summary of the workshop models@run.time at models 2006. In: Proceedings of the 2006 International Conference on Models in Software Engineering, MoDELS’06, pp. 227–231. Springer, Berlin (2006)

  25. Bencomo, N., Blair, G., France, R., Muñoz, F., Jeanneret, C.: Models in software engineering. In: Third International Workshop on Models@run.time, pp. 90–96. Springer, Berlin (2009)

  26. Bencomo, N., Blair, G., France, R., Muñoz, F., Jeanneret, C.: 4th international workshop on models@run.time. In: Proceedings of the 2009 International Conference on Models in Software Engineering MODELS’09, pp. 119–123. Springer, Berlin (2010)

  27. Bencomo, N., Blair, G., Götz, S., Morin, B., Rumpe, B.: Report on the 7th international workshop on models@run.time. SIGSOFT Softw. Eng. Notes 38(1), 27–30 (2013)

    Article  Google Scholar 

  28. Bencomo, N., Blair, G.S., France, R.B.: Models@run.time workshops. http://www.comp.lancs.ac.uk/bencomo/MRT/. Accessed: 28/12/2012

  29. Bencomo, N., France, R., Blair, G.: Models in software engineering. In: Second International Workshop on Models@run.time, pp. 206–211. Springer, Berlin (2008)

  30. Bencomo, N., Whittle, J., Sawyer, P., Finkelstein, A., Letier, E.: Requirements reflection: requirements as runtime entities. In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering—vol. 2 ICSE ’10, pp. 199–202. ACM, New York (2010)

  31. Bertolino, A., Calabrò, A., Lonetti, F., Di Marco, A., Sabetta, A.: Towards a model-driven infrastructure for runtime monitoring. In: Proceedings of the Third International Conference on Software Engineering for Resilient Systems SERENE’11, pp. 130–144. Springer, Berlin (2011)

  32. Betermieux, S., Bomsdorf, B.: Finalizing dialog models at runtime. In: Proceedings of the 7th International Conference on Web Engineering ICWE’07, pp. 137–151. Springer, Berlin (2007)

  33. Beugnard, A., Jézéquel, J.-M., Plouzeau, N., Watkins, D.: Making components contract aware. Computer 32(7), 38–45 (1999)

    Article  Google Scholar 

  34. Blair, G., Bencomo, N., France, R.B.: Models@run.time. Computer 42(10), 22–27 (2009)

    Google Scholar 

  35. Blumendorf, M., Feuerstack, S., Albayrak, S.: Multimodal user interfaces for smart environments: the multi-access service platform. In: Proceedings of the Working Conference on Advanced Visual Interfaces AVI ’08, pp. 478–479. ACM, New York (2008)

  36. Blumendorf, M., Lehmann, G., Feuerstack, S., Albayrak, S.: Interactive systems. design, specification, and verification. In: Executable Models for Human-Computer Interaction, pp. 238–251. Springer, Berlin (2008)

  37. Bodenstaff, L., Wombacher, A., Reichert, M., Wieringa, R.: Made4ic: an abstract method for managing model dependencies in inter-organizational cooperations. Serv. Oriented Comput. Appl. 4(3), 203–228 (2010)

    Article  Google Scholar 

  38. Bomsdorf, B., Grau, S., Hudasch, M., Milde, J.-T.: Configurable executable task models supporting the transition from design time to runtime. In: Proceedings of the 14th International Conference on Human-Computer Interaction: Design and Development Approaches—Volume Part I, HCII’11, pp. 155–164. Springer, Berlin (2011)

  39. Bromberg, Y.-D., Grace, P., Réveillère, L.: Starlink: Runtime interoperability between heterogeneous middleware protocols. In: Proceedings of the 2011 31st International Conference on Distributed Computing Systems ICDCS ’11, pp. 446–455. IEEE Computer Society, Washington, DC, USA (2011)

  40. Bruno, G., La Rosa, M.: From collaboration models to bpel processes through service models. In: Proceedings of the Third International Conference on Business Process Management BPM’05, pp. 75–88. Springer, Berlin (2006)

  41. Buchheit, M., Klein, R., Nutt, W.: Constructive Problem Solving: A Model Construction Approach Towards Configuration. Technical report, DFKI (1995)

  42. Budgen, D., Burn, A.J., Brereton, O.P., Kitchenham, B.A., Pretorius, R.: Empirical evidence about the uml: a systematic literature review. Softw. Pract. Exper. 41(4), 363–392 (2011)

    Article  Google Scholar 

  43. Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern-Oriented Software Architecture: A System of Patterns, Vol. 1. Number Bd. 1. Wiley India Pvt. Limited (2008)

  44. Calinescu, R., France, R., Ghezzi, C.: Editorial. Computing 95(3), 165–166 (2013)

    Article  MATH  Google Scholar 

  45. Calinescu, R., Grunske, L., Kwiatkowska, M., Mirandola, R., Tamburrelli, G.: Dynamic qos management and optimization in service-based systems. IEEE Trans. Softw. Eng. 37(3), 387–409 (2011)

    Article  Google Scholar 

  46. Callow, G., Watson, G., Kalawsky, R.: System modelling for run-time verification and validation of autonomous systems. In: System of Systems Engineering (SoSE), 2010 5th International Conference on, pp. 1–7 (2010)

  47. Caporuscio, M., Di Marco, A., Inverardi, P.: Model-based system reconfiguration for dynamic performance management. J. Syst. Softw. 80(4), 455–473 (2007)

    Article  Google Scholar 

  48. Caporuscio, M., Marco, A.D., Inverardi, P.: Run-time performance management of the siena publish/subscribe middleware. In: Proceedings of the 5th International Workshop on Software and Performance, WOSP ’05, pp. 65–74. ACM, New York (2005)

  49. Cardellini, V., Casalicchio, E., Grassi, V., Lo Presti, F., Mirandola, R.: Qos-driven runtime adaptation of service oriented architectures. In: Proceedings of the the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering, ESEC/FSE ’09, pp. 131–140. ACM, New York (2009)

  50. Cariou, E., Barbier, F., Goaer, O.L.: Model execution adaptation? In: Proceedings of the 7th Workshop on Models@run.time MRT ’12, pp. 60–65. ACM, New York (2012)

  51. Casale, G., Harrison, P.: A class of tractable models for run-time performance evaluation. In: Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering ICPE ’12, pp. 63–74. ACM, New York (2012)

  52. Casanova, P., Schmerl, B., Garlan, D., Abreu, R.: Architecture-based run-time fault diagnosis. In: Proceedings of the 5th European Conference on Software Architecture, ECSA’11, pp. 261–277. Springer, Berlin (2011)

  53. Cavallaro, L., Sawyer, P., Sykes, D., Bencomo, N., Issarny, V.: Satisfying requirements for pervasive service compositions. In: Proceedings of the 7th Workshop on Models@run.time MRT ’12, pp. 17–22. ACM, New York (2012)

  54. Cazzola, W., Ghoneim, A., Saake, G.: Software evolution through dynamic adaptation of its oo design. In: Ryan, M., Meyer, J.-J., Ehrich, H.-D. (eds.) Objects, Agents, and Features, volume 2975 of Lecture Notes in Computer Science, pp. 67–80. Springer, Berlin (2004)

  55. Cetina, C., Fons, J., Pelechano, V.: Applying software product lines to build autonomic pervasive systems. In: Proceedings of the 2008 12th International Software Product Line Conference SPLC ’08, pp. 117–126. IEEE Computer Society, Washington, DC, USA (2008)

  56. Cetina, C., Giner, P., Fons, J., Pelechano, V.: A model-driven approach for developing self-adaptive pervasive systems

  57. Cetina, C., Giner, P., Fons, J., Pelechano, V.: Autonomic computing through reuse of variability models at runtime: the case of smart homes. Computer 42(10), 37–43 (2009)

    Article  Google Scholar 

  58. Cetina, C., Giner, P., Fons, J., Pelechano, V.: Using feature models for developing self-configuring smart homes. In: Proceedings of the 2009 Fifth International Conference on Autonomic and Autonomous Systems ICAS ’09, pp. 179–188. IEEE Computer Society, Washington, Dc, USA (2009)

  59. Chaari, T., Fakhfakh, K.: Semantic modeling and reasoning at runtime for autonomous systems engineering. In: Proceedings of the 2012 9th International Conference on Ubiquitous Intelligence and Computing and 9th International Conference on Autonomic and Trusted Computing UIC-ATC ’12, pp. 415–422. IEEE Computer Society, Washington, DC, USA (2012)

  60. Chang, H., Collet, P.: Compositional patterns of non-functional properties for contract negotiation. JSW 2(2), 52–63 (2007)

    Article  Google Scholar 

  61. Chen, D., Törngren, M., Persson, M., Feng, L., Qureshi, T.N.: Towards model-based engineering of self-configuring embedded systems. In: Proceedings of the 2007 International Dagstuhl Conference on Model-Based Engineering of Embedded Real-Time Systems, MBEERTS’07, pp. 345–353. Springer, Berlin (2010)

  62. Cheng, S.-W., Garlan, D., Schmerl, B.R., Sousa, J.A.P., Spitznagel, B., Steenkiste, P., Hu, N.: Software architecture-based adaptation for pervasive systems. In: Proceedings of the International Conference on Architecture of Computing Systems: Trends in Network and Pervasive Computing ARCS ’02, pp. 67–82. Springer, London (2002)

  63. Costa, F., Provensi, L.L., Vaz, F.F.: Towards a more effective coupling of reflection and runtime metamodels for middleware. In: Workshop on Models at Runtime (2006)

  64. Costa, F.M., Blair, G.S.: Integrating meta-information management and reflection in middleware. In: Proceedings of the International Symposium on Distributed Objects and Applications DOA ’00, p. 133. IEEE Computer Society, Washington, DC, USA (2000)

  65. Coulson, G., Blair, G., Grace, P., Taiani, F., Joolia, A., Lee, K., Ueyama, J., Sivaharan, T.: A generic component model for building systems software. ACM Trans. Comput. Syst. 26(1), 1:1–1:42 (2008)

    Article  Google Scholar 

  66. Coutaz, J., Balme, L., Alvaro, X., Calvary, G., Demeure, A., Sottet, J.-S.: An mde-soa approach to support plastic user interfaces in ambient spaces. In: Proceedings of the 4th International Conference on Universal access in Human-Computer Interaction: Ambient interaction UAHCI’07, pp. 63–72. Springer, Berlin (2007)

  67. Criado, J., Iribarne, L., Padilla, N., Troya, J., Vallecillo, A.: An mde approach for runtime monitoring and adapting component-based systems: application to wimp user interface architectures. In: Proceedings of the 2012 38th Euromicro Conference on Software Engineering and Advanced Applications SEAA ’12, pp. 150–157. IEEE Computer Society, Washington, DC, USA (2012)

  68. Dalpiaz, F., Serral, E., Valderas, P., Giorgini, P., Pelechano, V.: A nfr-based framework for user-centered adaptation. In: Proceedings of the 31st International Conference on Conceptual Modeling ER’12, pp. 439–448. Springer, Berlin (2012)

  69. Daubert, E., Fouquet, F., Barais, O., Nain, G., Sunye, G., Jezequel, J.-M., Pazat, J.-L., Morin, B.: A models@runtime framework for designing and managing service-based applications. In: Software Services and Systems Research—Results and Challenges (S-Cube), 2012 Workshop on European, pp. 10–11 (2012)

  70. de Roo, A., Sozer, H., Aksit, M.: Runtime verification of domain-specific models of physical characteristics in control software. In: Secure Software Integration and Reliability Improvement (SSIRI), 2011 Fifth International Conference on pp. 41–50 (2011)

  71. Derakhshanmanesh, M., Amoui, M., O’Grady, G., Ebert, J., Tahvildari, L.: Graf: graph-based runtime adaptation framework. In: Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems SEAMS ’11, pp. 128–137. ACM, New York (2011)

  72. Derakhshanmanesh, M., Salehie, M., Ebert, J.: Towards model-centric engineering of a dynamic access control product line. In: Proceedings of the 16th International Software Product Line Conference—Volume 2 SPLC ’12, pp. 151–155. ACM, New York (2012)

  73. 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 Trans. Auton. Adapt. Syst. 1(2), 223–259 (2006)

    Google Scholar 

  74. Dubus, J., Merle, P.: Applying omg d & c specification and eca rules for autonomous distributed component-based systems. In: Proceedings of the 2006 International Conference on Models in Software Engineering MoDELS’06, pp. 242–251. Springer, Berlin (2006)

  75. Easterbrook, S., Singer, J., Storey, M.A., Damian, D.: Selecting empirical methods for software engineering research

  76. Elkorobarrutia, X., Muxika, M., Sagardui, G., Barbier, F., Aretxandieta, X.: A framework for statechart based component reconfiguration. In: Proceedings of the Fifth IEEE Workshop on Engineering of Autonomic and Autonomous Systems EASE ’08, pp. 37–45. IEEE Computer Society, Washington, DC, USA (2008)

  77. Epifani, I., Ghezzi, C., Mirandola, R., Tamburrelli, G.: Model evolution by run-time parameter adaptation. In: Proceedings of the 31st International Conference on Software Engineering ICSE ’09, pp. 111–121. IEEE Computer Society, Washington, DC, USA (2009)

  78. Feuerstack, S., Anjo, M.D.S., Pizzolato, E.B.: Model-based design and generation of a gesture-based user interface navigation control. In: Proceedings of the 10th Brazilian Symposium on on Human Factors in Computing Systems and the 5th Latin American Conference on Human-Computer Interaction IHC+CLIHC ’11, pp. 227–231, Porto Alegre, Brazil, Brazil, Brazilian Computer Society (2011)

  79. Feuerstack, S., Blumendorf, M., Schwartze, V., Albayrak, S.: Model-based layout generation. In: Proceedings of the Working Conference on Advanced Visual Interfaces AVI ’08, pp. 217–224. ACM, New York (2008)

  80. Feuerstack, S., Pizzolato, E.B.: Engineering device-spanning, multimodal web applications using a model-based design approach. In: Proceedings of the 18th Brazilian Symposium on Multimedia and the web, WebMedia ’12, pp. 29–38.ACM, New York (2012)

  81. Filieri, A., Ghezzi, C., Tamburrelli, G.: Run-time efficient probabilistic model checking. In: Proceedings of the 33rd International Conference on Software Engineering ICSE ’11, pp. 341–350. ACM, New York (2011)

  82. Fleurey, F., Dehlen, V., Bencomo, N., Morin, B., Jézéquel, J.-M.: Models in software engineering. In: Modeling and Validating Dynamic Adaptation, pp. 97–108. Springer, Berlin (2009)

  83. Floch, J., Hallsteinsen, S., Stav, E., Eliassen, F., Lund, K., Gjorven, E.: Using architecture models for runtime adaptability. IEEE Softw. 23(2), 62–70 (2006)

    Article  Google Scholar 

  84. Fouquet, F., Daubert, E., Plouzeau, N., Barais, O., Bourcier, J., Jézéquel, J.-M.: Dissemination of reconfiguration policies on mesh networks. In: Proceedings of the 12th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems DAIS’12, pp. 16–30. Springer, Berlin (2012)

  85. Fouquet, F., Morin, B., Fleurey, F., Barais, O., Plouzeau, N., Jezequel, J.-M.: A dynamic component model for cyber physical systems. In: Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering CBSE ’12, pp. 135–144. ACM, New York (2012)

  86. Fouquet, F., Nain, G., Morin, B., Daubert, E., Barais, O., Plouzeau, N., Jézéquel, J.-M.: An eclipse modelling framework alternative to meet the models@runtime requirements. In: Proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems MODELS’12, pp. 87–101. Springer, Berlin (2012)

  87. France, R., Rumpe, B.: Model-driven development of complex software: a research roadmap. In: 2007 Future of Software Engineering FOSE ’07, pp. 37–54. IEEE Computer Society, Washington, Dc, USA (2007)

  88. Frece, A., Juric, M.B.: Modeling functional requirements for configurable content- and context-aware dynamic service selection in business process models. J. Vis. Lang. Comput. 23(4), 223–247 (2012)

    Article  Google Scholar 

  89. Frey, A.G., Calvary, G., Dupuy-Chessa, S.: Users need your models!: exploiting design models for explanations. In: Proceedings of the 26th Annual BCS Interaction Specialist Group Conference on People and Computers, BCS-HCI ’12, pp. 79–88. British Computer Society, Swinton (2012)

  90. Fuentes, L., Sánchez, P.: Transactions on aspect-oriented software development vi. In: Dynamic Weaving of Aspect-Oriented Executable UML Models, pp. 1–38. Springer, Berlin (2009)

  91. Gamez, N., Fuentes, L., Aragüez, M.A.: Autonomic computing driven by feature models and architecture in famiware. In: Proceedings of the 5th European Conference on Software Architecture ECSA’11, pp. 164–179, Springer, Berlin (2011)

  92. Gao, Y., Yang, T., Xu, M., Xing, N.: An unsupervised anomaly detection approach for spacecraft based on normal behavior clustering. In: Proceedings of the 2012 Fifth International Conference on Intelligent Computation Technology and Automation ICICTA ’12, pp. 478–481. IEEE Computer Society, Washington, DC, USA (2012)

  93. García Frey, A.: Self-explanatory user interfaces by model-driven engineering. In: Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems EICS ’10, pp. 341–344. ACM, New York (2010)

  94. García Frey, A., Céret, E., Dupuy-Chessa, S., Calvary, G., Gabillon, Y.: Usicomp: an extensible model-driven composer. In: Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems EICS ’12, pp . 263–268. ACM, New York (2012)

  95. Garlan, D., Cheng, S.-W., Huang, A.-C., Schmerl, B., Steenkiste, P.: Rainbow: architecture-based self-adaptation with reusable infrastructure. Computer 37(10), 46–54 (2004)

    Article  Google Scholar 

  96. Garlan, D., Schmerl, B.: Model-based adaptation for self-healing systems. In: Proceedings of the First Workshop on Self-Healing Systems WOSS ’02, pp. 27–32, ACM, New York (2002)

  97. Garlan, D., Schmerl, B.: Using architectural models at runtime: research challenges. In: Oquendo, F., Warboys, B., Morrison, R. (eds.) Software Architecture, vol. 3047 of Lecture Notes in Computer Science, pp. 200–205. Springer, Berlin (2004)

  98. Garlan, D., Schmerl, B., Chang, J.: Using gauges for architecture-based monitoring and adaptation. In: Proceedings of the Working Conference on Complex and Dynamic Systems Architecture (2001)

  99. Garzon, S.R., Cebulla, M.: Model-based personalization within an adaptable human-machine interface environment that is capable of learning from user interactions. In: Proceedings of the 2010 Third International Conference on Advances in Computer-Human Interactions ACHI ’10, pp. 191–198. IEEE Computer Society, Washington (2010)

  100. Geihs, K., Reichle, R., Khan, M.U., Solberg, A., Hallsteinsen, S.: Model-driven development of self-adaptive applications for mobile devices: (research summary). In: Proceedings of the 2006 International Workshop on Self-Adaptation and Self-Managing Systems SEAMS ’06, pp. 95–95. ACM, New York (2006)

  101. Georgas, J.C., Hoek, A.V.D., Taylor, R.N.: Using architectural models to manage and visualize runtime adaptation. Computer 42(10), 52–60 (2009)

    Google Scholar 

  102. Ghezzi, C.: The fading boundary between development time and run time. In: Web Services (ECOWS), 2011 Ninth IEEE European Conference on, pp. 11–11 (2011)

  103. Ghezzi, C., Mocci, A., Sangiorgio, M.: Runtime monitoring of functional component changes with behavior models. In: Proceedings of the 2011th International Conference on Models in Software Engineering, MODELS’11, pp. 152–166. Springer, Berlin (2012)

  104. Ghezzi, C., Tamburrelli, G.: Predicting performance properties for open systems with kami. In: Proceedings of the 5th International Conference on the Quality of Software Architectures: Architectures for Adaptive Software Systems, QoSA ’09, pp. 70–85. Springer, Berlin (2009)

  105. Giese, H., Hildebrandt, S.: Incremental model synchronization for multiple updates. In: Proceedings of the Third International Workshop on Graph and Model Transformations GRaMoT ’08, pp. 1–8. ACM, New York (2008)

  106. Giese, H., Lambers, L., Becker, B., Hildebrandt, S., Neumann, S., Vogel, T., Wätzoldt, S.: Graph transformations for mde, adaptation, and models at runtime. In: Proceedings of the 12th International Conference on Formal Methods for the Design of Computer, Communication, and Software Systems: Formal Methods for Model-Driven Engineering SFM’12, pp. 137–191. Springer, Berlin (2012)

  107. Giese, H., Wagner, R.: Incremental model synchronization with triple graph grammars. In: Proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems MoDELS’06, pp. 543–557. Springer, Berlin (2006)

  108. Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. Softw. Syst. Model. 8, 21–43 (2009)

    Article  Google Scholar 

  109. Gjerlufsen, T., Ingstrup, M., Wolff, J., Olsen, O.: Mirrors of meaning: supporting inspectable runtime models. Computer 42(10), 61–68 (2009)

    Article  Google Scholar 

  110. Goldsby, H., Cheng, B.H.C., McKinley, P.K., Knoester, D.B., Ofria, C.: Digital evolution of behavioral models for autonomic systems. In: Strassner, J., Dobson, S.A., Fortes, J.A.B., Goswami, K.K. (eds.) ICAC, pp. 87–96. IEEE Computer Society (2008)

  111. Goldsby, H., Sawyer, P., Bencomo, N., Cheng, B.H.C., Hughes, D.: Goal-based modeling of dynamically adaptive system requirements. In: Engineering of Computer Based Systems, 2008. ECBS 2008. 15th Annual IEEE International Conference and Workshop on the pp. 36–45 (2008)

  112. Goldsby, H.J., Cheng, B.H.: Automatically generating behavioral models of adaptive systems to address uncertainty. In: Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems MoDELS ’08, pp. 568–583, Springer, Berlin (2008)

  113. Goldsby, H.J., Cheng, B.H., Zhang, J.: Models in software engineering. In: AMOEBA-RT: Run-Time Verification of Adaptive Software, pp. 212–224. Springer, Berlin (2008)

  114. Götz, S., Wilke, C., Cech, S., Aßmann, U.: Architecture and Mechanisms for Energy Auto Tuning. In: Proceeings of Sustainable ICTs and Management Systems for Green Computing (2012)

  115. Götz, S., Wilke, C., Schmidt, M., Cech, S., Aßmann, U.: Towards energy auto tuning. In: Proceedings of First Annual International Conference on Green Information Technology (GREEN IT), pp. 122–129 (2010)

  116. Grace, P., Blair, G., Samuel, S.: Remmoc: a reflective middleware to support mobile client interoperability, pp. 1170–1187 (2003)

  117. Grace, P., Blair, G.S., Cortes, C.F., Bencomo, N.: Engineering complex adaptations in highly heterogeneous distributed systems. In: Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems Autonomics ’08, pp. 27:1–27:10, ICST, Brussels, Belgium, Belgium, ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering) (2008)

  118. Grace, P., Blair, G.S., Samuel, S.: A reflective framework for discovery and interaction in heterogeneous mobile environments. SIGMOBILE Mob. Comput. Commun. Rev. 9(1), 2–14 (2005)

    Article  Google Scholar 

  119. Grace, P., Bromberg, Y.-D., Réveillère, L., Blair, G.: Overstar: an open approach to end-to-end middleware services in systems of systems. In: Proceedings of the 13th International Middleware Conference, Middleware ’12, pp. 229–248. Springer, New York (2012)

  120. Grace, P., Truyen, E., Lagaisse, B., Joosen, W.: The case for aspect-oriented reflective middleware. In: Proceedings of the 6th International Workshop on Adaptive and Reflective Middleware: Held at the ACM/IFIP/USENIX International Middleware Conference, p. 2. ACM (2007)

  121. Graf, P., Hubner, M., Müller-Glaser, K., Becker, J.: A graphical model-level debugger for heterogenous reconfigurable architectures. In: Field Programmable Logic and Applications, 2007. FPL 2007. International Conference on, pp. 722–725 (2007)

  122. Graf, P., Müller-Glaser, K.D.: Dynamic mapping of runtime information models for debugging embedded software. In: Proceedings of the Seventeenth IEEE International Workshop on Rapid System Prototyping RSP ’06, pp. 3–9. IEEE Computer Society, Washington, DC, USA (2006)

  123. Gu, Z., Wang, S., Kodase, S., Shin, K.G.: Multi-view modeling and analysis of embedded real-time software with meta-modeling and model transformation. In: Proceedings of the Eighth IEEE International Conference on High Assurance Systems Engineering HASE’04, pp. 32–41. IEEE Computer Society, Washington, DC, USA (2004)

  124. Haberl, W., Herrmannsdoerfer, M., Birke, J., Baumgarten, U.: Model-level debugging of embedded real-time systems. In: Proceedings of the 2010 10th IEEE International Conference on Computer and Information Technology, CIT ’10, pp. 1887–1894. IEEE Computer Society, Washington, DC, USA (2010)

  125. Halfond, W.G.J., Orso, A.: Amnesia: analysis and monitoring for neutralizing sql-injection attacks. In: Proceedings of the 20th IEEE/ACM international Conference on Automated Software Engineering ASE ’05, pp. 174–183. ACM, New York (2005)

  126. Hallsteinsen, S., Stav, E., Solberg, A., Floch, J.: Using product line techniques to build adaptive systems. In: Proceedings of the 10th International on Software Product Line Conference SPLC ’06, pp. 141–150. IEEE Computer Society, Washington, DC, USA (2006)

  127. Hamann, L., Gogolla, M., Honsel, D.: Towards supporting multiple execution environments for uml/ocl models at runtime. In: Proceedings of the 7th Workshop on Models@run.time, MRT ’12, pp. 46–51. ACM, New York (2012)

  128. Hamann, L., Gogolla, M., Kuhlmann, M.: Ocl-based runtime monitoring of jvm hosted applications. Electron. Commun. EASST, 44 (2011)

  129. Hamann, L., Hofrichter, O., Gogolla, M.: Ocl-based runtime monitoring of applications with protocol state machines. In: Proceedings of the 8th European Conference on Modelling Foundations and Applications ECMFA’12. pp. 384–399, Springer, Berlin (2012)

  130. Hao, R., Morin, B., Berre, A.-J.: A semi-automatic behavioral mediation approach based on models@runtime. In: Proceedings of the 7th Workshop on Models@run.time, MRT ’12, pp. 67–71, ACM, New York (2012)

  131. Hoehndorf, R., Ngomo, A.-C.N., Herre, H.: Developing consistent and modular software models with ontologies. In: Proceedings of the 2009 Conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT 09, pp. 399–412. IOS Press, Amsterdam (2009)

  132. Holmes, T.: From business application execution to design through model-based reporting. In: Proceedings of the 2012 IEEE 16th International Enterprise Distributed Object Computing Conference EDOC ’12, pp. 143–153. IEEE Computer Society, Washington, DC, USA (2012)

  133. Holmes, T., Zdun, U., Daniel, F., Dustdar, S.: Monitoring and analyzing service-based internet systems through a model-aware service environment. In: Proceedings of the 22nd International Conference on Advanced Information Systems Engineering, CAiSE’10, pp. 98–112. Springer, Berlin (2010)

  134. Holmes, T., Zdun, U., Dustdar, S.: Automating the management and versioning of service models at runtime to support service monitoring. In: Proceedings of the 2012 IEEE 16th International Enterprise Distributed Object Computing Conference, EDOC ’12, pp. 211–218. IEEE Computer Society, Washington, DC, USA (2012)

  135. Hooman, J., Hendriks, T.: Models in Software Engineering. In: Model-Based Run-Time Error Detection, pp. 225–236. Springer, Berlin (2008)

  136. Huang, G., Song, H., Mei, H.: Sm@rt: towards architecture-based runtime management of internetware systems. In: Proceedings of the First Asia-Pacific Symposium on Internetware, Internetware ’09, pp. 9:1–9:10, ACM, New York (2009)

  137. Huber, N., Brosig, F., Kounev, S.: Modeling dynamic virtualized resource landscapes. In: Proceedings of the 8th International ACM SIGSOFT Conference on Quality of Software Architectures, QoSA ’12, pp. 81–90. ACM, New York (2012)

  138. Hummer, W., Gaubatz, P., Strembeck, M., Zdun, U., Dustdar, S.: An integrated approach for identity and access management in a soa context. In: Proceedings of the 16th ACM Symposium on Access Control Models and Technologies, SACMAT ’11, pp. 21–30, ACM, New York (2011)

  139. Ingstrup, M., Hansen, K.M.: A declarative approach to architectural reflection. In: Proceedings of the 5th Working IEEE/IFIP Conference on Software Architecture, WICSA ’05, pp. 149–158, IEEE Computer Society, Washington (2005)

  140. Inverardi, P., Mori, M.: Feature oriented evolutions for context-aware adaptive systems. In: Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE), IWPSE-EVOL ’10, pp. 93–97, ACM, New York (2010)

  141. Inverardi, P., Mori, M.: Model checking requirements at run-time in adaptive systems. In: Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems, ASAS ’11, pp. 5–9, ACM, New York (2011)

  142. Inverardi, P., Mori, M.: Requirements models at run-time to support consistent system evolutions. In: Requirements@Run.Time (RE@RunTime), 2011 2nd International Workshop on, pp. 1–8 (2011)

  143. Inverardi, P., Mori, M.: A software lifecycle process to support consistent evolutions. In: Lemos, R., Giese, H., Müller, H., Shaw, M. (eds.) Software Engineering for Self-Adaptive Systems II, vol. 7475 of Lecture Notes in Computer Science, pp. 239–264. Springer, Berlin (2013)

  144. Inverardi, P., Pelliccione, P., Tivoli, M.: Towards an assume-guarantee theory for adaptable systems. In: Software Engineering for Adaptive and Self-Managing Systems, 2009. SEAMS ’09. ICSE Workshop on, pp. 106–115 (2009)

  145. Jiang, M., Zhang, J., Raymer, D., Strassner, J.: A modeling framework for self-healing software systems. In: Workshop “Models@run.time” at the 10th International Conference on model Driven Engineering Languages and Systems (2007)

  146. Kappel, G., Wimmer, M., Retschitzegger, W., Schwinger, W.: The evolution of conceptual modeling. In: Leveraging Model-Based Tool Integration by Conceptual Modeling Techniques, pp. 254–284. Springer, Berlin (2011)

  147. Kephart, J.O., Chess, D.M.: The vision of autonomic computing. Computer 36(1), 41–50 (2003)

    Article  MathSciNet  Google Scholar 

  148. Khan, M., Reichle, R., Geihs, K.: Architectural constraints in the model-driven development of self-adaptive applications. IEEE Distrib. Syst. Online 9(7), 1–1 (2008)

    Article  Google Scholar 

  149. Kindler, E.: Integrating behaviour in software models: an event coordination notation—concepts and prototype. In: Proceedings of the Third Workshop on Behavioural Modelling, BM-FA ’11, pp. 41–48. ACM, New York (2011)

  150. Kitchenham, B., Charters, S.: Guidelines for Performing Systematic Literature Reviews in Software Engineering. Technical Report EBSE 2007–001, Keele University and Durham University Joint, Report (2007)

  151. Kitchenham, B., Pearl Brereton, O., Budgen, D., Turner, M., Bailey, J., Linkman, S.: Systematic literature reviews in software engineering—a systematic literature review. Inf. Softw. Technol. 51(1), 7–15 (2009)

  152. Kon, F., Costa, F., Blair, G., Campbell, R.H.: The case for reflective middleware. Commun. ACM 45(6), 33–38 (2002)

    Article  Google Scholar 

  153. Kordon, F.: Guest editor’s introduction: rapid system prototyping. IEEE Distributed Systems Online 8(3):7 (2007)

    Google Scholar 

  154. Krasnogolowy, A., Hildebrandt, S., Watzoldt, S.: Flexible debugging of behavior models. In: Industrial Technology (ICIT), 2012 IEEE International Conference on pp. 331–336 (2012)

  155. Krikava, F., Collet, P.: A reflective model for architecting feedback control systems. In: SEKE, pp. 553–559. Knowledge Systems Institute Graduate School, (2011)

  156. Krüger, I.H., Meisinger, M., Menarini, M.: Interaction-based runtime verification for systems of systems integration. J. Log. Comput. 20(3), 725–742 (2010)

    Article  Google Scholar 

  157. Křikava, F., Collet, P., France, R.B.: Actor-based runtime model of adaptable feedback control loops. In: Proceedings of the 7th Workshop on Models@run.time MRT ’12, pp. 39–44, ACM, New York (2012)

  158. Le Duc, B., Collet, P., Malenfant, J., Rivierre, N.: A qoi-aware framework for adaptive monitoring. In: ADAPTIVE 2010, The Second International Conference on Adaptive and Self-Adaptive Systems and Applications, pp. 133–141 (2010)

  159. Lehmann, G., Blumendorf, M., Feuerstack, S., Albayrak, S.: Interactive systems. design, specification, and verification. In: Utilizing Dynamic Executable Models for User Interface Development, pp. 306–309. Springer, Berlin (2008)

  160. Lehmann, G., Blumendorf, M., Trollmann, F., Albayrak, S.: Meta-modeling runtime models. In: Proceedings of the 2010 International Conference on Models in Software Engineering, MODELS’10, pp. 209–223, Springer, Berlin (2011)

  161. Lehmann, G., Rieger, A., Blumendorf, M., Albayrak, S.: A 3-layer architecture for smart environment models. In: Pervasive Computing and Communications Workshops (PERCOM Workshops), 2010 8th IEEE International Conference on, pp. 636–641 (2010)

  162. Litoiu, M., Woodside, M., Zheng, T.: Hierarchical model-based autonomic control of software systems. In: Proceedings of the 2005 Workshop on Design and Evolution of Autonomic Application Software DEAS ’05, pp. 1–7, ACM, New York (2005)

  163. Liu, C.-S., Li, C.-Y., Tang, J.T., Cheng, Y.: Runtime software architecture model based on design hierarchy. In: Machine Learning and Cybernetics, 2007 International Conference on volume 3, pp. 1444–1449 (2007)

  164. Ma, Y., Liu, X., Wu, Y., Grace, P.: Model-based management of service composition. In: Proceedings of the 2013 IEEE Seventh International Symposium on Service-Oriented System Engineering SOSE ’13, pp. 103–112. IEEE Computer Society, Washington, DC, USA (2013)

  165. MiSE ’08: Proceedings of the 2008 International Workshop on Models in Software Engineering. New York, NY, USA (2008). ACM 529080

  166. Maes, P.: Concepts and experiments in computational reflection. Sigplan Notices 22(12), 147–155 (1987)

    Article  Google Scholar 

  167. Maoz, S.: Models in software engineering. In: Model-Based Traces, pp. 109–119. Springer, Berlin (2009)

  168. Maoz, S.: Using model-based traces as runtime models. Computer 42(10), 28–36 (2009)

    Article  Google Scholar 

  169. Maoz, S., Harel, D.: On tracing reactive systems. Softw. Syst. Model. 10(4), 447–468 (2011)

    Article  Google Scholar 

  170. Matevska, J.: Model-based runtime reconfiguration of component-based systems. In: Proceedings of the Warm Up Workshop for ACM/IEEE ICSE 2010 WUP ’09, pp. 33–36. ACM, New York (2009)

  171. Mathis, M.M., Kerbyson, D.J.: Dynamic performance prediction of an adaptive mesh application. In: Proceedings of the 20th International Conference on Parallel and Distributed Processing IPDPS’06, pp. 367–367. Washington, DC, USA, IEEE Computer Society (2006)

  172. Mayerhofer, T., Langer, P., Kappel, G.: A runtime model for fuml. In: Proceedings of the 7th Workshop on Models@run.time MRT ’12, pp. 53–58. ACM, New York (2012)

  173. Mayerhofer, T., Langer, P., Wimmer, M.: Towards xmof: executable dsmls based on fuml. In: Proceedings of the 2012 Workshop on Domain-Specific Modeling DSM ’12, pp. 1–6. ACM, New York (2012)

  174. McQuiggan, S.W., Lester, J.C.: Diagnosing self-efficacy in intelligent tutoring systems: an empirical study. In: Proceedings of the 8th International Conference on Intelligent Tutoring Systems, ITS’06, pp. 565–574. Springer, Berlin (2006)

  175. Menascé, D.A., Ruan, H., Gomaa, H.: A framework for qos-aware software components. SIGSOFT Softw. Eng. Notes 29(1), 186–196 (2004)

    Article  Google Scholar 

  176. Miksa, K., Kasztelnik, M., Sabina, P., Walter, T.: Towards semantic modeling of network physical devices. In: Proceedings of the 2009 International Conference on Models in Software Engineering MODELS’09, pp. 329–343, Springer, Berlin (2010)

  177. Mocci, A., Sangiorgio, M.: Detecting component changes at run time with behavior models. Computing 95(3), 191–221 (2013)

    Google Scholar 

  178. Morin, B., Barais, O., Jezequel, J.-M., Fleurey, F., Solberg, A.: Models@ run.time to support dynamic adaptation. Computer 42(10), 44–51 (2009)

    Article  Google Scholar 

  179. Morin, B., Barais, O., Marc Jézéquel, J.: K@rt: an aspect-oriented and model-oriented framework for dynamic software product lines. In: Proceedings of the 3rd International Workshop on Models@Runtime, at MoDELS’08 (2008)

  180. Morin, B., Barais, O., Nain, G., Jezequel, J.-M.: Taming dynamically adaptive systems using models and aspects. In: Proceedings of the 31st International Conference on Software Engineering ICSE ’09, pp. 122–132. IEEE Computer Society, Washington, DC, USA (2009)

  181. Morin, B., Fleurey, F., Bencomo, N., Jézéquel, J.-M., Solberg, A., Dehlen, V., Blair, G.: An aspect-oriented and model-driven approach for managing dynamic variability. In: Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems MoDELS ’08, pp. 782–796. Springer, Berlin (2008)

  182. Morin, B., Mouelhi, T., Fleurey, F., Le Traon, Y., Barais, O., Jézéquel, J.-M.: Security-driven model-based dynamic adaptation. In: Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, ASE ’10, pp. 205–214, ACM, New York (2010)

  183. Morris, K.A., Wei, J., Clarke, P.J., Costa, F.M.: Towards adaptable middleware to support service delivery validation in i-dsml execution engines. In: Proceedings of the 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering, HASE ’12, pp. 82–89. IEEE Computer Society, Washington, DC, USA (2012)

  184. Mos, A., Murphy, J.: Performance management in component-oriented systems using a model driven architecture approach. In: Proceedings of the Sixth International Enterprise Distributed Object Computing Conference (EDOC’02), EDOC ’02, p. 227. IEEE Computer Society, Washington, DC, USA (2002)

  185. Moser, O., Rosenberg, F., Dustdar, S.: Domain-specific service selection for composite services. IEEE Trans. Softw. Eng. 38(4), 828–843 (2012)

    Article  Google Scholar 

  186. Muller, P.-A., Fleurey, F., Jézéquel, J.-M.: Weaving executability into object-oriented meta-languages. In: Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems MoDELS’05, pp. 264–278. Springer, Berlin (2005)

  187. Murthy, P., Kumar, V.S., Sharma, T., Rao, K.: Quality model driven dynamic analysis. In: Proceedings of the 2011 IEEE 35th Annual Computer Software and Applications Conference COMPSAC ’11, pp. 360–365. IEEE Computer Society, Washington, DC, USA (2011)

  188. Muskens, J., Chaudron, M.: Integrity management in component based systems. In: Proceedings of the 30th EUROMICRO Conference, EUROMICRO ’04, pp. 611–619. IEEE Computer Society, Washington, DC, USA (2004)

  189. Nakajima, S.: An architecture of dynamically adaptive php-based web applications. In: Proceedings of the 2011 18th Asia-Pacific Software Engineering Conference, APSEC ’11, pp. 203–210. IEEE Computer Society, Washington, DC, USA (2011)

  190. Nam, M.-Y., de Niz, D., Wrage, L., Sha, L.: Resource allocation contracts for open analytic runtime models. In: Proceedings of the Ninth ACM International Conference on Embedded Software EMSOFT ’11, pp. 13–22. ACM, New York (2011)

  191. Nguyen, T., Colman, A.: A feature-oriented approach for web service customization. In: Proceedings of the 2010 IEEE International Conference on Web Services, ICWS ’10, pp. 393–400.. IEEE Computer Society, Washington, DC, USA (2010)

  192. Nguyen, V.H., Fouquet, F., Plouzeau, N., Barais, O.: A process for continuous validation of self-adapting component based systems. In: Proceedings of the 7th Workshop on Models@run.time MRT ’12, pp. 32–37. ACM, New York (2012)

  193. Nierstrasz, O., Denker, M., Renggli, L.: Software engineering for self-adaptive systems. In: Model-Centric, Context-Aware Software Adaptation, pp. 128–145. Springer, Berlin (2009)

  194. Nilsson, E.G., Floch, J., Hallsteinsen, S., Stav, E.: Using a patterns-based modelling language and a model-based adaptation architecture to facilitate adaptive user interfaces. In: Proceedings of the 13th International Conference on Interactive Systems: Design, Specification, and Verification, DSVIS’06, pp. 234–247. Springer, Berlin (2007)

  195. Nordstrom, S., Dubey, A., Keskinpala, T., Datta, R., Neema, S., Bapty, T.: Model predictive analysis for autonomicworkflow management in large-scale scientific computing environments. In: Proceedings of the Fourth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems EASE ’07, pp. 37–42. IEEE Computer Society, Washington, DC, USA (2007)

  196. Occello, A., Pinna-Déry, A.-M., Riveill, M.: A runtime model for monitoring software adaptation safety and its concretisation as a service. In: Bencomo, N., Blair, G., France, R., Freddy, M., Cedric, J. (eds.) Models@runtime(MRT08), pp. 67–76, Toulouse, France (2008)

  197. Olivier-Nathanaël, B.D., Benoit, B.: Toward a model-driven access-control enforcement mechanism for pervasive systems. In: Proceedings of the Workshop on Model-Driven Security, MDsec ’12, pp. 6:1–6:6. ACM, New York (2012)

  198. 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 Intell. Syst. 14(3), 54–62 (1999)

    Article  Google Scholar 

  199. Oreizy, P., Medvidovic, N., Taylor, R.N.: Architecture-based runtime software evolution. In: Proceedings of the 20th International Conference on Software Engineering ICSE ’98, pp. 177–186. IEEE Computer Society, Washington, DC, USA (1998)

  200. Ortiz, O., García, A.B., Capilla, R., Bosch, J., Hinchey, M.: Runtime variability for dynamic reconfiguration in wireless sensor network product lines. In: Proceedings of the 16th International Software Product Line Conference, vol. 2, SPLC ’12, pp. 143–150. ACM, New York (2012)

  201. Parra, C., Blanc, X., Duchien, L.: Context awareness for dynamic service-oriented product lines. In: Proceedings of the 13th International Software Product Line Conference, SPLC ’09, pp. 131–140. Carnegie Mellon University, Pittsburgh, PA, USA (2009)

  202. Perrouin, G., Morin, B., Chauvel, F., Fleurey, F., Klein, J., Le Traon, Y., Barais, O., Jézéquel, J.-M.: Towards flexible evolution of dynamically adaptive systems. In: Proceedings of the 2012 International Conference on Software Engineering ICSE 2012, pp. 1353–1356. IEEE Press, Piscataway, NJ, USA (2012)

  203. Pienaar, J.A., Raghunathan, A., Chakradhar, S.: Mdr: performance model driven runtime for heterogeneous parallel platforms. In: Proceedings of the International Conference on Supercomputing ICS ’11, pp. 225–234. ACM, New York (2011)

  204. Pleumann, J., Haustein, S.: A model-driven runtime environment for web applications. In: Proceedings of UML 2003—The Unified Modeling Language. Model Languages and Applications. 6th International Conference, pp. 190–204. Springer, Berlin (2003)

  205. Porcarelli, S., Castaldi, M., Giandomenico, F.D., Bondavalli, A., Inverardi, P.: A framework for reconfiguration-based fault-tolerance in distributed systems. In: Distributed Systems, Architecting Dependable Systems II. Springer, Berlin (2004)

  206. Rammig, F.J., Zhao, Y., Samara, S.: On-line model checking as operating system service. In: Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems, SEUS ’09, pp. 131–143. Springer, Berlin (2009)

  207. Redlich, D., Gilani, W.: Event-driven process-centric performance prediction via simulation. In: Business Process Management Workshops, pp. 473–478. Springer, Berlin (2012)

  208. Robinson, H., Segal, J., Sharp, H.: Ethnographically-informed empirical studies of software practice. Inf. Softw. Technol. 49(6), 540–551, Qualitative Software Engineering Research (2007)

    Google Scholar 

  209. Rodríguez-Gracia, D., Criado, J., Iribarne, L., Padilla, N., Vicente-Chicote, C.: Runtime adaptation of architectural models: an approach for adapting user interfaces. In: Proceedings of the 2nd International Conference on Model and Data Engineering, MEDI’12, pp. 16–30. Springer, Berlin (2012)

  210. Rohr, M., Boskovic, M., Giesecke, S., Hasselbring, W.: Model-driven development of selfmanaging software systems. In: ACM/IEEE MoDELS Workshop on Models@Runtime

  211. Rosenmüller, M., Siegmund, N., Apel, S., Saake, G.: Flexible feature binding in software product lines. Autom. Softw. Eng. 18(2), 163–197 (2011)

    Article  Google Scholar 

  212. Röttger, S., Zschaler, S.: Tool support for refinement of non-functional specifications. Softw. Syst. Model. 6(2), 185–204 (2007)

    Article  Google Scholar 

  213. SEAMS ’11: Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. ACM, New York (2011)

  214. Sawyer, P., Bencomo, N., Hughes, D., Grace, P., Goldsby, H.J., Cheng, B.H.C.: Visualizing the analysis of dynamically adaptive systems using i* and dsls. In: Proceedings of the Second International Workshop on Requirements Engineering Visualization REV ’07, p. 3, IEEE Computer Society, Washington, DC, USA (2007)

  215. Sawyer, P., Bencomo, N., Whittle, J., Letier, E., Finkelstein, A.: Requirements-aware systems: a research agenda for re for self-adaptive systems. In: Requirements Engineering Conference (RE), 2010 18th IEEE International pp. 95–103 (2010)

  216. Schlegel, T., Pietschmann, S.: Model-based interactive ubiquitous systems. In: Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS ’11, pp. 337–338. ACM, New York (2011)

  217. Schmerl, B., Aldrich, J., Garlan, D., Kazman, R., Yan, H.: Discovering architectures from running systems. IEEE Trans. Softw. Eng. 32(7), 454–466 (2006)

    Article  Google Scholar 

  218. Schmidt, D.C.: Guest editor’s introduction: model-driven engineering. Computer 39(2), 25–31 (2006)

    Article  Google Scholar 

  219. Schneider, D., Trapp, M.: Runtime safety models in open systems of systems. In: Proceedings of the 2009 Eighth IEEE International Conference on Dependable, Autonomic and Secure Computing DASC ’09, pp. 455–460. IEEE Computer Society, Washington, DC, USA (2009)

  220. Schneider, D., Trapp, M.: Conditional safety certification of open adaptive systems. ACM Trans. Auton. Adapt. Syst. 8(2), 8:1–8:20 (2013)

    Article  Google Scholar 

  221. Schonbock, J., Kappel, G., Wimmer, M., Kusel, A., Retschitzegger, W., Schwinger, W.: Debugging model-to-model transformations. In: Proceedings of the 2012 19th Asia-Pacific Software Engineering Conference—Volume 01 APSEC ’12, pp. 164–173. IEEE Computer Society, Washington, DC, USA (2012)

  222. Schwartze, V., Blumendorf, M., Albayrak, S.: Adjustable context adaptations for user interfaces at runtime. In: Proceedings of the International Conference on Advanced Visual Interfaces, AVI ’10, pp. 321–324. ACM, New York (2010)

  223. Serral, E., Valderas, P., Pelechano, V.: Automating routine tasks in ami systems by using models at runtime. In: Proceedings of the First International Joint Conference on Ambient Intelligence Am I’10, pp. 1–10, Springer, Berlin (2010)

  224. Serral, E., Valderas, P., Pelechano, V.: Supporting runtime system evolution to adapt to user behaviour. In: Proceedings of the 22nd International Conference on Advanced Information Systems Engineering, CAiSE’10, pp. 378–392. Springer, Berlin (2010)

  225. Serral, E., Valderas, P., Pelechano, V.: Context-adaptive coordination of pervasive services by interpreting models during runtime. Comput. J. 56(1), 87–114 (2013)

    Article  Google Scholar 

  226. Shroff, G., Agarwal, P., Devanbu, P.: Instant multi-tier web applications without tears. In: Proceedings of the 2nd India Software Engineering Conference ISEC ’09, pp. 3–12, ACM, New York (2009)

  227. Silva Souza, V.E., Lapouchnian, A., Robinson, W.N., Mylopoulos, J.: Awareness requirements for adaptive systems. In: Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS ’11, pp. 60–69. ACM, New York (2011)

  228. Simmonds, J., Ben-David, S., Chechik, M.: The smart internet. In: Monitoring and Recovery of Web Service Applications, pp. 250–288. Springer, Berlin (2010)

  229. Sindhgatta, R., Sengupta, B.: An extensible framework for tracing model evolution in soa solution design. In: Proceedings of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications OOPSLA ’09, pp. 647–658. ACM, New York (2009)

  230. Song, H., Gallagher, M., Clarke, S.: Rapid gui development on legacy systems: a runtime model-based solution. In: Proceedings of the 7th Workshop on Models@run.time MRT ’12, pp. 25–30. ACM, New York (2012)

  231. Song, H., Huang, G., Chauvel, F., Sun, Y., Mei, H.: Sm@rt: representing run-time system data as mof-compliant models. In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering—Volume 2 ICSE ’10, pp. 303–304. ACM, New York (2010)

  232. Song, H., Huang, G., Chauvel, F., Xiong, Y., Hu, Z., Sun, Y., Mei, H.: Supporting runtime software architecture: a bidirectional-transformation-based approach. J. Syst. Softw. 84(5), 711–723 (2011)

    Article  Google Scholar 

  233. Song, H., Huang, G., Chauvel, F., Zhang, W., Sun, Y., Shao, W., Mei, H.: Instant and incremental qvt transformation for runtime models. In: Proceedings of the 14th International Conference on Model Driven Engineering Languages and Systems, MODELS’11, pp. 273–288. Springer, Berlin (2011)

  234. Song, H., Huang, G., Xiong, Y., Chauvel, F., Sun, Y., Mei, H.: Inferring meta-models for runtime system data from the clients of management apis. In: Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems: Part II MODELS’10, pp. 168–182, Springer, Berlin (2010)

  235. Song, H., Xiong, Y., Chauvel, F., Huang, G., Hu, Z., Mei, H.: Generating synchronization engines between running systems and their model-based views. In: Proceedings of the 2009 International Conference on Models in Software Engineering MODELS’09, pp. 140–154, Springer, Berlin (2010)

  236. Sottet, J.-S.: Ingénierie dirigée par les modèles pour la plasticité des interfaces homme machine. In: Proceedings of the 19th International Conference of the Association Francophone d’Interaction Homme-Machine IHM ’07, pp. 253–256, ACM, New York (2007)

  237. Sottet, J.-S., Ganneau, V., Calvary, G., Coutaz, J., Demeure, A., Favre, J.-M., Demumieux, R.: Model-driven adaptation for plastic user interfaces. In: Proceedings of the 11th IFIP TC 13 International Conference on Human-Computer Interaction INTERACT’07, pp. 397–410. Springer, Berlin (2007)

  238. Sousa, G.C.M., Costa, F.M., Clarke, P.J., Allen, A.A.: Model-driven development of dsml execution engines. In: Proceedings of the 7th Workshop on Models@run.time MRT ’12, pp. 10–15. ACM, New York (2012)

  239. Spieker, M., Noyer, A., Iyenghar, P., Bikker, G., Wuebbelmann, J., Westerkamp, C.: Model based debugging and testing of embedded systems without affecting the runtime behaviour. In: Emerging Technologies Factory Automation (ETFA), 2012 IEEE 17th Conference on, pp. 1–6 (2012)

  240. Steck, A., Lotz, A., Schlegel, C.: Model-driven engineering and run-time model-usage in service robotics. In: Proceedings of the 10th ACM International Conference on Generative Programming and Component Engineering GPCE ’11, pp. 73–82, ACM, New York (2011)

  241. Steck, A., Schlegel, C.: Managing execution variants in task coordination by exploiting design-time models at run-time. In: Intelligent Robots and Systems (IROS), 2011 IEEE/RSJ International Conference on, pp. 2064–2069 (2011)

  242. Stein, S., Neukirchner, M., Schrom, H., Ernst, R.: Consistency challenges in self-organizing distributed hard real-time systems. In: Proceedings of the 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, ISORCW ’10, pp. 39–48. IEEE Computer Society, Washington, DC, USA (2010)

  243. Steinbauer, G., Mörth, M., Wotawa, F.: Robocup 2005. In: Real-Time Diagnosis and Repair of Faults of Robot Control Software, pp. 13–23. Springer, Berlin (2006)

  244. Strembeck, M., Mendling, J.: Modeling process-related rbac models with extended uml activity models. Inf. Softw. Technol. 53(5), 456–483 (2011)

    Article  Google Scholar 

  245. Sukaviriya, P., Foley, J.D., Griffith, T.: A second generation user interface design environment: the model and the runtime architecture. In: Proceedings of the INTERACT ’93 and CHI ’93 Conference on Human Factors in Computing Systems, CHI ’93, pp. 375–382. ACM, New York (1993)

  246. Taconet, C., Kazi-Aoul, Z., Zaier, M., Conan, D.: Ca3m: a runtime model and a middleware for dynamic context management. In: Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I, OTM ’09, pp. 513–530. Springer, Berlin (2009)

  247. Tan, L., Kim, J., Sokolsky, O., Lee, I.: Model-based testing and monitoring for hybrid embedded systems. In: Zhang, D., Gregoire, E., DeGroot, D. (eds.) IRI, pp. 487–492. IEEE Systems, Man, and Cybernetics Society (2004)

  248. Thonhauser, M., Kreiner, C., Leitner, A.: A model-based architecture supporting virtual organizations in pervasive systems. In: Proceedings of the 2010 15th IEEE International Conference on Engineering of Complex Computer Systems ICECCS ’10, pp. 249–252. IEEE Computer Society, Washington, DC, USA (2010)

  249. Thonhauser, M., Kreiner, C., Schmid, M.: Interpreting model-based components for information systems. In: Proceedings of the 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS ’09, pp. 254–261. IEEE Computer Society, Washington, DC, USA (2009)

  250. Thonhauser, M., Krenn, U., Kreiner, C.: Applying multi-model based components for virtual organizations. In: Proceedings of the 2011 19th International Euromicro Conference on Parallel, Distributed and Network-Based Processing PDP ’11, pp. 285–292. IEEE Computer Society, Washington, DC, USA (2011)

  251. Tombelle, C., Vanwormhoudt, G.: Dynamic and generic manipulation of models: from introspection to scripting. In: Proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems MoDELS’06, pp. 395–409, Springer, Berlin (2006)

  252. Truyen, E., Janssens, N., Sanen, F., Joosen, W.: Support for distributed adaptations in aspect-oriented middleware. In: Proceedings of the 7th International Conference on Aspect-Oriented Software Development, AOSD ’08, pp. 120–131. ACM, New York (2008)

  253. Uttamchandani, S.: Polus: a self-evolving model-based approach for automating the observe-analyze-act loop. PhD thesis, Champaign, IL, USA, (2005) AAI3199160

  254. Vanderdonckt, J., Guerrero-Garcia, J., Gonzalez-Calleros, J.M.: A model-based approach for developing vectorial user interfaces. In: Proceedings of the 2009 Latin American Web Congress (la-web 2009), LA-WEB ’09, pp. 52–59. IEEE Computer Society, Washington, DC, USA (2009)

  255. Vogel, T., Giese, H.: Adaptation and abstract runtime models. In: Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems SEAMS ’10, pp. 39–48. ACM, New York (2010)

  256. Vogel, T., Giese, H.: A language for feedback loops in self-adaptive systems: executable runtime megamodels. In: Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2012 ICSE Workshop on, pp. 129–138 (2012)

  257. Vogel, T., Neumann, S., Hildebrandt, S., Giese, H., Becker, B.: Model-driven architectural monitoring and adaptation for autonomic systems. In: Proceedings of the 6th International Conference on Autonomic Computing, ICAC ’09, pp. 67–68. ACM, New York (2009)

  258. Vogel, T., Neumann, S., Hildebrandt, S., Giese, H., Becker, B.: Incremental model synchronization for efficient run-time monitoring. In: Proceedings of the 2009 International Conference on Models in Software Engineering, MODELS’09, pp. 124–139. Springer, Berlin (2010)

  259. Vogel, T., Seibel, A., Giese, H.: The role of models and megamodels at runtime. In: Proceedings of the 2010 International Conference on Models in Software Engineering, MODELS’10, pp. 224–238. Springer, Berlin (2011)

  260. Vrbaski, M., Mussbacher, G., Petriu, D., Amyot, D.: Goal models as run-time entities in context-aware systems. In: Proceedings of the 7th Workshop on Models@run.time MRT ’12, pp. 3–8, ACM, New York (2012)

  261. Waignier, G., Meur, A.-F., Duchien, L.: A model-based framework to design and debug safe component-based autonomic systems. In: Proceedings of the 5th International Conference on the Quality of Software Architectures: Architectures for Adaptive Software Systems, QoSA ’09. Springer, Berlin (2009)

  262. Wang, B., Zhou, X., Yang, G., Yang, Y.: Web services trustworthiness evaluation based on fuzzy cognitive maps. In: Proceedings of the 2010 International Symposium on Intelligence Information Processing and Trusted Computing, IPTC ’10, pp. 230–233. IEEE Computer Society, Washington, DC, USA (2010)

  263. Wang, L., Wong, E., Xu, D.: A threat model driven approach for security testing. In: Proceedings of the Third International Workshop on Software Engineering for Secure Systems SESS ’07, p. 10. IEEE Computer Society, Washington, DC, USA (2007)

  264. Weiss, G., Becker, K., Kamphausen, B., Radermacher, A., Gerard, S.: Model-driven development of self-describing components for self-adaptive distributed embedded systems. In: Software Engineering and Advanced Applications (SEAA), 2011 37th EUROMICRO Conference on, pp. 477–484 (2011)

  265. Welsh, K., Sawyer, P.: Managing testing complexity in dynamically adaptive systems: a model-driven approach. In: Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops ICSTW ’10, pp. 290–298. IEEE Computer Society, Washington, DC, USA (2010)

  266. Welsh, K., Sawyer, P., Bencomo, N.: Towards requirements aware systems: Run-time resolution of design-time assumptions. In: Automated Software Engineering (ASE), 2011 26th IEEE/ACM International Conference on, pp. 560–563 (2011)

  267. Whittle, J., Sawyer, P., Bencomo, N., Cheng, B.H.C., Bruel, J.-M.: Relax: incorporating uncertainty into the specification of self-adaptive systems. In: Proceedings of the 2009 17th IEEE International Requirements Engineering Conference, RE, RE ’09, pp. 79–88. IEEE Computer Society, Washington, DC, USA (2009)

  268. Wimmer, M., Kappel, G., Schoenboeck, J., Kusel, A., Retschitzegger, W., Schwinger, W.: A petri net based debugging environment for qvt relations. In: Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering ASE ’09, pp. 3–14. IEEE Computer Society, Washington, DC, USA (2009)

  269. Wimmer, M., Kusel, A., Schoenboeck, J., Kappel, G., Retschitzegger, W., Schwinger, W.: Reviving qvt relations: model-based debugging using colored petri nets. In: Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems MODELS ’09, pp. 727–732. Springer, Berlin (2009)

  270. Witt, H., Nicolai, T., Kenn, H.: The wui-toolkit: a model-driven ui development framework for wearable user interfaces. In: Proceedings of the 27th International Conference on Distributed Computing Systems Workshops, ICDCSW ’07, p. 43, IEEE Computer Society, Washington, DC, USA (2007)

  271. Wolfe, C., Graham, T.C., Phillips, W.G.: An incremental algorithm for high-performance runtime model consistency. In: Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems MODELS ’09, pp. 357–371. Springer, Berlin (2009)

  272. Xiao, L.: An adaptive security model using agent-oriented mda. Inf. Softw. Technol. 51(5), 933–955 (2009)

    Article  Google Scholar 

  273. Yang, R., Chen, Z., Xu, B., Wong, W.E., Zhang, J.: Improve the effectiveness of test case generation on efsm via automatic path feasibility analysis. In: Proceedings of the 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering HASE ’11, pp. 17–24. IEEE Computer Society, Washington, DC, USA (2011)

  274. Yu, E., Mylopoulos, J.: Why goal-oriented requirements engineering. In: Proceedings of the 4th International Workshop on Requirements Engineering: Foundations of Software, Quality pp. 15–22 (1998)

  275. Zeng, K., Guo, Y., Angelov, C.K.: Graphical model debugger framework for embedded systems. In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE ’10, pp. 87–92, 3001 Leuven, Belgium, Belgium, European Design and Automation Association (2010)

  276. Zeng, L., Lei, H., Dikun, M., Chang, H., Bhaskaran, K.: Model-driven business performance management. In: Proceedings of the IEEE International Conference on e-Business Engineering, ICEBE ’05, pp. 295–304. IEEE Computer Society, Washington, DC, USA (2005)

  277. Zhang, J., Cheng, B.H.C.: Model-based development of dynamically adaptive software. In: Proceedings of the 28th International Conference on Software Engineering ICSE ’06, pp. 371–380, ACM, New York (2006)

  278. Zhang, L., Sun, Y., Song, H., Wang, W., Huang, G.: Detecting anti-patterns in java ee runtime system model. In: Proceedings of the Fourth Asia-Pacific Symposium on Internetware, Internetware ’12, pp. 21:1–21:8, ACM, New York (2012)

  279. Zhao, Y., Oberthür, S., Kardos, M., Rammig, F.J.: Model-based runtime verification framework for self-optimizing systems. Electron. Notes Theor. Comput. Sci. 144(4), 125–145 (2006)

    Article  Google Scholar 

  280. Zhao, Y., Oberthür, S., Montealegre, N., Rammig, F.J., Kardos, M.: Increasing dependability by means of model-based acceptance test inside rtos. In: Proceedings of the 6th International Conference on Parallel Processing and Applied Mathematics PPAM’05, pp. 1034–1041, Springer, Berlin (2006)

  281. Zhao, Y., Rammig, F.: Model-based runtime verification framework. Electron. Notes Theor. Comput. Sci. 253(1), 179–193 (2009)

    Article  Google Scholar 

  282. Zimmermann, O.: Architectural decisions as reusable design assets. IEEE Softw. 28(1), 64–69 (2011)

    Article  Google Scholar 

  283. Zinky, J.A., Loyall, J.P., Shapiro, R.: Runtime performance modeling and measurement of adaptive distributed object applications. In: On the Move to Meaningful Internet Systems, 2002—DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002, pp. 755–772. Springer, London (2002)

Download references

Author information

Authors and Affiliations

  1. Software Engineering Group, Information Technology Institute, University of Applied Sciences Wiener Neustadt, Wiener Neustadt, Austria

    Michael Szvetits

  2. Software Architecture Group, Faculty of Computer Science, University of Vienna, Vienna, Austria

    Uwe Zdun

Authors
  1. Michael Szvetits
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Uwe Zdun
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Michael Szvetits.

Additional information

Communicated by Prof. Gordon Blair.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Szvetits, M., Zdun, U. Systematic literature review of the objectives, techniques, kinds, and architectures of models at runtime. Softw Syst Model 15, 31–69 (2016). https://doi.org/10.1007/s10270-013-0394-9

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10270-013-0394-9

Keywords

Search

Navigation