{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,30]],"date-time":"2026-09-30T17:08:18Z","timestamp":1790788098469,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642376344","type":"print"},{"value":"9783642376351","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37635-1_6","type":"book-chapter","created":{"date-parts":[[2013,4,11]],"date-time":"2013-04-11T01:30:45Z","timestamp":1365643845000},"page":"95-110","source":"Crossref","is-referenced-by-count":6,"title":["Adaptable Transition Systems"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Bruni","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrea","family":"Corradini","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fabio","family":"Gadducci","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alberto","family":"Lluch Lafuente","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrea","family":"Vandin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","first-page":"269","volume-title":"Verification: Theory and Practice","author":"L. Alfaro de","year":"2004","unstructured":"de Alfaro, L.: Game models for open systems. In: Dershowitz, N. (ed.) Verification: Theory and Practice. LNCS, vol.\u00a02772, pp. 269\u2013289. Springer, Heidelberg (2004)"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC\/SIGSOFT FSE 2001. ACM SIGSOFT Software Engineering Notes, vol.\u00a026(5), pp. 109\u2013120. ACM (2001)","DOI":"10.1145\/503271.503226"},{"issue":"5","key":"6_CR3","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R. Alur","year":"2002","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM\u00a049(5), 672\u2013713 (2002)","journal-title":"Journal of the ACM"},{"issue":"2","key":"6_CR4","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/s00165-007-0045-4","volume":"20","author":"P. Bhaduri","year":"2008","unstructured":"Bhaduri, P., Ramesh, S.: Interface synthesis and protocol conversion. Formal Aspects of Computing\u00a020(2), 205\u2013224 (2008)","journal-title":"Formal Aspects of Computing"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-642-28872-2_17","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Bruni","year":"2012","unstructured":"Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A., Vandin, A.: A conceptual framework for adaptation. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol.\u00a07212, pp. 240\u2013254. Springer, Heidelberg (2012)"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-36249-1_1","volume-title":"Assurances for Self-Adaptive Systems","author":"M. Cordy","year":"2013","unstructured":"Cordy, M., Classen, A., Heymans, P., Legay, A., Schobbens, P.-Y.: Model Checking Adaptive Software with Featured Transition Systems. In: C\u00e1mara, J., de Lemos, R., Ghezzi, C., Lopes, A. (eds.) Assurances for Self-Adaptive Systems. LNCS, vol.\u00a07740, pp. 1\u201329. Springer, Heidelberg (2013)"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-53479-2_17","volume-title":"Semantics of Systems of Concurrent Processes","author":"R. Nicola De","year":"1990","unstructured":"De Nicola, R., Vaandrager, F.W.: Action versus state based logics for transition systems. In: Guessarian, I. (ed.) LITP 1990. LNCS, vol.\u00a0469, pp. 407\u2013419. Springer, Heidelberg (1990)"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-642-24933-4_12","volume-title":"Formal Modeling: Actors, Open Systems, Biological Systems","author":"M. H\u00f6lzl","year":"2011","unstructured":"H\u00f6lzl, M., Wirsing, M.: Towards a system model for ensembles. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Formal Modeling: Actors, Open Systems, Biological Systems. LNCS, vol.\u00a07000, pp. 241\u2013261. Springer, Heidelberg (2011)"},{"key":"6_CR9","unstructured":"IBM Corporation: An Architectural Blueprint for Autonomic Computing (2006)"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-540-24774-6_6","volume-title":"Component-Based Software Engineering","author":"S.S. Kulkarni","year":"2004","unstructured":"Kulkarni, S.S., Biyani, K.N.: Correctness of component-based adaptation. In: Crnkovi\u0107, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol.\u00a03054, pp. 48\u201358. Springer, Heidelberg (2004)"},{"issue":"1","key":"6_CR11","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1109\/MAES.2012.6145439","volume":"27","author":"T. Lints","year":"2012","unstructured":"Lints, T.: The essentials in defining adaptation. Aerospace and Electronic Systems\u00a027(1), 37\u201341 (2012)","journal-title":"Aerospace and Electronic Systems"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/BFb0053571","volume-title":"Programming Languages and Systems","author":"F. Maraninchi","year":"1998","unstructured":"Maraninchi, F., R\u00e9mond, Y.: Mode-automata: About modes and states for reactive systems. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol.\u00a01381, pp. 185\u2013199. Springer, Heidelberg (1998)"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Merelli, E., Paoletti, N., Tesei, L.: A multi-level model for self-adaptive systems. In: Kokash, N., Ravara, A. (eds.) FOCLASA 2012. EPTCS, vol.\u00a091, pp. 112\u2013126 (2012)","DOI":"10.4204\/EPTCS.91.8"},{"issue":"3","key":"6_CR14","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/5254.769885","volume":"14","author":"P. Oreizy","year":"1999","unstructured":"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. Intelligent Systems and their Applications\u00a014(3), 54\u201362 (1999)","journal-title":"Intelligent Systems and their Applications"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-36554-0_1","volume-title":"Self-Adaptive Software","author":"R. Laddaga","year":"2003","unstructured":"Laddaga, R., Robertson, P., Shrobe, H.: Introduction to self-adaptive software: Applications. In: Laddaga, R., Robertson, P., Shrobe, H. (eds.) IWSAS 2001. LNCS, vol.\u00a02614, pp. 1\u20135. Springer, Heidelberg (2003)"},{"issue":"2","key":"6_CR16","doi-asserted-by":"publisher","first-page":"1","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\u00a04(2), 1\u201342 (2009)","journal-title":"ACM Transactions on Autonomous and Adaptive Systems"},{"key":"6_CR17","unstructured":"Salvaneschi, G., Ghezzi, C., Pradella, M.: Context-oriented programming: A programming paradigm for autonomic systems (v2). CoRR abs\/1105.0069 (2012)"},{"issue":"3","key":"6_CR18","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1109\/PROC.1963.1852","volume":"51","author":"L.A. Zadeh","year":"1963","unstructured":"Zadeh, L.A.: On the definition of adaptivity. Proceedings of the IEEE\u00a051(3), 469\u2013470 (1963)","journal-title":"Proceedings of the IEEE"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Zhang, J., Goldsby, H., Cheng, B.H.C.: Modular verification of dynamically adaptive systems. In: Moreira, A., Schwanninger, C., Baillargeon, R., Grechanik, M. (eds.) AOSD, pp. 161\u2013172. ACM (2009)","DOI":"10.1145\/1509239.1509262"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Zhao, Y., Ma, D., Li, J., Li, Z.: Model checking of adaptive programs with mode-extended linear temporal logic. In: EASe, pp. 40\u201348. IEEE Computer Society (2011)","DOI":"10.1109\/EASe.2011.13"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37635-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T07:06:03Z","timestamp":1557644763000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37635-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642376344","9783642376351"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37635-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}