{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:12:59Z","timestamp":1725549179158},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642120282"},{"type":"electronic","value":"9783642120299"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12029-9_10","type":"book-chapter","created":{"date-parts":[[2010,3,7]],"date-time":"2010-03-07T19:56:48Z","timestamp":1267991808000},"page":"139-153","source":"Crossref","is-referenced-by-count":22,"title":["Formal Analysis and Verification of Self-Healing Systems"],"prefix":"10.1007","author":[{"given":"Hartmut","family":"Ehrig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudia","family":"Ermel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olga","family":"Runge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Bucchiarone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrizio","family":"Pelliccione","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Brun, Y., Marzo Serugendo, G., Gacek, C., Giese, H., Kienle, H., Litoiu, M., M\u00fcller, H., Pezz\u00e8, M., Shaw, M.: Engineering self-adaptive systems through feedback loops. In: Software Engineering for Self-Adaptive Systems, pp. 48\u201370 (2009)","DOI":"10.1007\/978-3-642-02161-9_3"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-3-642-02161-9_2","volume-title":"Software Engineering for Self-Adaptive Systems","author":"J. Andersson","year":"2009","unstructured":"Andersson, J., Lemos, R., Malek, S., Weyns, D.: Modeling dimensions of self-adaptive software systems. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol.\u00a05525, pp. 27\u201347. Springer, Heidelberg (2009)"},{"key":"10_CR3","unstructured":"Rodosek, G.D., Geihs, K., Schmeck, H., Burkhard, S.: Self-healing systems: Foundations and challenges. In: Self-Healing and Self-Adaptive Systems, Germany. Dagstuhl Seminar Proceedings, vol.\u00a009201 (2009)"},{"issue":"1","key":"10_CR4","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"J.O. Kephart","year":"2003","unstructured":"Kephart, J.O., Chess, D.M.: The vision of autonomic computing. Computer\u00a036(1), 41\u201350 (2003)","journal-title":"Computer"},{"issue":"2","key":"10_CR5","doi-asserted-by":"crossref","first-page":"173","DOI":"10.3233\/ICA-2006-13206","volume":"13","author":"S.R. White","year":"2006","unstructured":"White, S.R., Hanson, J.E., Whalley, I., Chess, D.M., Segal, A., Kephart, J.O.: Autonomic computing: Architectural approach and prototype. Integr. Comput.-Aided Eng.\u00a013(2), 173\u2013188 (2006)","journal-title":"Integr. Comput.-Aided Eng."},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Bucchiarone, A., Pelliccione, P., Vattani, C., Runge, O.: Self-repairing systems modeling and verification using AGG. In: WICSA 2009 (2009)","DOI":"10.1109\/WICSA.2009.5290804"},{"key":"10_CR7","series-title":"EATCS Monographs in Theor. Comp. Science","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs in Theor. Comp. Science. Springer, Heidelberg (2006)"},{"key":"10_CR8","series-title":"Applications, Languages and Tools","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","year":"1999","unstructured":"Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation. Applications, Languages and Tools, vol.\u00a02. World Scientific, Singapore (1999)"},{"key":"10_CR9","unstructured":"Ehrig, H., Ermel, C., Runge, O., Bucchiarone, A., Pelliccione, P.: Formal analysis and verication of self-healing systems: Long version. Technical report, TU Berlin (2010), http:\/\/www.eecs.tu-berlin.de\/menue\/forschung\/forschungsberichte\/2010"},{"issue":"4","key":"10_CR10","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/141874.141884","volume":"17","author":"D. Perry","year":"1992","unstructured":"Perry, D., Wolf, A.: Foundations for the Study of Software Architecture. SIGSOFT Softw. Eng. Notes\u00a017(4), 40\u201352 (1992)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Kramer, J., Magee, J.: Self-managed systems: an architectural challenge. In: FOSE, pp. 259\u2013268 (2007)","DOI":"10.1109\/FOSE.2007.19"},{"issue":"2","key":"10_CR12","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"},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1145\/582128.582134","volume-title":"WOSS 2002","author":"D. Garlan","year":"2002","unstructured":"Garlan, D., Schmerl, B.: Model-based adaptation for self-healing systems. In: WOSS 2002, pp. 27\u201332. ACM, New York (2002)"},{"key":"10_CR14","doi-asserted-by":"publisher","first-page":"508","DOI":"10.1145\/1456223.1456326","volume-title":"Soft Computing as Transdisciplinary Science and Technology (CSTST 2008)","author":"B. Becker","year":"2008","unstructured":"Becker, B., Giese, H.: Modeling of correct self-adaptive systems: A graph transformation system based approach. In: Soft Computing as Transdisciplinary Science and Technology (CSTST 2008), pp. 508\u2013516. ACM Press, New York (2008)"},{"key":"10_CR15","unstructured":"Bucchiarone, A.: Dynamic software architectures for global computing systems. PhD thesis, IMT Institute for Advanced Studies, Lucca, Italy (2008)"},{"key":"10_CR16","volume-title":"Int. Conf. on Software Engineering (ICSE)","author":"B. Becker","year":"2006","unstructured":"Becker, B., Beyer, D., Giese, H., Klein, F., Schilling, D.: Symbolic invariant verification for systems with dynamic structural adaptation. In: Int. Conf. on Software Engineering (ICSE). ACM Press, New York (2006)"},{"key":"10_CR17","volume-title":"WICSA 2004","author":"L. Baresi","year":"2004","unstructured":"Baresi, L., Heckel, R., Thone, S., Varro, D.: Style-based refinement of dynamic software architectures. In: WICSA 2004. IEEE Computer Society, Los Alamitos (2004)"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Hirsch, D., Inverardi, P., Montanari, U.: Modeling software architectures and styles with graph grammars and constraint solving. In: WICSA, pp. 127\u2013144 (1999)","DOI":"10.1007\/978-0-387-35563-4_8"},{"issue":"7","key":"10_CR19","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1109\/32.708567","volume":"24","author":"D.L. M\u00e9tayer","year":"1998","unstructured":"M\u00e9tayer, D.L.: Describing software architecture styles using graph grammars. IEEE Trans. Software Eng.\u00a024(7), 521\u2013533 (1998)","journal-title":"IEEE Trans. Software Eng."},{"key":"10_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/11691617_19","volume-title":"Model Checking Software","author":"H. Kastenberg","year":"2006","unstructured":"Kastenberg, H., Rensink, A.: Model checking dynamic states in groove. In: Valmari, A. (ed.) SPIN 2006. LNCS, vol.\u00a03925, pp. 299\u2013305. Springer, Heidelberg (2006)"},{"key":"10_CR21","first-page":"69","volume":"108","author":"N. Aguirre","year":"2004","unstructured":"Aguirre, N., Maibaum, T.S.E.: Hierarchical temporal specifications of dynamically reconfigurable component based systems. ENTCS\u00a0108, 69\u201381 (2004)","journal-title":"ENTCS"},{"key":"10_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/978-3-540-30203-2_17","volume-title":"Graph Transformations","author":"A. Rensink","year":"2004","unstructured":"Rensink, A., Schmidt, A., Varr\u2019o, D.: Model checking graph transformations: A comparison of two approaches. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 226\u2013241. Springer, Heidelberg (2004)"},{"key":"10_CR23","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets: An Introduction","author":"W. Reisig","year":"1985","unstructured":"Reisig, W.: Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science, vol.\u00a04. Springer, Heidelberg (1985)"},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"Spanoudakis, G., Zisman, A., Kozlenkov, A.: A service discovery framework for service centric systems. In: IEEE SCC, pp. 251\u2013259 (2005)","DOI":"10.1109\/SCC.2005.17"},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"Canfora, G., Penta, M.D., Esposito, R., Villani, M.L.: An approach for qos-aware service composition based on genetic algorithms. In: GECCO, pp. 1069\u20131075 (2005)","DOI":"10.1145\/1068009.1068189"},{"key":"10_CR26","doi-asserted-by":"crossref","unstructured":"Zeng, L., Benatallah, B., Dumas, M., Kalagnanam, J., Sheng, Q.Z.: Quality driven web services composition. In: WWW, pp. 411\u2013421 (2003)","DOI":"10.1145\/775152.775211"},{"key":"10_CR27","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/1294904.1294906","volume-title":"ESSPE 2007","author":"L. Baresi","year":"2007","unstructured":"Baresi, L., Guinea, S., Pasquale, L.: Self-healing BPEL processes with Dynamo and the JBoss rule engine. In: ESSPE 2007, pp. 11\u201320. ACM, New York (2007)"},{"key":"10_CR28","doi-asserted-by":"crossref","unstructured":"Colombo, M., Nitto, E.D., Mauri, M.: Scene: A service composition execution environment supporting dynamic changes disciplined through rules. In: ICSOC, pp. 191\u2013202 (2006)","DOI":"10.1007\/11948148_16"},{"key":"10_CR29","volume-title":"WMCS 2005","author":"E. Rukzio","year":"2005","unstructured":"Rukzio, E., Siorpaes, S., Falke, O., Hussmann, H.: Policy based adaptive services for mobile commerce. In: WMCS 2005. IEEE Computer Society, Los Alamitos (2005)"},{"key":"10_CR30","first-page":"106","volume-title":"SEAMS","author":"P. Inverardi","year":"2009","unstructured":"Inverardi, P., Pelliccione, P., Tivoli, M.: Towards an assume-guarantee theory for adaptable systems. In: SEAMS, pp. 106\u2013115. IEEE Computer Society, Los Alamitos (2009)"},{"key":"10_CR31","unstructured":"Ehrig, H., Habel, A., Lambers, L.: Parallelism and Concurrency Theorems for Rules with Nested Application Conditions. In: EC-EASST (to appear, 2010)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12029-9_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:46:49Z","timestamp":1606168009000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12029-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642120282","9783642120299"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12029-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}