{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T11:38:13Z","timestamp":1648726693178},"reference-count":34,"publisher":"Sociedade Brasileira de Computacao - SB","issue":"1","license":[{"start":{"date-parts":[[2011,12,3]],"date-time":"2011-12-03T00:00:00Z","timestamp":1322870400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/2.0"},{"start":{"date-parts":[[2011,12,3]],"date-time":"2011-12-03T00:00:00Z","timestamp":1322870400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/2.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Internet Serv Appl"],"published-print":{"date-parts":[[2012,5]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>In this paper, we explore the integration of evolutionary computation into the development and run-time support of dynamically-adaptable, high-assurance middleware. The open-ended nature of the evolutionary process has been shown to discover novel solutions to complex engineering problems. In the case of high-assurance adaptive software, however, this search capability must be coupled with rigorous development tools and run-time support to ensure that the resulting systems behave in accordance with requirements. Early investigations are reviewed, and several challenging problems and possible research directions are discussed.<\/jats:p>","DOI":"10.1007\/s13174-011-0049-4","type":"journal-article","created":{"date-parts":[[2011,12,3]],"date-time":"2011-12-03T17:10:22Z","timestamp":1322932222000},"page":"51-58","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Applying evolutionary computation to mitigate uncertainty in dynamically-adaptive, high-assurance middleware"],"prefix":"10.5753","volume":"3","author":[{"given":"Philip K.","family":"McKinley","sequence":"first","affiliation":[]},{"given":"Betty H. C.","family":"Cheng","sequence":"additional","affiliation":[]},{"given":"Andres J.","family":"Ramirez","sequence":"additional","affiliation":[]},{"given":"Adam C.","family":"Jensen","sequence":"additional","affiliation":[]}],"member":"3742","published-online":{"date-parts":[[2011,12,3]]},"reference":[{"issue":"7","key":"49_CR1","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/MC.2004.48","volume":"37","author":"PK McKinley","year":"2004","unstructured":"McKinley PK, Sadjadi SM, Kasten EP, Cheng BHC (2004) Composing adaptive software. IEEE Comput 37(7):56\u201364","journal-title":"IEEE Comput"},{"key":"49_CR2","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1145\/1134285.1134337","volume-title":"Proceedings of the 28th international conference on software engineering","author":"J Zhang","year":"2006","unstructured":"Zhang J, Cheng BHC (2006) Model-based development of dynamically adaptive software. In: Proceedings of the 28th international conference on software engineering. ACM, New York, pp 371\u2013380 (Distinguished Paper Award)"},{"key":"49_CR3","volume-title":"Proceedings of the IFIP international conference on distributed systems platforms and open distributed processing (Middleware\u201998)","author":"GS Blair","year":"1998","unstructured":"Blair GS, Coulson G, Robin P, Papathomas M (1998) An architecture for next generation middleware. In: Proceedings of the IFIP international conference on distributed systems platforms and open distributed processing (Middleware\u201998), The Lake District, England, September"},{"key":"49_CR4","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1109\/RE.2009.36","volume-title":"Proceedings of the 17th international requirements engineering conference (RE \u201909)","author":"J Whittle","year":"2009","unstructured":"Whittle J, Sawyer P, Bencomo N, Cheng BHC, Bruel J-M (2009) RELAX: Incorporating uncertainty into the specification of self-adaptive systems. In: Proceedings of the 17th international requirements engineering conference (RE \u201909), Atlanta, Georgia, USA. IEEE Computer Society, Washington, pp 79\u201388"},{"key":"49_CR5","volume-title":"Evolutionary computation: a unified approach","author":"KA De Jong","year":"2002","unstructured":"De Jong KA (2002) Evolutionary computation: a unified approach. MIT Press, Cambridge"},{"key":"49_CR6","unstructured":"Awards for human-competitive results produced by genetic and evolutionary computation. Competition held as part of the annual genetic and evolutionary computation conference (GECCO), sponsored by ACM SIGEVO. Results available at http:\/\/www.human-competitive.org"},{"key":"49_CR7","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1016\/S0140-3664(97)00165-5","volume":"21","author":"DC Schmidt","year":"1998","unstructured":"Schmidt DC, Levine DL, Mungee S (1998) The design of the TAO real-time object request broker. Comput Commun 21:294\u2013324","journal-title":"Comput Commun"},{"key":"49_CR8","unstructured":"Sadjadi SM (2004) Transparent shaping support for adaptability in pervasive and autonomic computing. PhD thesis, Michigan State University, East Lansing, Michigan, USA"},{"key":"49_CR9","volume-title":"Proceedings of the IFIP international conference on distributed systems platforms and open distributed processing (Middleware\u201998)","author":"R Vanegas","year":"1998","unstructured":"Vanegas R, Zinky JA, Loyall JP, Karr DA, Schantz RE, Bakken DE (1998) QuO\u2019s runtime support for quality of service in distributed objects. In: Proceedings of the IFIP international conference on distributed systems platforms and open distributed processing (Middleware\u201998), The Lake District, England, September"},{"issue":"12","key":"49_CR10","doi-asserted-by":"publisher","first-page":"1941","DOI":"10.1016\/j.jss.2007.03.002","volume":"80","author":"SB Mokhtar","year":"2007","unstructured":"Mokhtar SB, Georgantas N, Issarny V (2007) COCOA: COnversation-based service COmposition in pervAsive computing environments with QoS support. J Syst Softw 80(12):1941\u20131955","journal-title":"J Syst Softw"},{"key":"49_CR11","volume-title":"Future of software engineering 2007","author":"J Kramer","year":"2007","unstructured":"Kramer J, Magee J (2007) Self-managed systems: an architectural challenge. In: Future of software engineering 2007. IEEE-CS Press, Los Alamitos"},{"key":"49_CR12","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"606","DOI":"10.1007\/978-3-642-04425-0_47","volume-title":"Proceedings of the 2009 international conference on model driven engineering languages and systems (Models \u201909)","author":"F Fleury","year":"2009","unstructured":"Fleury F, Solberg A (2009) A domain specific modeling language supporting specification, simulation and execution of dynamic adaptive systems. In: Proceedings of the 2009 international conference on model driven engineering languages and systems (Models \u201909), Denver, Colorado, USA. Lecture notes in computer science, vol 5795. Springer, Berlin, pp 606\u2013621"},{"key":"49_CR13","first-page":"140","volume-title":"Proceedings of the second IEEE international symposium on requirements engineering","author":"S Fickas","year":"1995","unstructured":"Fickas S, Feather MS (1995) Requirements monitoring in dynamic environments. In: Proceedings of the second IEEE international symposium on requirements engineering. IEEE Computer Society, Washington, p 140"},{"key":"49_CR14","volume-title":"Proceedings of the 1998 conference on fundamental approaches to software engineering (FASE\u201998)","author":"R Allen","year":"1998","unstructured":"Allen R, Douence R, Garlan D (1998) Specifying and analyzing dynamic software architectures. In: Proceedings of the 1998 conference on fundamental approaches to software engineering (FASE\u201998), Lisbon, Portugal, March"},{"key":"49_CR15","volume-title":"Proc of 4th IEEE international conference on configurable distributed systems","author":"J Kramer","year":"1998","unstructured":"Kramer J, Magee J (1998) Analysing dynamic change in software architectures: a case study. In: Proc of 4th IEEE international conference on configurable distributed systems, Annapolis, May"},{"key":"49_CR16","volume-title":"Proceedings of international conference on software engineering (ICSE\u201906)","author":"J Zhang","year":"2006","unstructured":"Zhang J, Cheng BHC (2006) Model-based development of dynamically adaptive software. In: Proceedings of international conference on software engineering (ICSE\u201906), Shanghai, China, May"},{"key":"49_CR17","volume-title":"Adaptation in natural and artificial systems: an introductory analysis with applications to biology, control, and artificial intelligence","author":"JH Holland","year":"1975","unstructured":"Holland JH (1975) Adaptation in natural and artificial systems: an introductory analysis with applications to biology, control, and artificial intelligence. University of Michigan Press, Ann Arbor"},{"key":"49_CR18","volume-title":"Genetic programming IV: routine human-competitive machine intelligence","author":"JR Koza","year":"2003","unstructured":"Koza JR (2003) Genetic programming IV: routine human-competitive machine intelligence. Kluwer Academic, Norwell"},{"key":"49_CR19","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1162\/106454604773563612","volume":"10","author":"C Ofria","year":"2004","unstructured":"Ofria C, Wilke CO (2004) Avida: a software platform for research in computational evolutionary biology. J Artif Life 10:191\u2013229","journal-title":"J Artif Life"},{"key":"49_CR20","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1038\/nature01568","volume":"423","author":"RE Lenski","year":"2003","unstructured":"Lenski RE, Ofria C, Pennock RT, Adami C (2003) The evolutionary origin of complex features. Nature 423:139\u2013144","journal-title":"Nature"},{"key":"49_CR21","doi-asserted-by":"crossref","unstructured":"McKinley PK, Cheng BHC, Ofria C, Knoester D, Beckmann B, Goldsby H (2008) Harnessing digital evolution. IEEE Comput. 41","DOI":"10.1109\/MC.2008.17"},{"key":"49_CR22","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1613\/jair.1338","volume":"21","author":"KO Stanley","year":"2004","unstructured":"Stanley KO, Miikkulainen R (2004) Competitive coevolution through evolutionary complexification. J Artif Intell Res 21:63\u2013100","journal-title":"J Artif Intell Res"},{"key":"49_CR23","volume-title":"Handbook of robotics","author":"D Floreano","year":"2008","unstructured":"Floreano D, Husbands P, Nolfi S (2008) Evolutionary robotics. In: Handbook of robotics. Springer, Berlin"},{"key":"49_CR24","doi-asserted-by":"publisher","first-page":"2829","DOI":"10.1145\/1388969.1389080","volume-title":"GECCO \u201908: proceedings of the 2008 GECCO conference companion on genetic and evolutionary computation","author":"R Miikkulainen","year":"2008","unstructured":"Miikkulainen R, Stanley KO (2008) Evolving neural networks. In: GECCO \u201908: proceedings of the 2008 GECCO conference companion on genetic and evolutionary computation. ACM, New York, pp 2829\u20132848"},{"key":"49_CR25","volume-title":"Proceedings of the third IEEE international conference on self-adaptive and self-organizing systems","author":"DB Knoester","year":"2009","unstructured":"Knoester DB, McKinley PK (2009) Evolution of probabilistic consensus in digital organisms. In: Proceedings of the third IEEE international conference on self-adaptive and self-organizing systems, San Francisco, California, September"},{"key":"49_CR26","volume-title":"Proceedings of the 26th international conference on automated software engineering (ASE11)","author":"AJ Ramirez","year":"2011","unstructured":"Ramirez AJ, Jensen AC, Cheng BHC, Knoester DB (2011) Automatically exploring how uncertainty impacts the behavior of dynamically adaptive systems. In: Proceedings of the 26th international conference on automated software engineering (ASE11), Lawrence, Kansas"},{"key":"49_CR27","volume-title":"Proceedings of the eleventh international conference on artificial life (ALIFE XI)","author":"J Lehman","year":"2008","unstructured":"Lehman J, Stanley KO (2008) Exploiting open-endedness to solve problems through the search for novelty. In: Proceedings of the eleventh international conference on artificial life (ALIFE XI). MIT Press, Cambridge"},{"key":"49_CR28","volume-title":"Proceedings of the ACM\/IEEE international conference on model driven engineering languages and systems (MoDELS 2010)","author":"HJ Goldsby","year":"2010","unstructured":"Goldsby HJ, Cheng BHC (2010) Automatically discovering properties that specify the latent behavior of UML models. In: Proceedings of the ACM\/IEEE international conference on model driven engineering languages and systems (MoDELS 2010), Oslo, Norway, October"},{"key":"49_CR29","volume-title":"Proceedings of the ACM\/IEEE international conference on model driven engineering languages and systems","author":"A Jensen","year":"2011","unstructured":"Jensen A, Cheng B, Goldsby H, Nelson E (2011) A toolchain for the detection of structural and behavioral latent system properties. In: Proceedings of the ACM\/IEEE international conference on model driven engineering languages and systems"},{"key":"49_CR30","volume-title":"Proceedings of the first international workshop on requirements at run time","author":"AJ Ramirez","year":"2010","unstructured":"Ramirez AJ, Cheng BHC, McKinley PK (2010) Adaptive monitoring of software requirements. In: Proceedings of the first international workshop on requirements at run time, Sydney, Australia, October"},{"key":"49_CR31","volume-title":"Proceedings of the 6th IEEE international conference on autonomic computing and communications","author":"A Ramirez","year":"2009","unstructured":"Ramirez A, Knoester D, Cheng BHC, McKinley PK (2009) Applying genetic algorithms to decision making in autonomic computing systems. In: Proceedings of the 6th IEEE international conference on autonomic computing and communications, Barcelona, Spain, June. Best Paper Award"},{"key":"49_CR32","volume-title":"Proceedings of the fifth IEEE international conference on self-adaptive and self-organizing systems","author":"DB Knoester","year":"2011","unstructured":"Knoester DB, McKinley PK (2011) Neuroevolution of controllers for self-organizing mobile ad hoc networks. In: Proceedings of the fifth IEEE international conference on self-adaptive and self-organizing systems, Ann Arbor, Michigan, October"},{"key":"49_CR33","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1145\/1809049.1809080","volume-title":"Proceedings of the 7th international conference on autonomic computing","author":"AJ Ramirez","year":"2010","unstructured":"Ramirez AJ, Cheng BHC, McKinley PK, Beckmann BE (2010) Automatically generating adaptive logic to balance non-functional tradeoffs during reconfiguration. In: Proceedings of the 7th international conference on autonomic computing, Washington, DC, June, pp 225\u2013234"},{"key":"49_CR34","first-page":"199","volume-title":"Proceedings of the 32nd ACM\/IEEE international conference on software engineering, ICSE \u201910","author":"N Bencomo","year":"2010","unstructured":"Bencomo N, Whittle J, Sawyer P, Finkelstein A, Letier E (2010) Requirements reflection: requirements as runtime entities. In: Proceedings of the 32nd ACM\/IEEE international conference on software engineering, ICSE \u201910, vol 2. ACM, New York, pp 199\u2013202"}],"container-title":["Journal of Internet Services and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13174-011-0049-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s13174-011-0049-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/s13174-011-0049-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13174-011-0049-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,9]],"date-time":"2022-02-09T22:14:32Z","timestamp":1644444872000},"score":1,"resource":{"primary":{"URL":"https:\/\/jisajournal.springeropen.com\/articles\/10.1007\/s13174-011-0049-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12,3]]},"references-count":34,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,5]]}},"alternative-id":["49"],"URL":"https:\/\/doi.org\/10.1007\/s13174-011-0049-4","relation":{},"ISSN":["1867-4828","1869-0238"],"issn-type":[{"value":"1867-4828","type":"print"},{"value":"1869-0238","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,12,3]]},"assertion":[{"value":"31 October 2011","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 November 2011","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 December 2011","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}