{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T21:04:11Z","timestamp":1776373451993,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642341755","type":"print"},{"value":"9783642341762","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34176-2_13","type":"book-chapter","created":{"date-parts":[[2012,10,1]],"date-time":"2012-10-01T05:56:59Z","timestamp":1349071019000},"page":"137-152","source":"Crossref","is-referenced-by-count":7,"title":["Planning Self-adaption with Graph Transformations"],"prefix":"10.1007","author":[{"given":"Matthias","family":"Tichy","sequence":"first","affiliation":[]},{"given":"Benjamin","family":"Kl\u00f6pper","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"13_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science\u00a0138(1), 3\u201334 (1995)","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"13_CR2","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/s11219-007-9019-2","volume":"15","author":"N. Arshad","year":"2007","unstructured":"Arshad, N., Heimbigner, D., Wolf, A.: Deployment and dynamic reconfiguration planning for distributed software systems. Software Quality Journal\u00a015(3), 265\u2013281 (2007)","journal-title":"Software Quality Journal"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Becker, B., Beyer, D., Giese, H., Klein, F., Schilling, D.: Symbolic invariant verification for systems with dynamic structural adaptation. In: Proc. of the 28th International Conference on Software Engineering, pp. 72\u201381. ACM Press (2006)","DOI":"10.1145\/1134285.1134297"},{"key":"13_CR4","doi-asserted-by":"crossref","first-page":"508","DOI":"10.1145\/1456223.1456326","volume-title":"Proc. of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology","author":"B. Becker","year":"2008","unstructured":"Becker, B., Giese, H.: Modeling of correct self-adaptive systems: A graph transformation system based approach. In: Proc. of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology, pp. 508\u2013516. ACM, New York (2008)"},{"key":"13_CR5","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1613\/jair.1918","volume":"26","author":"Y. Chen","year":"2006","unstructured":"Chen, Y., Wah, B.W., Hsu, C.W.: Temporal planning using subgoal partitioning and resolution in SGPlan. J. Artif. Intell. Research\u00a026, 323\u2013369 (2006)","journal-title":"J. Artif. Intell. Research"},{"key":"13_CR6","volume-title":"Knowledge Engineering Competition","author":"S. Edelkamp","year":"2007","unstructured":"Edelkamp, S., Rensink, A.: Graph transformation and AI planning. In: Edelkamp, S., Frank, J. (eds.) Knowledge Engineering Competition. Australian National University, Canberra (2007)"},{"key":"13_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Theory and Application of Graph Transformations","year":"2000","unstructured":"Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.): TAGT 1998. LNCS, vol.\u00a01764. Springer, Heidelberg (2000)"},{"key":"13_CR8","unstructured":"Estler, H.C., Wehrheim, H.: Heuristic search-based planning for graph transformation systems. In: Proc. of the Workshop on Knowledge Engineering for Planning and Scheduling (KEPS 2011), pp. 54\u201361 (2011)"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Fischer, T., Niere, J., Torunski, L., Z\u00fcndorf, A.: Story diagrams: A new graph rewrite language based on the Unified Modeling Language and Java. In: Ehrig et\u00a0al. [7], pp. 296\u2013309","DOI":"10.1007\/978-3-540-46464-8_21"},{"key":"13_CR10","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1613\/jair.1129","volume":"20","author":"M. Fox","year":"2003","unstructured":"Fox, M., Long, D.: PDDL2.1: An extension to PDDL for expressing temporal planning domains. J. Artif. Intell. Research\u00a020, 61\u2013124 (2003)","journal-title":"J. Artif. Intell. Research"},{"key":"13_CR11","unstructured":"F\u00fcrst, S., M\u00f6ssinger, J., Bunzel, S., Weber, T., Kirschke-Biller, F., Heitk\u00e4mper, P., Kinkelin, G., Nishikawa, K., Lange, K.: AUTOSAR \u2013 A worldwide standard is on the road. In: Proc. of the 14th International VDI Congress Electronic Systems for Vehicles 2009. VDI (2009)"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Ghallab, M., Nau, D., Traverso, P.: Automated Planning \u2013 Theory and Practice. Morgan Kaufmann Publishers (2004)","DOI":"10.1016\/B978-155860856-6\/50020-X"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-642-02161-9_6","volume-title":"Software Engineering for Self-Adaptive Systems","author":"W. Heaven","year":"2009","unstructured":"Heaven, W., Sykes, D., Magee, J., Kramer, J.: A Case Study in Goal-Driven Architectural Adaptation. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Self-Adaptive Systems. LNCS, vol.\u00a05525, pp. 109\u2013127. Springer, Heidelberg (2009)"},{"key":"13_CR14","unstructured":"Heinzemann, C., Suck, J., Eckardt, T.: Reachability analysis on timed graph transformation systems. ECEASST 32 (2010)"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Howey, R., Long, D., Fox, M.: VAL: Automatic plan validation, continuous effects and mixed initiative planning using PDDL. In: Proc. of the Int. Conference on Tools with Artificial Intelligence, pp. 294\u2013301. IEEE Computer Society (2004)","DOI":"10.1109\/ICTAI.2004.120"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Kl\u00f6pper, B., Honiden, S., Meyer, J., Tichy, M.: Planning with utilities and state trajectories constraints for self-healing in automotive systems. In: Proc. of the 4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, pp. 74\u201383. IEEE Computer Society (2010)","DOI":"10.1109\/SASO.2010.16"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Kramer, J., Magee, J.: Self-managed systems: An architectural challenge. In: Future of Software Engineering 2007, pp. 259\u2013268. IEEE Computer Society (2007)","DOI":"10.1109\/FOSE.2007.19"},{"issue":"7","key":"13_CR18","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1109\/32.708567","volume":"24","author":"D. M\u00e9tayer Le","year":"1998","unstructured":"Le M\u00e9tayer, D.: Describing software architecture styles using graph grammars. IEEE Transactions on Software Engineering\u00a024(7), 521\u2013533 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Oreizy, P., Medvidovic, N., Taylor, R.N.: Architecture-based runtime software evolution. In: Proc. of the 20th International Conference on Software Engineering, pp. 177\u2013186. IEEE Computer Society (1998)","DOI":"10.1109\/ICSE.1998.671114"},{"key":"13_CR20","unstructured":"Raimondi, F., Pecheur, C., Brat, G.: PDVer, a tool to verify PDDL planning domains. In: Proc. of ICAPS 2009 Workshop on Verification and Validation of Planning and Scheduling Systems (2009)"},{"key":"13_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/978-3-540-25959-6_40","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"A. Rensink","year":"2004","unstructured":"Rensink, A.: The groove Simulator: A\u00a0Tool for State Space Generation. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol.\u00a03062, pp. 479\u2013485. Springer, Heidelberg (2004)"},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"Rozenberg, G.: Handbook of Graph Grammars and Computing by Grah Transformation, vol. 1: Foundations. World Scientific (1997)","DOI":"10.1142\/9789812384720"},{"key":"13_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-540-69295-9_7","volume-title":"Autonomic and Trusted Computing","author":"B. Satzger","year":"2008","unstructured":"Satzger, B., Pietzowski, A., Trumler, W., Ungerer, T.: Using Automated Planning for Trusted Self-organising Organic Computing Systems. In: Rong, C., Jaatun, M.G., Sandnes, F.E., Yang, L.T., Ma, J. (eds.) ATC 2008. LNCS, vol.\u00a05060, pp. 60\u201372. Springer, Heidelberg (2008)"},{"key":"13_CR24","unstructured":"Stallmann, F.: A Model-Driven Approach to Multi-Agent System Design. Ph.D. thesis, University of Paderborn (2009)"},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"Taentzer, G., Goedicke, M., Meyer, T.: Dynamic change management by distributed graph transformation: Towards configurable distributed systems. In: Ehrig et\u00a0al. [7], pp. 179\u2013193","DOI":"10.1007\/978-3-540-46464-8_13"},{"key":"13_CR26","unstructured":"Tichy, M., Henkler, S., Holtmann, J., Oberth\u00fcr, S.: Component story diagrams: A transformation language for component structures in mechatronic systems. In: Postproc. of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems. HNI Verlagsschriftenreihe (2008)"},{"key":"13_CR27","unstructured":"Vaquero, T.S., Silva, J.R., Ferreira, M., Tonidandel, F., Beck, J.C.: From requirements and analysis to PDDL in itSIMPLE3.0. In: Proc. of the International Competition on Knowledge Engineering for Planning and Scheduling (2009)"},{"issue":"2","key":"13_CR28","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/S0167-6423(02)00036-9","volume":"44","author":"M. Wermelinger","year":"2002","unstructured":"Wermelinger, M., Fiadeiro, J.L.: A graph transformation approach to software architecture reconfiguration. Sci. Computer Programming\u00a044(2), 133\u2013155 (2002)","journal-title":"Sci. Computer Programming"},{"key":"13_CR29","unstructured":"Z\u00fcndorf, A.: Rigorous Object Oriented Software Development. University of Paderborn (2002)"}],"container-title":["Lecture Notes in Computer Science","Applications of Graph Transformations with Industrial Relevance"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34176-2_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T20:51:28Z","timestamp":1744231888000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34176-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642341755","9783642341762"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34176-2_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}