{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T04:19:49Z","timestamp":1725941989457},"publisher-location":"Cham","reference-count":68,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319741826"},{"type":"electronic","value":"9783319741833"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-74183-3_11","type":"book-chapter","created":{"date-parts":[[2018,1,17]],"date-time":"2018-01-17T13:02:43Z","timestamp":1516194163000},"page":"307-348","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Models for the Consistent Interaction of Adaptations in Self-Adaptive Systems"],"prefix":"10.1007","author":[{"given":"Nicol\u00e1s","family":"Cardozo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim","family":"Mens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Siobh\u00e1n","family":"Clarke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,1,18]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Alvares De Oliveira Jr., F., Rutten, \u00c9., Seinturier, L.: Behavioural model-based control for autonomic software components. In: 12th IEEE International Conference on Autonomic Computing, ICAC 2015. IEEE, Grenoble, July 2015","DOI":"10.1109\/ICAC.2015.31"},{"key":"11_CR2","doi-asserted-by":"publisher","unstructured":"Amer, M., Karmouch, A., Gray, T., Mankovskii, S.: Policies for feature interaction resolution. In: de Souza, J.N., Boutaba, R. (eds.) Managing QoS in Multimedia Networks and Services, MMNS2000. IFIP AICT, vol. 54, pp. 207\u2013223. Springer, Boston (2000). https:\/\/doi.org\/10.1007\/978-0-387-35532-0_15","DOI":"10.1007\/978-0-387-35532-0_15"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-3-319-14977-6_6","volume-title":"Distributed Computing and Internet Technology","author":"X An","year":"2015","unstructured":"An, X., Delaval, G., Diguet, J.-P., Gamati\u00e9, A., Gueye, S., Marchand, H., de Palma, N., Rutten, E.: Discrete control-based design of adaptive and autonomic computing systems. In: Natarajan, R., Barua, G., Patra, M.R. (eds.) ICDCIT 2015. LNCS, vol. 8956, pp. 93\u2013113. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-14977-6_6"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Bainomugisha, E., Vallejos, J., De Roover, C., Lombide Carreton, A., De Meuter, W.: Interruptible context-dependent executions: a fresh look at programming context-aware applications. In: Proceedings of the ACM International Symposium on New Ideas and Reflections on Software, OnWard 2012, pp. 67\u201384. ACM, New York (2012)","DOI":"10.1145\/2384592.2384600"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Berthier, N., Rutten, \u00c9., De Palma, N., Gueye, S.M.K.: Designing autonomic management systems by using reactive control techniques. IEEE Trans. Software Eng., 18, December 2015","DOI":"10.1109\/TSE.2015.2510004"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-662-45234-9_4","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"D Bianculli","year":"2014","unstructured":"Bianculli, D., Filieri, A., Ghezzi, C., Mandrioli, D.: Incremental syntactic-semantic reliability analysis of evolving structured workflows. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8802, pp. 41\u201355. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-45234-9_4"},{"key":"11_CR7","series-title":"Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-319-15392-6_3","volume-title":"Nature of Computation and Communication","author":"N Bicocchi","year":"2015","unstructured":"Bicocchi, N., Vassev, E., Zambonelli, F., Hinchey, M.: Reasoning on data streams: an approach to adaptation in pervasive systems. In: Vinh, P.C., Vassev, E., Hinchey, M. (eds.) ICTCC 2014. LNICST, vol. 144, pp. 23\u201332. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-15392-6_3"},{"key":"11_CR8","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P Blalckburn","year":"2001","unstructured":"Blalckburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)"},{"key":"11_CR9","doi-asserted-by":"publisher","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines. Springer, Heidelberg (2003), https:\/\/doi.org\/10.1007\/978-3-642-18216-7","DOI":"10.1007\/978-3-642-18216-7"},{"issue":"3","key":"11_CR10","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1016\/S0377-2217(98)00364-6","volume":"119","author":"SC Brailsford","year":"1999","unstructured":"Brailsford, S.C., Potts, C.N., Smith, B.M.: Constraint satisfaction problems: algorithms and applications. Eur. J. Oper. Res. 119(3), 557\u2013581 (1999)","journal-title":"Eur. J. Oper. Res."},{"key":"11_CR11","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/S1389-1286(02)00352-3","volume":"41","author":"M Calder","year":"2003","unstructured":"Calder, M., Kolberg, M., Magill, E.H., Reiff-Marganiec, S.: Feature interaction: a critical review and considered forecast. Comput. Netw. 41, 115\u2013141 (2003)","journal-title":"Comput. Netw."},{"issue":"9","key":"11_CR12","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1145\/2330667.2330686","volume":"55","author":"R Calinescu","year":"2012","unstructured":"Calinescu, R., Ghezzi, C., Kwiatkowska, M., Mirandola, R.: Self-adaptive software needs quantitative verification at runtime. Commun. ACM 55(9), 69\u201377 (2012)","journal-title":"Commun. ACM"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Capilla, R., Hinchey, M., D\u00edaz, F.J.: Collaborative context features for critical systems. In: Proceedings of the Ninth International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS 2015, pp. 43:43\u201343:50. ACM, New York (2015)","DOI":"10.1145\/2701319.2701322"},{"key":"11_CR14","unstructured":"Cardozo, N.: Identification and Management of Inconsistencies in Dynamicaly Adaptive Software Systems. Ph.D. thesis, Universit\u00e9 catholique de Louvain - Vrije Universiteit Brussel, Louvain-la-Neuve, Belgium, September 2013"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Cardozo, N., Clarke, S.: Context slices: Lightweight discovery of behavioral adaptations. In: Proceedings of the Context-Oriented Programming Workshop, COP 2015, pp. 2:1\u20132:6. ACM, July 2015","DOI":"10.1145\/2786545.2786554"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Cardozo, N., Gonz\u00e1lez, S., Mens, K., Van Der Straeten, R., D\u2019Hondt, T.: Modeling and analyzing self-adaptive systems with context petri nets. In: Proceedings of the Symposium on Theoretical Aspects of Software Engineering, TASE 2013, pp. 191\u2013198. IEEE Computer Society, July 2013","DOI":"10.1109\/TASE.2013.33"},{"key":"11_CR17","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/j.infsof.2014.10.002","volume":"58","author":"N Cardozo","year":"2015","unstructured":"Cardozo, N., Gonz\u00e1lez, S., Van Der Straeten, R., Mens, K., Vallejos, J., D\u2019Hondt, T.: Semantics for consistent activation in context-oriented systems. J. Inf. Softw. Technol. 58, 71\u201394 (2015)","journal-title":"J. Inf. Softw. Technol."},{"key":"11_CR18","unstructured":"Cardozo, N., Vallejos, J., Gonz\u00e1lez, S., Mens, K., D\u2019Hondt, T.: Context petri nets: enabling consistent composition of context-dependent behavior. In: International Workshop on Petri Nets and Software Engineering, PNSE 2012, 25\u201326 June 2012. Springer (2012). Co-located with the International Conference on Application and Theory of Petri Nets and Concurrency"},{"issue":"12","key":"11_CR19","first-page":"1113","volume":"76","author":"S Castro","year":"2010","unstructured":"Castro, S., De Roover, C., Kellens, A., Lozano, A., Mens, K., D\u2019Hondt, T.: Diagnosing and correcting design inconsistencies in source code with logical abduction. Sci. Comput. Program. Special Issue Softw. Evol. Adapt. Variability 76(12), 1113\u20131129 (2010)","journal-title":"Sci. Comput. Program. Special Issue Softw. Evol. Adapt. Variability"},{"issue":"10","key":"11_CR20","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/MC.2009.309","volume":"42","author":"C Cetina","year":"2009","unstructured":"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\u201343 (2009)","journal-title":"Computer"},{"issue":"3","key":"11_CR21","first-page":"1","volume":"19","author":"X Chang","year":"2010","unstructured":"Chang, X., Cheung, S.C., Chan, W.K., Ye, C.: Partial constraint checking for context consistency in pervasive computing. ACM Trans. Software Eng. Methodol. 19(3), 1\u201361 (2010)","journal-title":"ACM Trans. Software Eng. Methodol."},{"key":"11_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-3-662-45391-9_7","volume-title":"Service-Oriented Computing","author":"N Chen","year":"2014","unstructured":"Chen, N., Clarke, S.: A dynamic service composition model for adaptive systems in mobile computing environments. In: Franch, X., Ghose, A.K., Lewis, G.A., Bhiri, S. (eds.) ICSOC 2014. LNCS, vol. 8831, pp. 93\u2013107. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-45391-9_7"},{"key":"11_CR23","first-page":"1","volume":"13","author":"S Degrandsart","year":"2012","unstructured":"Degrandsart, S., Demeyer, S., den Bergh, J.V., Mens, T.: A transformation-based approach to context-aware modelling. Softw. Syst. Model 13, 1\u201318 (2012)","journal-title":"Softw. Syst. Model"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Devillers, R., Klaudel, H., Koutny, M.: Context-based process algebras for mobility. In: Proceedings of the 4th International Conference on Application of Concurrency to System Design, ACSD 2004. IEEE Computer Society (2004)","DOI":"10.1109\/CSD.2004.1309118"},{"key":"11_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/BFb0019971","volume-title":"Advances in Petri Nets 1991","author":"C Dimitrovici","year":"1991","unstructured":"Dimitrovici, C., Hummert, U., Petrucci, L.: Semantics, composition and net properties of algebraic high-level nets. In: Rozenberg, G. (ed.) ICATPN 1990. LNCS, vol. 524, pp. 93\u2013117. Springer, Heidelberg (1991). https:\/\/doi.org\/10.1007\/BFb0019971"},{"issue":"2","key":"11_CR26","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/s00165-011-0207-2","volume":"24","author":"A Filieri","year":"2011","unstructured":"Filieri, A., Ghezzi, C., Tamburrelli, G.: A formal approach to adaptive software: continuous assurance of non-functional requirements. Formal Aspects Comput. 24(2), 163\u2013186 (2011)","journal-title":"Formal Aspects Comput."},{"key":"11_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1007\/978-3-642-35632-2_30","volume-title":"Runtime Verification","author":"V Forejt","year":"2013","unstructured":"Forejt, V., Kwiatkowska, M., Parker, D., Qu, H., Ujma, M.: Incremental runtime verification of probabilistic systems. In: Qadeer, S., Tasiran, S. (eds.) RV 2012. LNCS, vol. 7687, pp. 314\u2013319. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35632-2_30"},{"key":"11_CR28","unstructured":"Forgy, C.L.: On the efficient implementation of production systems. Ph.D. thesis, Carnegie Mellon University, Pittsburgh, PA, USA (1979)"},{"key":"11_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-642-02161-9_8","volume-title":"Software Engineering for Self-Adaptive Systems","author":"K Geihs","year":"2009","unstructured":"Geihs, K., Reichle, R., Wagner, M., Khan, M.U.: Modeling of context-aware self-adaptive applications in ubiquitous and service-oriented environments. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol. 5525, pp. 146\u2013163. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02161-9_8"},{"key":"11_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-642-19440-5_15","volume-title":"Software Language Engineering","author":"S Gonz\u00e1lez","year":"2011","unstructured":"Gonz\u00e1lez, S., Cardozo, N., Mens, K., C\u00e1diz, A., Libbrecht, J.-C., Goffaux, J.: Subjective-C: Bringing context to mobile platform programming. In: Malloy, B., Staab, S., van den Brand, M. (eds.) SLE 2010. LNCS, vol. 6563, pp. 246\u2013265. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-19440-5_15"},{"key":"11_CR31","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8, 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."},{"issue":"1","key":"11_CR32","first-page":"2","volume":"28","author":"N Harvey","year":"1996","unstructured":"Harvey, N., Morris, J.: Nl: a parallel programming visual language. Aust. Comput. 28(1), 2\u201312 (1996)","journal-title":"Aust. Comput."},{"key":"11_CR33","unstructured":"Helleboogh, A., Weyns, D., Schmid, K., Holvoet, T., Schelfthout, K., Van Betsbrugge, W.: Adding variants on-the-fly: modeling meta-variability in dynamic software product lines. In: Proceedings of the International Workshop on Dynamic Software Product Lines, DSPL 2009, pp. 18\u201327. Carnegie Mellon University, August 2009"},{"key":"11_CR34","volume-title":"Algebraic Theory of Processes","author":"M Hennessy","year":"1988","unstructured":"Hennessy, M.: Algebraic Theory of Processes. The MIT Press, Cambridge (1988)"},{"key":"11_CR35","unstructured":"Hopcroft, J.E., Ullman, J.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading (1979)"},{"key":"11_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-642-19440-5_23","volume-title":"Software Language Engineering","author":"A Hubaux","year":"2011","unstructured":"Hubaux, A., Boucher, Q., Hartmann, H., Michel, R., Heymans, P.: Evaluating a textual feature modelling language: four industrial case studies. In: Malloy, B., Staab, S., van den Brand, M. (eds.) SLE 2010. LNCS, vol. 6563, pp. 337\u2013356. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-19440-5_23"},{"key":"11_CR37","doi-asserted-by":"crossref","unstructured":"Iftikhar, M.U., Weyns, D.: Activforms: active formal models for self-adaptation. In: Proceedings of the International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014, pp. 125\u2013134. ACM, New York (2014)","DOI":"10.1145\/2593929.2593944"},{"key":"11_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/3-540-47797-7_7","volume-title":"Algebraic and Coalgebraic Methods in the Mathematics of Program Construction","author":"B Jacobs","year":"2002","unstructured":"Jacobs, B.: Exercises in coalgebraic specification. In: Backhouse, R., Crole, R., Gibbons, J. (eds.) Algebraic and Coalgebraic Methods in the Mathematics of Program Construction. LNCS, vol. 2297, pp. 237\u2013281. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-47797-7_7"},{"key":"11_CR39","doi-asserted-by":"crossref","unstructured":"Johnson, K., Calinescu, R., Kikuchi, S.: An incremental verification framework for component-based software systems. In: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, CBSE 2013, pp. 33\u201342. ACM, New York (2013)","DOI":"10.1145\/2465449.2465456"},{"issue":"1","key":"11_CR40","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1013208.1013209","volume":"36","author":"WM Johnston","year":"2004","unstructured":"Johnston, W.M., Hanna, J.R.P., Millar, R.J.: Advances in dataflow programming languages. ACM Comput. Surv. 36(1), 1\u201334 (2004)","journal-title":"ACM Comput. Surv."},{"key":"11_CR41","doi-asserted-by":"crossref","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: Atl: A model transformation tool. Sci. Comput. Program. 72(12), 31\u201339 (2008), http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0167642308000439 . Special Issue on Second Issue of Experimental Software and Toolkits (EST)","DOI":"10.1016\/j.scico.2007.08.002"},{"key":"11_CR42","doi-asserted-by":"crossref","unstructured":"Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-oriented domain analysis (foda) feasibility study. Technical Report CMU\/SEI-90-TR-21, Carnegie-Mellon University Software Engineering Institute, November 1990","DOI":"10.21236\/ADA235785"},{"key":"11_CR43","doi-asserted-by":"crossref","unstructured":"Laddaga, R.: Self adaptive software problems and projects. In: Proceedings of the Second International IEEE Workshop on Software Evolvability, SOFTWARE-EVOLVABILITY 2006, pp. 3\u201310. IEEE Computer Society, Washington, DC (2006)","DOI":"10.1109\/SOFTWARE-EVOLVABILITY.2006.10"},{"key":"11_CR44","doi-asserted-by":"crossref","unstructured":"Latella, D., Majzik, I., Massink, M.: Towards a formal operational semantics of UML statechart diagrams. In: International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 1999, pp. 465\u2013482. Kluwer, B.V., Deventer (1999)","DOI":"10.1007\/978-0-387-35562-7_25"},{"key":"11_CR45","doi-asserted-by":"crossref","unstructured":"Lee, T., Leok, M., McClamroch, N.H.: Discrete control systems. In: Mathematics Complexity and Dynamical Systems, pp. 143\u2013159 (2011)","DOI":"10.1007\/978-1-4614-1806-1_10"},{"key":"11_CR46","doi-asserted-by":"crossref","unstructured":"Liu, Y., Meier, R.: Resource-aware contracts for addressing feature interaction in dynamic adaptive systems. In: International Conference on Autonomic and Autonomous Systems, pp. 346\u2013350 (2009)","DOI":"10.1109\/ICAS.2009.24"},{"key":"11_CR47","unstructured":"Lombide Carreton, A.: Ambient-Oriented Dataflow Programming for Mobile RFID-Enabled Applications. Ph.D. thesis, Vrije Universiteit Brussel, Pleinlaan 2, Brussels, Belgium, October 2011"},{"issue":"1","key":"11_CR48","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes (parts i and ii). Inf. Comput. 100(1), 1\u201377 (1992)","journal-title":"Inf. Comput."},{"key":"11_CR49","doi-asserted-by":"publisher","unstructured":"Morin, B., Barais, O., Jezequel, J.M., Fleurey, F., Solberg, A.: Models@ run.time to support dynamic adaptation. IEEE Comput. 42(10), 44\u201351 (2009). https:\/\/doi.org\/10.1109\/MC.2009.327","DOI":"10.1109\/MC.2009.327"},{"key":"11_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/978-3-540-72794-1_15","volume-title":"Coordination Models and Languages","author":"S Mostinckx","year":"2007","unstructured":"Mostinckx, S., Scholliers, C., Philips, E., Herzeel, C., De Meuter, W.: Fact spaces: coordination in the face of disconnection. In: Murphy, A.L., Vitek, J. (eds.) COORDINATION 2007. LNCS, vol. 4467, pp. 268\u2013285. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-72794-1_15"},{"issue":"4","key":"11_CR51","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"11_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-642-31491-9_13","volume-title":"Modelling Foundations and Applications","author":"J Pinna Puissant","year":"2012","unstructured":"Pinna Puissant, J., Van Der Straeten, R., Mens, T.: Badger: a regression planner to resolve design model inconsistencies. In: Vallecillo, A., Tolvanen, J.-P., Kindler, E., St\u00f6rrle, H., Kolovos, D. (eds.) ECMFA 2012. LNCS, vol. 7349, pp. 146\u2013161. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-31491-9_13"},{"issue":"2","key":"11_CR53","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1007\/s10009-004-0183-4","volume":"7","author":"MR Prasad","year":"2005","unstructured":"Prasad, M.R., Biere, A., Gupta, A.: A survey of recent advances in sat based formal verification. J. Softw. Tools Technol. Transfer 7(2), 156\u2013173 (2005)","journal-title":"J. Softw. Tools Technol. Transfer"},{"issue":"5","key":"11_CR54","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1002\/cpe.583","volume":"13","author":"C Prehofer","year":"2001","unstructured":"Prehofer, C.: Feature-oriented programming: a new way of object composition. Concurrency Comput. Pract. Experience 13(5), 465\u2013501 (2001)","journal-title":"Concurrency Comput. Pract. Experience"},{"key":"11_CR55","unstructured":"Reiff, S.: Identifying resolution choices for an online feature manager. In: Proceedings of the International Workshop on Feature Interactions in Telecommunications and Software Systems, pp. 113\u2013128. IOS Press, Amsterdam (2000)"},{"key":"11_CR56","doi-asserted-by":"crossref","unstructured":"Schippers, H., Molderez, T., Janssens, D.: A graph-based operational semantics for context-oriented programming. In: Proceedings of the Context-Oriented Workshop, COP 2010, vol. 6, pp. 1\u20136. ACM, New York (2010)","DOI":"10.1145\/1930021.1930027"},{"key":"11_CR57","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-642-24755-2_19","volume-title":"Towards a Service-Based Internet","author":"E Schmieders","year":"2011","unstructured":"Schmieders, E., Metzger, A.: Preventing performance violations of service compositions using assumption-based run-time verification. In: Abramowicz, W., Llorente, I.M., Surridge, M., Zisman, A., Vayssi\u00e8re, J. (eds.) ServiceWave 2011. LNCS, vol. 6994, pp. 194\u2013205. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24755-2_19"},{"key":"11_CR58","doi-asserted-by":"crossref","unstructured":"Sistla, P.: Hybrid and incremental modelchecking techniques. ACM Comput. Surv. 28(4es), December 1996","DOI":"10.1145\/242224.242384"},{"key":"11_CR59","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1007\/978-3-642-41533-3_34","volume-title":"Model-Driven Engineering Languages and Systems","author":"H Song","year":"2013","unstructured":"Song, H., Barrett, S., Clarke, A., Clarke, S.: Self-adaptation with end-user preferences: using run-time models and constraint solving. In: Moreira, A., Sch\u00e4tz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol. 8107, pp. 555\u2013571. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-41533-3_34"},{"key":"11_CR60","unstructured":"Straeten, R.V.D.: Inconsistency Management in Model-Driven Engineering. Ph.D. thesis, Vrije Universiteit Brussel, Pleinlaan 2, Brussels, Belgium, September 2005"},{"issue":"3","key":"11_CR61","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0890-5401(89)90031-X","volume":"81","author":"RS Streett","year":"1989","unstructured":"Streett, R.S., Emerson, E.A.: An automata theoretic decision procedure for the propositional mu-calculus. Inf. Comput. 81(3), 249\u2013264 (1989)","journal-title":"Inf. Comput."},{"key":"11_CR62","doi-asserted-by":"crossref","unstructured":"Sykes, D., Magee, J., Kramer, J.: Flashmob: distributed adaptive self-assembly. In: Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2011, pp. 100\u2013109. ACM, New York (2011)","DOI":"10.1145\/1988008.1988023"},{"key":"11_CR63","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1007\/978-3-540-25959-6_35","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"G Taentzer","year":"2004","unstructured":"Taentzer, G.: AGG: a\u00a0graph transformation environment for modeling and validation of software. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 446\u2013453. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-25959-6_35"},{"key":"11_CR64","doi-asserted-by":"crossref","unstructured":"Tan, L.: Model-based self-adaptive embedded programs with temporal logic specifications. In: Quality Software International Conference, QSIC 2006, pp. 151\u2013158, October 2006","DOI":"10.1109\/QSIC.2006.41"},{"key":"11_CR65","doi-asserted-by":"publisher","unstructured":"Tesei, L., Merelli, E., Paoletti, N.: Multiple levels in self-adaptive complex systems: a state-based approach. In: Gilbert, T., Kirkilionis, M., Nicolis, G. (eds.) Proceedings of the European Conference on Complex Systems, ECCS 2012. Springer Proceedings in Complexity, pp. 1033\u20131050. Springer, Cham (2012), https:\/\/doi.org\/10.1007\/978-3-319-00395-5_124","DOI":"10.1007\/978-3-319-00395-5_124"},{"key":"11_CR66","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/978-3-642-12189-0_27","volume-title":"Computational Science and Its Applications \u2013 ICCSA 2010","author":"N Ukey","year":"2010","unstructured":"Ukey, N., Niyogi, R., Milani, A., Singh, K.: A bidirectional heuristic search technique for web service composition. In: Taniar, D., Gervasi, O., Murgante, B., Pardede, E., Apduhan, B.O. (eds.) ICCSA 2010. LNCS, vol. 6019, pp. 309\u2013320. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-12189-0_27"},{"issue":"2","key":"11_CR67","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/s10270-006-0025-9","volume":"6","author":"R Straeten Van Der","year":"2006","unstructured":"Van Der Straeten, R., Jonckers, V., Mens, T.: A formal approach to model refactoring and model refinement. Softw. Syst. Model. 6(2), 139\u2013162 (2006)","journal-title":"Softw. Syst. Model."},{"issue":"10","key":"11_CR68","doi-asserted-by":"crossref","first-page":"1361","DOI":"10.1016\/j.jss.2006.02.062","volume":"79","author":"J Zhang","year":"2006","unstructured":"Zhang, J., Cheng, B.H.: Using temporal logic to specify adaptive program semantics. J. Syst. Softw. 79(10), 1361\u20131369 (2006)","journal-title":"J. Syst. Softw."}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Self-Adaptive Systems III. Assurances"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-74183-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,12]],"date-time":"2022-08-12T18:56:48Z","timestamp":1660330608000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-74183-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319741826","9783319741833"],"references-count":68,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-74183-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}