{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:16:56Z","timestamp":1773656216780,"version":"3.50.1"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319155449","type":"print"},{"value":"9783319155456","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-15545-6_33","type":"book-chapter","created":{"date-parts":[[2015,3,5]],"date-time":"2015-03-05T02:19:15Z","timestamp":1425521955000},"page":"582-601","source":"Crossref","is-referenced-by-count":8,"title":["Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Bucchiarone","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hartmut","family":"Ehrig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudia","family":"Ermel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrizio","family":"Pelliccione","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olga","family":"Runge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"33_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. Software Engineering for Self-Adaptive Systems, 48\u201370 (2009)","DOI":"10.1007\/978-3-642-02161-9_3"},{"key":"33_CR2","doi-asserted-by":"crossref","unstructured":"Salehie, M., Tahvildari, L.: Self-adaptive software: Landscape and research challenges. ACM Trans. Auton.\u00a04(2), 14:1\u201314:42 (2009)","DOI":"10.1145\/1516533.1516538"},{"issue":"1","key":"33_CR3","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"},{"key":"33_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Self-star Properties in Complex Information Systems","year":"2005","unstructured":"Babao\u011flu, \u00d6., Jelasity, M., Montresor, A., Fetzer, C., Leonardi, S., van Moorsel, A., van Steen, M. (eds.): SELF-STAR 2004. LNCS, vol.\u00a03460. Springer, Heidelberg (2005)"},{"key":"33_CR5","unstructured":"Rodosek, G.D., Geihs, K., Schmeck, H., Burkhard, S.: Self-healing systems: Foundations and challenges. In: Self-Healing and Self-Adaptive Systems. Number 09201 in Proc. Dagstuhl Seminar (2009)"},{"issue":"2","key":"33_CR6","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":"33_CR7","doi-asserted-by":"crossref","unstructured":"Bucchiarone, A., Pelliccione, P., Vattani, C., Runge, O.: Self-repairing systems modeling and verification using AGG. In: IEEE Joint Working IEEE\/IFIP Conference on Software Architecture (WICSA 2009), pp. 181\u2013190 (2009)","DOI":"10.1109\/WICSA.2009.5290804"},{"key":"33_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-642-12029-9_10","volume-title":"Fundamental Approaches to Software Engineering","author":"H. Ehrig","year":"2010","unstructured":"Ehrig, H., Ermel, C., Runge, O., Bucchiarone, A., Pelliccione, P.: Formal analysis and verification of self-healing systems. In: Rosenblum, D.S., Taentzer, G. (eds.) FASE 2010. LNCS, vol.\u00a06013, pp. 139\u2013153. Springer, Heidelberg (2010)"},{"key":"33_CR9","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. In: EATCS Monographs in Theor. Comp. Science. Springer (2006)"},{"key":"33_CR10","unstructured":"Bucchiarone, A., Ehrig, H., Ermel, C., Pelliccione, P., Runge, O.: Modeling and analysis of self-adaptive systems based on graph transformation. Technical Report 2013\/03, TU Berlin (2013), http:\/\/www.eecs.tu-berlin.de\/menue\/forschung\/forschungsberichte\/2013"},{"issue":"1","key":"33_CR11","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1080\/17545730802294452","volume":"1","author":"F. B\u00f6se","year":"2009","unstructured":"B\u00f6se, F., Piotrowski, J., Scholz-Reiter, B.: Autonomously controlled storage management in vehicle logistics - applications of RFID and mobile computing systems. Int. Journal of RT Technologies: Research an Application\u00a01(1), 57\u201376 (2009)","journal-title":"Int. Journal of RT Technologies: Research an Application"},{"issue":"1","key":"33_CR12","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1002\/smr.220","volume":"13","author":"N. Chapin","year":"2001","unstructured":"Chapin, N., Hale, J.E., Kham, K.M., Ramil, J.F., Tan, W.G.: Types of software evolution and software maintenance. Software Maintenance\u00a013(1), 3\u201330 (2001)","journal-title":"Software Maintenance"},{"key":"33_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/978-3-642-15640-3_19","volume-title":"Trustworthly Global Computing","author":"I. Lanese","year":"2010","unstructured":"Lanese, I., Bucchiarone, A., Montesi, F.: A framework for rule-based dynamic adaptation. In: Wirsing, M., Hofmann, M., Rauschmayer, A. (eds.) TGC 2010, LNCS, vol.\u00a06084, pp. 284\u2013300. Springer, Heidelberg (2010)"},{"key":"33_CR14","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1016\/j.tcs.2012.01.032","volume":"424","author":"U. Golas","year":"2012","unstructured":"Golas, U., Lambers, L., Ehrig, H., Orejas, F.: Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs. Theor. Comput. Sci.\u00a0424, 46\u201368 (2012)","journal-title":"Theor. Comput. Sci."},{"key":"33_CR15","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.) Fundamental Approaches to Software Engineering. LNCS, vol.\u00a07212, pp. 240\u2013254. Springer, Heidelberg (2012)"},{"key":"33_CR16","doi-asserted-by":"crossref","unstructured":"Bradbury, J.S., Cordy, J.R., Dingel, J., Wermelinger, M.: A survey of self-management in dynamic software architecture specifications. In: Proc. 1st ACM SIGSOFT Workshop on Self-Managed Systems (WOSS 2004), pp. 28\u201333. ACM (2004)","DOI":"10.1145\/1075405.1075411"},{"key":"33_CR17","doi-asserted-by":"crossref","unstructured":"Bencomo, N., Blair, G.S.: Using architecture models to support the generation and operation of component-based adaptive systems. Software Engineering for Self-Adaptive Systems, 183\u2013200 (2009)","DOI":"10.1007\/978-3-642-02161-9_10"},{"issue":"10","key":"33_CR18","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.W., Huang, A.C., Schmerl, B., Steenkiste, P.: Rainbow: Architecture-based self-adaptation with reusable infrastructure. Computer\u00a037(10), 46\u201354 (2004)","journal-title":"Computer"},{"key":"33_CR19","doi-asserted-by":"crossref","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 (2008)","DOI":"10.1145\/1456223.1456326"},{"key":"33_CR20","doi-asserted-by":"crossref","unstructured":"Spanoudakis, G., Zisman, A., Kozlenkov, A.: A service discovery framework for service centric systems. In: Proc. Int. Conf. on Services Computing, pp. 251\u2013259 (2005)","DOI":"10.1109\/SCC.2005.17"},{"key":"33_CR21","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: Proc. Conf. on Genetic and Evolutionary Computation (GECO 2005), pp. 1069\u20131075 (2005)","DOI":"10.1145\/1068009.1068189"},{"key":"33_CR22","doi-asserted-by":"crossref","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 (2007)","DOI":"10.1145\/1294904.1294906"},{"key":"33_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/11948148_16","volume-title":"Service-Oriented Computing \u2013 ICSOC 2006","author":"M. Colombo","year":"2006","unstructured":"Colombo, M., Di Nitto, E., Mauri, M.: SCENE: A service composition execution environment supporting dynamic changes disciplined through rules. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol.\u00a04294, pp. 191\u2013202. Springer, Heidelberg (2006)"},{"key":"33_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"763","DOI":"10.1007\/978-3-540-87442-3_94","volume-title":"Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues","author":"H. Pfeffer","year":"2008","unstructured":"Pfeffer, H., Linner, D., Steglich, S.: Dynamic adaptation of workflow based service compositions. In: Huang, D.-S., Wunsch II, D.C., Levine, D.S., Jo, K.-H. (eds.) ICIC 2008. LNCS, vol.\u00a05226, pp. 763\u2013774. Springer, Heidelberg (2008)"},{"key":"33_CR25","unstructured":"JBoss: jBPM Engine, http:\/\/www.jboss.org\/jbpm"},{"key":"33_CR26","doi-asserted-by":"crossref","unstructured":"Wirsing, M.: Structured algebraic specifications: A kernel language. Theor. Comput. Sci., 123\u2013249 (1986)","DOI":"10.1016\/0304-3975(86)90051-4"},{"key":"33_CR27","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, Berlin. EATCS Monographs on Theoretical Computer Science, vol.\u00a06 (1985)","DOI":"10.1007\/978-3-642-69962-7"},{"key":"33_CR28","doi-asserted-by":"crossref","unstructured":"Krieg-Br\u00fcckner, B.: Seven years of COMPASS. In: COMPASS\/ADT, pp. 1\u201313 (1995)","DOI":"10.1007\/3-540-61629-2_32"}],"container-title":["Lecture Notes in Computer Science","Software, Services, and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-15545-6_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,1]],"date-time":"2022-05-01T12:31:36Z","timestamp":1651408296000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-15545-6_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319155449","9783319155456"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-15545-6_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}