{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T19:10:07Z","timestamp":1746385807115,"version":"3.40.4"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319116525"},{"type":"electronic","value":"9783319116532"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11653-2_17","type":"book-chapter","created":{"date-parts":[[2014,9,19]],"date-time":"2014-09-19T11:30:44Z","timestamp":1411126244000},"page":"269-285","source":"Crossref","is-referenced-by-count":4,"title":["Modelling Adaptation Policies as Domain-Specific Constraints"],"prefix":"10.1007","author":[{"given":"Hui","family":"Song","sequence":"first","affiliation":[]},{"given":"Xiaodong","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Nicolas","family":"Ferry","sequence":"additional","affiliation":[]},{"given":"Franck","family":"Chauvel","sequence":"additional","affiliation":[]},{"given":"Arnor","family":"Solberg","sequence":"additional","affiliation":[]},{"given":"Gang","family":"Huang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"de Lemos, R., et al.: Software engineering for self-adaptive systems: A research roadmap. In: de Lemos, R., Giese, H., M\u00fcller, H.A., Shaw, M., et al. (eds.) Self-Adaptive Systems. LNCS, vol.\u00a07475, pp. 1\u201332. Springer, Heidelberg (2013)","DOI":"10.1007\/978-3-642-35813-5"},{"issue":"2","key":"17_CR2","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/1516533.1516538","volume":"4","author":"M. Salehie","year":"2009","unstructured":"Salehie, M., Tahvildari, L.: Self-adaptive software: Landscape and research challenges. ACM Transactions on Autonomous and Adaptive Systems (TAAS)\u00a04(2), 14 (2009)","journal-title":"ACM Transactions on Autonomous and Adaptive Systems (TAAS)"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Kephart, J.: Research challenges of autonomic computing. In: ICSE, pp. 15\u201322. IEEE (2005)","DOI":"10.1145\/1062455.1062464"},{"key":"17_CR4","unstructured":"Object Management Group: OMG Object Constraint Language (OCL), http:\/\/www.omg.org\/spec\/OCL\/2.3.1\/PDF\/"},{"key":"17_CR5","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.\u00a08107, pp. 555\u2013571. Springer, Heidelberg (2013)"},{"key":"17_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L. Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.S.: Z3: An efficient smt solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Hermenier, F., Lorca, X., Menaud, J.M., Muller, G., Lawall, J.: Entropy: A consolidation manager for clusters. In: Proceedings of the 2009 ACM SIGPLAN\/SIGOPS International Conference on Virtual Execution Environments, pp. 41\u201350. ACM (2009)","DOI":"10.1145\/1508293.1508300"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Song, H., Xiong, Y., Chauvel, F., Huang, G., Hu, Z., Mei, H.: Generating synchronization engines between running systems and their model-based views. Models in Software Engineering, 140\u2013154 (2010)","DOI":"10.1007\/978-3-642-12261-3_14"},{"key":"17_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/3-540-45657-0_7","volume-title":"Computer Aided Verification","author":"R.E. Bryant","year":"2002","unstructured":"Bryant, R.E., Lahiri, S.K., Seshia, S.A.: Modeling and verifying systems using a logic of counter arithmetic with lambda expressions and uninterpreted functions. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 78\u201392. Springer, Heidelberg (2002)"},{"issue":"1","key":"17_CR10","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/BF00260922","volume":"10","author":"J.V. Guttag","year":"1978","unstructured":"Guttag, J.V., Horning, J.J.: The algebraic specification of abstract data types. Acta Informatica\u00a010(1), 27\u201352 (1978)","journal-title":"Acta Informatica"},{"key":"17_CR11","unstructured":"Microsoft Research, http:\/\/rise4fun.com\/z3\/tutorial\/guide"},{"key":"17_CR12","unstructured":"Barrett, C., Stump, A., Tinelli, C.: The SMT-LIB Standard: Version 2.0. Technical report, Department of Computer Science, The University of Iowa (2010), http:\/\/www.SMT-LIB.org"},{"key":"17_CR13","volume-title":"Partial evaluation and automatic program generation","author":"N.D. Jones","year":"1993","unstructured":"Jones, N.D., Gomard, C.K., Sestoft, P.: Partial evaluation and automatic program generation. Prentice-Hall, New York (1993)"},{"key":"17_CR14","unstructured":"Demuth, B.: The dresden ocl toolkit and its role in information systems development. In: Proc. of the 13th International Conference on Information Systems Development, ISD 2004 (2004)"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Ferry, N., Rossini, A., Chauvel, F., Morin, B., Solberg, A.: Towards model-driven provisioning, deployment, monitoring, and adaptation of multi-cloud systems. In: CLOUD 2013: IEEE 6th International Conference on Cloud Computing, pp. 887\u2013894 (2013)","DOI":"10.1109\/CLOUD.2013.133"},{"key":"17_CR16","unstructured":"Meng, X., Pappas, V., Zhang, L.: Improving the scalability of data center networks with traffic-aware virtual machine placement. In: INFOCOM, 2010 Proceedings IEEE, pp. 1\u20139. IEEE (2010)"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Bobroff, N., Kochut, A., Beaty, K.: Dynamic placement of virtual machines for managing sla violations. In: 10th IFIP\/IEEE International Symposium on Integrated Network Management, IM 2007, pp. 119\u2013128. IEEE (2007)","DOI":"10.1109\/INM.2007.374776"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Zhang, X., Zhang, Y., Chen, X., Liu, K., Huang, G., Zhan, J.: A relationship-based vm placement framework of cloud environment. In: Proceedings of the 2013 IEEE 37th Annual Computer Software and Applications Conference, pp. 124\u2013133. IEEE Computer Society (2013)","DOI":"10.1109\/COMPSAC.2013.20"},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"Keeney, J., Cahill, V.: Chisel: A policy-driven, context-aware, dynamic adaptation framework. In: Proceedings of the IEEE 4th International Workshop on Policies for Distributed Systems and Networks, POLICY 2003, pp. 3\u201314. IEEE (2003)","DOI":"10.1109\/POLICY.2003.1206953"},{"issue":"1","key":"17_CR20","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/MIC.2007.2","volume":"11","author":"J.O. Kephart","year":"2007","unstructured":"Kephart, J.O., Das, R.: Achieving self-management via utility functions. IEEE Internet Computing\u00a011(1), 40\u201348 (2007)","journal-title":"IEEE Internet Computing"},{"key":"17_CR21","unstructured":"David, P.C., Ledoux, T., et al.: Safe dynamic reconfigurations of fractal architectures with fscript. In: Proceeding of Fractal CBSE Workshop, ECOOP, vol.\u00a06 (2006)"},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"Kephart, J., Walsh, W.: An artificial intelligence perspective on autonomic computing policies. In: IEEE International Workshop on Policies for Distributed Systems and Networks, pp. 3\u201312. IEEE (2004)","DOI":"10.1109\/POLICY.2004.1309145"},{"issue":"2","key":"17_CR23","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1109\/MS.2006.61","volume":"23","author":"J. Floch","year":"2006","unstructured":"Floch, J., Hallsteinsen, S., Stav, E., Eliassen, F., Lund, K., Gjorven, E.: Using architecture models for runtime adaptability. IEEE Software\u00a023(2), 62\u201370 (2006)","journal-title":"IEEE Software"},{"issue":"10","key":"17_CR24","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/MC.2009.327","volume":"42","author":"B. Morin","year":"2009","unstructured":"Morin, B., Barais, O., Jezequel, J., Fleurey, F., Solberg, A.: Models@ run. time to support dynamic adaptation. Computer\u00a042(10), 44\u201351 (2009)","journal-title":"Computer"},{"issue":"10","key":"17_CR25","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/MC.2004.175","volume":"37","author":"D. Garlan","year":"2004","unstructured":"Garlan, D., Cheng, S., Huang, A., Schmerl, B., Steenkiste, P.: Rainbow: Architecture-based self-adaptation with reusable infrastructure. Computer\u00a037(10), 46\u201354 (2004)","journal-title":"Computer"},{"key":"17_CR26","doi-asserted-by":"crossref","unstructured":"Sicard, S., Boyer, F., De Palma, N.: Using components for architecture-based management: The self-repair case. In: ICSE, pp. 101\u2013110. ACM (2008)","DOI":"10.1145\/1368088.1368103"},{"key":"17_CR27","unstructured":"Brun, Y., et al.: Engineering self-adaptive systems through feedback loops. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Self-Adaptive Systems. LNCS, vol.\u00a05525, pp. 48\u201370. Springer, Heidelberg (2009)"},{"key":"17_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"468","DOI":"10.1007\/978-3-642-04425-0_36","volume-title":"Model Driven Engineering Languages and Systems","author":"B.H.C. Cheng","year":"2009","unstructured":"Cheng, B.H.C., Sawyer, P., Bencomo, N., Whittle, J.: A goal-based modeling approach to develop requirements of an adaptive system with environmental uncertainty. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol.\u00a05795, pp. 468\u2013483. Springer, Heidelberg (2009)"},{"key":"17_CR29","doi-asserted-by":"crossref","unstructured":"Baresi, L., Pasquale, L., Spoletini, P.: Fuzzy goals for requirements-driven adaptation. In: RE, pp. 125\u2013134. IEEE (2010)","DOI":"10.1109\/RE.2010.25"},{"key":"17_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"592","DOI":"10.1007\/978-3-642-24485-8_44","volume-title":"Model Driven Engineering Languages and Systems","author":"S. Maoz","year":"2011","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: CD2Alloy: Class diagrams analysis using alloy revisited. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol.\u00a06981, pp. 592\u2013607. Springer, Heidelberg (2011)"},{"key":"17_CR31","doi-asserted-by":"crossref","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: Verification of UML\/OCL class diagrams using constraint programming. In: Software Testing Verification and Validation Workshop, pp. 73\u201380. IEEE (2008)","DOI":"10.1109\/ICSTW.2008.54"},{"key":"17_CR32","doi-asserted-by":"crossref","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: UMLtoCSP: A tool for the formal verification of uml\/ocl models using constraint programming. In: ASE, pp. 547\u2013548. ACM (2007)","DOI":"10.1145\/1321631.1321737"},{"issue":"4","key":"17_CR33","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1145\/1118890.1118892","volume":"37","author":"M. Mernik","year":"2005","unstructured":"Mernik, M., Heering, J., Sloane, A.M.: When and how to develop domain-specific languages. ACM Computing Surveys (CSUR)\u00a037(4), 316\u2013344 (2005)","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"17_CR34","doi-asserted-by":"crossref","unstructured":"Kelly, S., Tolvanen, J.P.: Domain-specific modeling: enabling full code generation. John Wiley & Sons (2008)","DOI":"10.1002\/9780470249260"},{"key":"17_CR35","doi-asserted-by":"crossref","unstructured":"France, R., Rumpe, B.: Model-driven development of complex software: A research roadmap. In: 2007 Future of Software Engineering, pp. 37\u201354. IEEE Computer Society (2007)","DOI":"10.1109\/FOSE.2007.14"}],"container-title":["Lecture Notes in Computer Science","Model-Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11653-2_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T18:33:47Z","timestamp":1746383627000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11653-2_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319116525","9783319116532"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11653-2_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}