A survey of formal methods in self-adaptive systems

ACM International Conference Proceeding Series

Volumn , Issue , 2012, Pages 67-79

  Weyns, Danny ^a   Iftikhar, M Usman ^a   De La Iglesia, Didac Gil ^a   Ahmad, Tanvir ^a  

^a LINNAEUS UNIVERSITY   (Sweden)

Author keywords

self adaptive systems; systematic literature review

Indexed keywords

DATA COLLECTION; DESIGN TIME; LIGHT WEIGHT; MODELING AND ANALYSIS; QUALITY PROPERTIES; RUN-TIME VERIFICATION; RUNTIMES; SELF ADAPTATION; SELF-ADAPTIVE SOFTWARE; SELF-ADAPTIVE SYSTEM; SOFTWARE DEVELOPER; SYSTEMATIC LITERATURE REVIEW; SYSTEMATIC STUDY;

ADAPTIVE SYSTEMS; COMPUTER SCIENCE; MODEL CHECKING; THEOREM PROVING;

FORMAL METHODS;

EID: 84866043696     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2347583.2347592     Document Type: Conference Paper

References (96)

1. Y. Al-Nashif, A. Kumar, S. Hariri, Q. Guangzhi, L. Yi, and F. Szidarovsky. Multi-level intrusion detection system (ml-ids). In International Conference on Automatic Computing, 2008.
2. J. Almeida, V. Almeida, D. Ardagna, C. Francalanci, and M. Trubian. Resource management in the autonomic service-oriented architecture. In International Conference on Autonomic Computing, 2006.
3. J. Gueyoung andK. Joshi, M. Hiltunen, R. Schlichting, and C. Pu. Generating adaptation policies for multi-tier applications in consolidated server environments. In International Conference on Automatic Computing, 2008.
4. C. Baier and J.P.Katoen. Principles of Model Checking. MIT Press, 2008.
5. D. Balasubramaniam, R. Morrison, K. Mickan, G. Kirby, B. Warboys, I. Robertson, B. Snowdon, M. Greenwood, and W. Seet. Support for feedback and change in self-adaptive systems. In Workshop on Self-Healing systems, 2004.
6. L. Baresi and L. Pasquale. Live goals for adaptive service compositions. In Software Engineering for Adaptive and Self-Managing Systems, 2010.
7. B. Bartels and M. Kleine. A csp-based framework for the specification, verification, and implementation of adaptive systems. In Software Engineering for Adaptive and Self-Managing Systems, 2011.
8. V. Basili, G. Caldiera, and D. Rombach. Goal question metric approach. In Encyclopedia of Soft. Engineering. 1994.
9. B. Becker, D. Beyer, H. Giese, F. Klein, and D. Schilling. Symbolic invariant verification for systems with dynamic structural adaptation. In 28th International Conference on Software Engineering, 2006.
10. M. Ben, N. Georgantas, and V. Issarny. COCOA: COnversation-based service COmposition in pervAsive computing environments with QoS support. Journal of Systems and Software, 80(12):1941-1955, 2007.
11. J. Bisbal and B. Cheng. Resource-based approach to feature interaction in adaptive software. In Workshop on Self-Healing systems, 2004.
12. K. Biyani and S. Kulkarni. Mixed-mode adaptation in distributed systems: A case study. In Software Engineering for Adaptive and Self-Managing Systems, 2007.
13. R. Borges, A. d'Avila Garcez, and L. Lamb. Integrating model verification and self-adaptation. In International Conference on Automated Software Engineering, 2010.
14. A. Bracciali, A. Brogi, and C. Canal. A formal approach to component adaptation. Journal of Systems and Software, 74(1):45-54, 2005.
15. J. Bradbury, J. Cordy, J. Dingel, and Wermelinger M. A survey of self-management in dynamic software architecture specifications. In Workshop on Self-Managed Systems, 2004.
16. D. Breitgand, E. Henis, and O. Shehory. Automated and adaptive threshold setting: Enabling technology for autonomy and self-management. In International Conference on Automatic Computing, 2005.
17. P. Brereton, B. Kitchenham, D. Budgen, M. Turner, and M. Khalil. Lessons from applying the systematic literature review process within the software engineering domain. Journal on Systems and Software, 80, 2007.
18. G. Brown, B. Cheng, H. Goldsby, and J. Zhang. Goal-oriented specification of adaptation requirements engineering in adaptive systems. In Software Engineering for Adaptive and Self-Managing Systems, 2006.
19. O. Brukman, S. Dolev, and E. Kolodner. A self-stabilizing autonomic recoverer for eventual Byzantine software. Journal of Systems and Software, 81(12):2315-2327, 2008.
20. A. Bucchiarone, C. Vattani P. Pelliccione, and O. Runge. Self-repairing systems modeling and verification using agg. Working IEEE/IFIP Conference on Software Architecture, 2009.
21. R. Calinescu, L. Grunske, M. Kwiatkowska, R. Mirandola, and G. Tamburrelli. Dynamic qos management and optimization in service-based systems. IEEE Transactions on Software Engineering, 37(3):387-409, 2011.
22. R. Calinescu and M. Kwiatkowska. Using quantitative analysis to implement autonomic it systems. In 31st International Conference on Software Engineering, 2009.
23. J. Camara, C. Canal, and G. Salaun. Behavioural self-adaptation of services in ubiquitous computing environments. In Software Engineering for Adaptive and Self-Managing Systems, 2009.
24. J. Camara and R. de Lemos. Evaluation of resilience in self-adaptive systems using probabilistic model-checking. In Software Engineering for Adaptive and Self-Managing Systems, 2012.
25. C. Canal, P. Poizat, and G. Salaün. Model-based adaptation of behavioral mismatching components. IEEE Transactions on Software Engineering, 34(4):546-563, 2008.
26. L. Capra, W. Emmerich, and C. Mascolo. Carisma: Context-aware reflective middleware system for mobile applications. IEEE Transactions on Software Engineering, 29(10):929-945, 2003.
27. V. Cardellini, E. Casalicchio, V. Grassi, S. Iannucci, F. Lo Presti, and R. Mirandola. Moses: A framework for qos driven runtime adaptation of service-oriented systems. IEEE Transactions on Software Engineering, 99, 2011.
28. L. Cavallaro, E. Di Nitto, P. Pelliccione, M. Pradella, and M. Tivoli. Synthesizing adapters for conversational web-services from their wsdl interface. In Software Engineering for Adaptive and Self-Managing Systems, 2010.
29. Luca Cavallaro and Elisabetta Di Nitto. An approach to adapt service requests to actual service interfaces. In Software Engineering for Adaptive and Self-Managing Systems, 2008.
30. T. Chaari, D. Ejigu, F. Laforest, and V.M. Scuturici. A comprehensive approach to model and use context for adapting applications in pervasive environments. Journal of Systems and Software, 80(12):1973-1992, 2007.
31. B. Cheng, R. de Lemos, H. Giese, P. Inverardi, J. Magee, J. Andersson, B. Becker, N. Bencomo, Y. Brun, B. Cukic, G. Marzo Serugendo, S. Dustdar, A. Finkelstein, C. Gacek, K. Geihs, V. Grassi, G. Karsai, H. Kienle, J. Kramer, M. Litoiu, S. Malek, R. Mirandola, H. Müller, S. Park, M. Shaw, M. Tichy, M. Tivoli, D. Weyns, and J. Whittle. Software engineering for self-adaptive systems: A research roadmap. In Software Engineering for Self-Adaptive Systems. LNCS vol. 5525, Springer, 2009.
32. S.N. Chuang and A. Chan. Dynamic qos adaptation for mobile middleware. IEEE Transactions on Software Engineering, 34(6):738-752, 2008.
33. F. Cuadrado, J. Duenas, and R. Garcia-Carmona. An autonomous engine for services configuration and deployment. IEEE Transactions on Software Engineering, 38:520-536, 2012.
34. R. de Lemos, H. Giese, H. Müller, M. Shaw, J. Andersson, M. Litoiu, B. Schmerl, G. Tamura, N. Villegas, T. Vogel, D. Weyns, L. Baresi, B. Becker, N. Bencomo, Y. Brun, B. Cukic, R. Desmarais, S. Dustdar, G. Engels, K. Geihs, K. Goeschka, A. Gorla, V. Grassi, P. Inverardi, G. Karsai, J. Kramer, A. Lopes, J. Magee, S. Malek, S. Mankovskii, R. Mirandola, J. Mylopoulos, O. Nierstrasz, M. Pezzè, C. Prehofer, W. Schäfer, R. Schlichting, D. B. Smith, J.P. Sousa, L. Tahvildari, K. Wong, and J. Wuttke. Software engineering for self-adaptive systems: A second research roadmap. In Software Engineering for Self-Adaptive Systems II. LNCS, Springer, 2012.
35. S. Dobson, S. Denazis, A. Fernández, D. Gaïti, E. Gelenbe, F. Massacci, P. Nixon, F. Saffre, N. Schmidt, and F. Zambonelli. A survey of autonomic communications. Transactions on Autonomous and Adaptive Systems, 1:223-259, 2006.
36. A. Ebnenasir. Designing run-time fault-tolerance using dynamic updates. In Software Engineering for Adaptive and Self-Managing Systems, 2007.
37. I. Epifani, C. Ghezzi, R. Mirandola, and G. Tamburrelli. Model evolution by run-time parameter adaptation. In 31st International Conference on Software Engineering, 2009.
38. N. Esfahani, E. Kouroshfar, and S. Malek. Taming uncertainty in self-adaptive software. In International Symposium on Foundations of Software Engineering, 2011.
39. A. Filieri, C. Ghezzi, A. Leva, and M. Maggio. Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements. In International Conference on Automated Software Engineering, 2011.
40. J. Fox. A formal orchestration model for dynamically adaptable services with cows. In International Conference on Adaptive and Self-Adaptive Systems and Applications, 2011.
41. D. Garlan and B. Schmerl. Model-based adaptation for self-healing systems. In Workshop on Self-Healing systems, 2002.
42. David Garlan, S.W. Cheng, A. Cheng Huang, B. Schmerl, and P. Steenkiste. Rainbow: Architecture-based self-adaptation with reusable infrastructure. IEEE Computer, 37:46-54, 2004.
43. S. Gilbert, N. Lynch, S. Mitra, and T. Nolte. Self-stabilizing robot formations over unreliable networks. ACM Transactions on Autonomous and Adaptive Systems, 4(3):17:1-17:29, 2009.
44. M. Güdemann, F. Nafz, F. Ortmeier, H. Seebach, and W. Reif. A specification and construction paradigm for organic computing systems. In International Conference on Self-Adaptive and Self-Organizing Systems, 2008.
45. J. Guofei, C. Haifeng, and K. Yoshihira. Discovering likely invariants of distributed transaction systems for autonomic system management. In International Conference on Autonomic Computing, 2006.
46. R. Haesevoets, D. Weyns, T. Holvoet, and W. Joosen. A formal model for self-adaptive and self-healing organizations. In Software Engineering for Adaptive and Self-Managing Systems, 2009.
47. K. Hansen, W. Zhang, and M. Ingstrup. Towards self-managed executable petri nets. In International Conference on Self-Adaptive and Self-Organizing Systems, 2008.
48. W. Heaven, D. Sykes, J. Magee, and J. Kramer. Software engineering for adaptive and self-managing systems. chapter A case study in goal-driven architectural adaptation. 2009.
49. D. Herbert, V. Sundaram, Y.H. Lu, S. Bagchi, and Z. Li. Adaptive correctness monitoring for wireless sensor networks using hierarchical distributed run-time invariant checking. ACM Transactions on Autonomous and Adaptive Systems, 2(3), 2007.
50. M. Huebscher and J. McCann. A survey of autonomic computing: degrees, models, and applications. ACM Computer Surveys, 40:7:1-7:28, 2008.
51. A. Joolia, T. Batista, G. Coulson, and A. Gomes. Mapping adl specifications to an efficient and reconfigurable runtime component platform. In 5th Working IEEE/IFIP Conference on Software Architecture, 2005.
52. M. Karlsson and M. Covell. Dynamic black-box performance model estimation for self-tuning regulators. In International Conference on Automatic Computing, 2005.
53. J.O. Kephart and D.M. Chess. The vision of autonomic computing. Computer, 36(1):41-50, 2003.
54. M. Kim, J. Jeong, and S. Park. From product lines to self-managed systems: an architecture-based runtime reconfiguration framework. In Design and Evolution of Autonomic Application Software, 2005.
55. B. Kitchenham and S. Charters. Guidelines for performing systematic literature reviews in software engineering. (EBSE 2007-001, Keele and Durham University), 2007.
56. S. Ko, I. Gupta, and Y. Jo. A new class of nature-inspired algorithms for self-adaptive peer-to-peer computing. ACM Transactions on Autonomous and Adaptive Systems, 3(3):11:1-11:34, 2008.
57. L. Konig and H. Schmeck. A completely evolvable genotype-phenotype mapping for evolutionary robotics. In International Conference on Self-Adaptive and Self-Organizing Systems, 2009.
58. J. Kramer and J. Magee. Self-managed systems: An architectural challenge. Future of Software Engineering, 2007.
59. A. Lapouchnian, W. Robinson, V. Souza, and J. Mylopoulos. Awareness requirements for adaptive systems. Software Engineering for Adaptive and Self-Managing Systems, 2011.
60. Z. Lei and N. Georganas. Adaptive video transcoding and streaming over wireless channels. Journal of Systems and Software, 75(3):253-270, 2005.
61. J. Magee and T. Maibaum. Towards specification, modelling and analysis of fault tolerance in self managed systems. In Software Engineering for Adaptive and Self-Managing Systems, 2006.
62. S.S. Manvi and P. Venkataram. An agent based adaptive bandwidth allocation scheme for multimedia applications. Journal of Systems and Software, 75(3):305-318, 2005.
63. R. Mateescu, P. Poizat, and G. Salaün. Behavioral adaptation of component compositions based on process algebra encodings. In International Conference on Automated Software Engineering, 2007.
64. R. Mateescu, P. Poizat, and G. Salaun. Adaptation of service protocols using process algebra and on-the-fly reduction techniques. IEEE Transactions on Software Engineering, 99, 2011.
65. B. Morin, O. Barais, G. Nain, and J.M. Jezequel. Taming dynamically adaptive systems using models and aspects. In 31st International Conference on Software Engineering, 2009.
66. R. Nou, S. Kounev, F. Julià, and J. Torres. Autonomic QoS control in enterprise Grid environments using online simulation. Journal of Systems and Software, 82(3):486-502, 2009.
67. P. Oreizy, N. Medvidovic, and R. Taylor. Architecture-based runtime software evolution. In 20th International Conference on Software engineering. IEEE, 1998.
68. P. Pelliccione, M. Tivoli, A. Bucchiarone, and A. Polini. An architectural approach to the correct and automatic assembly of evolving component-based systems. Journal of Systems and Software, 81(12):2237-2251, 2008.
69. H. Raja and O. Scholz. A case study on self-sufficiency of individual robotic modules in an arena with limited energy resources. In International Conference on Adaptive and Self-Adaptive Systems and Applications, 2011.
70. C. Roblee and G. Cybenko. Implementing large-scale autonomic server monitoring using process query systems. In International Conference on Automatic Computing, 2005.
71. M. Salehie and L. Tahvildari. Self-adaptive software: Landscape and research challenges. Transactions on Autonomous and Adaptive Systems, 4:14:1-14:42, 2009.
72. M. Sama, S. Elbaum, F. Raimondi, D. Rosenblum, and Z. Wang. Context-aware adaptive applications: Fault patterns and their automated identification. IEEE Transactions on Software Engineering, 36(5):644-661, 2010.
73. M. Sama, D. Rosenblum, Z. Wang, and S. Elbaum. Model-based fault detection in context-aware adaptive applications. In International Symposium on Foundations of Software Engineering, 2008.
74. T. Seceleanu and D. Garlan. Developing adaptive systems with synchronized architectures. Journal of Systems and Software, 79(11):1514-1526, 2006.
75. S. Seshia. Autonomic reactive systems via online learning. In International Conference on Autonomic Computing, 2007.
76. H. Shan, G. Jiang, and K. Yoshihira. Extracting overlay invariants of distributed systems for autonomic system management. In International Conference on Self-Adaptive and Self-Organizing Systems, 2010.
77. B. Solomon, D. Ionescu, M. Litoiu, and G. Iszlai. Autonomic computing control of composed web services. In Software Engineering for Adaptive and Self-Managing Systems, 2010.
78. Y. Steven, G. Indranil, and J. Yookyung. Novel mathematics-inspired algorithms for self-adaptive peer-to-peer computing. In International Conference on Self-Adaptive and Self-Organizing Systems, 2007.
79. D. Sykes, W. Heaven, J. Magee, and J. Kramer. From goals to components: a combined approach to self-management. In Software Engineering for Adaptive and Self-Managing Systems, 2008.
80. D. Tacconi, D. Miorandi, I. Carreras, F. D. Pellegrini, and I. Chlamtac. Cooperative evolution of services in ubiquitous computing environments. ACM Transactions on Autonomous and Adaptive Systems, 6(3):20:1-20:24, 2011.
81. G. Tamura, N.M. Villegas, H. Muller, J.P. Sousa, B. Becker, G. Karsai, S. Mankovskii, M. Pezze, W. Schafer, L. Tahvildari, and K. Wong. Towards practical runtime verification and validation of self-adaptive software systems. Software Engineering for Self-Adaptive Systems II, Springer, 2012.
82. L. Tan. Model-based self-monitoring embedded programs with temporal logic specifications. In International Conference on Automated Software Engineering, 2005.
83. E. Vassev and M. Hinchey. ASSL: A software engineering approach to autonomic computing. Computer, 42(6):90-93, 2009.
84. N. Villegas, H. Müller, G. Tamura, L. Duchien, and R. Casallas. A framework for evaluating quality-driven self-adaptive software systems. In Software Engineering for Adaptive and Self-Managing Systems, 2011.
85. X. Wang, Z. Du, Y. Chen, and S. Li. Virtualization-based autonomic resource management for multi-tier Web applications in shared data center. Journal of Systems and Software, 81(9):1591-1608, 2008.
86. I. Warren, J. Sun, S. Krishnamohan, and T. Weerasinghe. An automated formal approach to managing dynamic reconfiguration. 2006.
87. M. Wermelinger, A. Lopes, and J. Fiadeiro. A graph based architectural (re)configuration language. In International Symposium on Foundations of Software Engineering, 2001.
88. D. Weyns. Towards an integrated approach for validating qualities of self-adaptive systems. ISSTA Workshop on Dynamic Analysis, 2012.
89. D. Weyns, U. Iftikhar, S. Malek, and J. Andersson. Claims and supporting evidence for self-adaptive systems. Software Engineering for Adaptive and Self-Managing Systems, 2012.
90. D. Weyns, S. Malek, and J. Andersson. Forms: a formal reference model for self-adaptation. In International Conference on Automatic Computing, 2010.
91. D. Weyns, S. Malek, and J. Andersson. Forms: Unifying reference model for formal specification of distributed self-adaptive systems. ACM Transactions on Autonomous and Adaptive Systems, 7(1), 2012.
92. C. Ye, S. Cheung, and W. Chan. Process evolution with atomicity consistency. In Software Engineering for Adaptive and Self-Managing Systems, 2007.
93. Z. Yu, J. Tsai, and T. Weigert. An adaptive automatically tuning intrusion detection system. ACM Transactions on Autonomous and Adaptive Systems, 3(3):10:1-10:25, 2008.
94. J. Zhang and B. Cheng. Model-based development of dynamically adaptive software. In 28th International Conference on Software Engineering, 2006.
95. J. Zhang and B. Cheng. Using temporal logic to specify adaptive program semantics. Journal of Systems and Software, 79(10):1361-1369, 2006.
96. Z. Zhang and H. Shen. M-aid: An adaptive middleware built upon anomaly detectors for intrusion detection and rational response. ACM Transactions on Autonomous and Adaptive Systems, 4(4):24:1-24:35, 2009.