{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,7,14]],"date-time":"2023-07-14T23:10:11Z","timestamp":1689376211730},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2014,7,2]],"date-time":"2014-07-02T00:00:00Z","timestamp":1404259200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Comput Sci Res Dev"],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1007\/s00450-014-0259-7","type":"journal-article","created":{"date-parts":[[2014,7,2]],"date-time":"2014-07-02T06:19:31Z","timestamp":1404281971000},"page":"303-320","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Temporal plans for software architecture reconfiguration"],"prefix":"10.1007","volume":"30","author":[{"given":"Steffen","family":"Ziegert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heike","family":"Wehrheim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,7,2]]},"reference":[{"key":"259_CR1","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126:183\u2013235","journal-title":"Theor Comput Sci"},{"key":"259_CR2","doi-asserted-by":"crossref","unstructured":"Becker B, Beyer D, Giese H, Klein F, Schilling D (2006) Symbolic invariant verification for systems with dynamic structural adaptation. In: 28th international conference on software engineering (ICSE 2006). ACM Press, New York","DOI":"10.1145\/1134285.1134297"},{"key":"259_CR3","unstructured":"Becker S, Brenner C, Brink C, Dziwok S, L\u00f6ffler R, Heinzemann C, Pohlmann U, Sch\u00e4fer W, Suck J, Sudmann O (2012) The MechatronicUML design method - process, syntax, and semantics. Technical Report tr-ri-12-326, Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn"},{"key":"259_CR4","volume-title":"Concurrency control and recovery in database systems","author":"PA Bernstein","year":"1987","unstructured":"Bernstein PA, Hadzilacos V, Goodman N (1987) Concurrency control and recovery in database systems. Addison-Wesley Publishing Company, Boston"},{"key":"259_CR5","doi-asserted-by":"crossref","unstructured":"Bradbury JS, Cordy JR, Dingel J, Wermelinger M (2004) A survey of self-management in dynamic software architecture specification. In: ACM SIGSOFT workshop on self-managed systems (WOSS 2004)","DOI":"10.1145\/1075405.1075411"},{"key":"259_CR6","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1613\/jair.1918","volume":"26","author":"Y Chen","year":"2006","unstructured":"Chen Y, Wah BW, Hsu CW (2006) Temporal planning using subgoal partitioning and resolution in SGPlan. J Artif Intell Res 26:323\u2013369","journal-title":"J Artif Intell Res"},{"key":"259_CR7","doi-asserted-by":"crossref","unstructured":"Coles AJ, Coles AI, Fox M, Long D (2010) Forward-chaining partial-order planning. In: 20th international conference on automated planning and scheduling (ICAPS 2010)","DOI":"10.1609\/icaps.v20i1.13403"},{"key":"259_CR8","unstructured":"Cushing W, Kambhampati S, Mausam Weld DS (2007) When is temporal planning really temporal? In: 20th international joint conference on artificial intelligence (IJCAI 2007). Morgan Kaufmann Publishers, San Francisco, pp 1852\u20131859"},{"key":"259_CR9","unstructured":"von Detten M, Heinzemann C, Platenius MC, Rieke J, Travkin D, Hildebrandt S (2012) Story diagrams\u2013syntax and semantics. Technical Report tr-ri-12-324, Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn"},{"issue":"1","key":"259_CR10","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s00450-011-0184-y","volume":"28","author":"T Eckardt","year":"2013","unstructured":"Eckardt T, Heinzemann C, Henkler S, Hirsch M, Priesterjahn C, Sch\u00e4fer W (2013) Modeling and verifying dynamic communication structures based on graph transformations. Comput Sci Res Dev 28(1):3\u201322","journal-title":"Comput Sci Res Dev"},{"key":"259_CR11","unstructured":"Edelkamp S, Rensink A (2007) Graph transformation and ai planning. In: 2nd international competition on knowledge engineering for planning and scheduling (ICKEPS 2007)"},{"key":"259_CR12","doi-asserted-by":"crossref","unstructured":"Ehrig H, Heckel R, Korff M, L\u00f6we M, Ribeiro L, Wagner A, Corradini A (1997) Algebraic approaches to graph transformation II: single pushout approach and comparison with double pushout approach. In: Rozenberg G (ed) Handbook of graph grammars and computing by graph transformation. Foundations, vol 1, Chap 4, pp 247\u2013312. World Scientific Publishing, Singapore","DOI":"10.1142\/9789812384720_0004"},{"key":"259_CR13","unstructured":"Estler HC, Wehrheim H (2011) Heuristic search-based planning for graph transformation systems. In: ICAPS workshop on knowledge engineering for planning and scheduling (KEPS 2011), pp 54\u201361"},{"key":"259_CR14","doi-asserted-by":"crossref","unstructured":"Fischer T, Niere J, Torunski L, Z\u00fcndorf A (2000) Story diagrams: a new graph rewrite language based on the Unified Modeling Language and Java. In: Ehrig H, Engels G, Kreowski HJ, Rozenberg G (eds) 6th international workshop on theory and application of graph transformations (TAGT 1998). Lecture notes in computer science (LNCS), vol 1764. Springer, Berlin, pp 296\u2013309","DOI":"10.1007\/978-3-540-46464-8_21"},{"key":"259_CR15","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1613\/jair.1129","volume":"20","author":"M Fox","year":"2003","unstructured":"Fox M, Long D (2003) PDDL2.1: an extension to PDDL for expressing temporal planning domains. J Artif Intell Res 20:61\u2013124","journal-title":"J Artif Intell Res"},{"key":"259_CR16","doi-asserted-by":"crossref","unstructured":"Georgiadis I, Magee J, Kramer J (2002) Self-organising software architectures for distributed systems. In: Workshop on self-healing systems (WOSS 2002), pp 33\u201338","DOI":"10.1145\/582128.582135"},{"key":"259_CR17","unstructured":"Heinzemann C, Henkler S (2011) Timed story driven modeling. Technical Report tr-ri-11-326, Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn"},{"issue":"1","key":"259_CR18","doi-asserted-by":"crossref","first-page":"587","DOI":"10.1613\/jair.3636","volume":"44","author":"J Hoffmann","year":"2012","unstructured":"Hoffmann J, Weber I, Kraft FM (2012) SAP speaks PDDL: exploiting a software-engineering model for planning in business process management. J Artif Intell Res 44(1):587\u2013632","journal-title":"J Artif Intell Res"},{"key":"259_CR19","doi-asserted-by":"crossref","unstructured":"Kramer J, Magee J (2007) Self-managed systems: an architectural challenge. In: Workshop on the future of software engineering (FOSE 2007). IEEE Computer Society, Washington, DC, pp 259\u2013268","DOI":"10.1109\/FOSE.2007.19"},{"issue":"7","key":"259_CR20","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1109\/32.708567","volume":"24","author":"D M\u00e9tayer Le","year":"1998","unstructured":"Le M\u00e9tayer D (1998) Describing software architecture styles using graph grammars. IEEE Trans Softw Eng 24(7):521\u2013533","journal-title":"IEEE Trans Softw Eng"},{"key":"259_CR21","doi-asserted-by":"crossref","unstructured":"L\u00fcckel J, Hestermeyer T, Liu-Henke X (2001) Generalization of the cascade principle in view of a structured form of mechatronic systems. In: IEEE\/ASME international conference on advanced intelligent mechatronics (AIM 2001), pp 123\u2013128","DOI":"10.1109\/AIM.2001.936441"},{"key":"259_CR22","unstructured":"Meijer R (2012) PDDL planning problems and GROOVE graph transformations: combining two worlds with a translator. In: 17th Twente student conference on IT. University of Twente"},{"key":"259_CR23","unstructured":"Object Management Group (OMG) (2009) Unified Modeling Language (UML) superstructure specification\u2014version 2.2. Technical Report formal\/2009-02-02, Object Management Group Inc."},{"key":"259_CR24","unstructured":"Object Management Group (OMG) (2011) Meta object facility (MOF) 2.0 query\/view\/transformation specification\u2014version 1.1. Technical Report formal\/2011-01-01, Object Management Group Inc."},{"key":"259_CR25","doi-asserted-by":"crossref","unstructured":"Plump D, Steinert S (2010) The semantics of graph programs. In: Mackie I, Moreira AM (eds) 10th international workshop on rule-based programming (RULE 2009), electronic proceedings in theoretical computer science (EPTCS), vol 21, pp 27\u201338","DOI":"10.4204\/EPTCS.21.3"},{"key":"259_CR26","unstructured":"R\u00f6hs M, Wehrheim H (2010) Sichere Konfigurationsplanung selbst-adaptierender Systeme durch Model Checking. In: Gausemeier J, Rammig F, Sch\u00e4fer W, Tr\u00e4chtler A (eds) 9. Paderborner Workshop Entwurf mechatronischer Systeme, HNI-Verlagsschriftenreihe, vol 272, pp 253\u2013265. Heinz Nixdorf Institut"},{"issue":"2","key":"259_CR27","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1017\/S0269888907001063","volume":"22","author":"RM Simpson","year":"2007","unstructured":"Simpson RM, Kitchin DE, McCluskey TL (2007) Planning domain definition using GIPO. Knowl Eng Rev 22(2):117\u2013134","journal-title":"Knowl Eng Rev"},{"key":"259_CR28","doi-asserted-by":"crossref","unstructured":"Steenken D, Wehrheim H, Wonisch D (2011) Sound and complete abstract graph transformation. In: 14th Brazilian symposium on formal methods (SBMF 2011), pp 92\u2013107","DOI":"10.1007\/978-3-642-25032-3_7"},{"key":"259_CR29","unstructured":"Tichy M, Henkler S, Holtmann J, Oberth\u00fcr S (2008) Component story diagrams: a transformation language for component structures in mechatronic systems. In: 4th workshop on object-oriented modeling of embedded real-time systems (OMER 4), pp 27\u201338"},{"key":"259_CR30","unstructured":"Tichy M, Kl\u00f6pper B (2011) Planning self-adaptation with graph transformations. In: Sch\u00fcrr A, Varr\u00f3 D, Varr\u00f3 G (eds) International symposium on applications of graph transformation with industrial relevance (AGTIVE 2011). Lecture notes in computer science (LNCS), vol 7233. Springer, Berlin"},{"key":"259_CR31","unstructured":"Vaquero TS, Silva JR, Ferreira M, Tonidandel F, Beck JC (2009) From requirements and analysis to PDDL in itSIMPLE3.0. In: 19th international conference on automated planning and scheduling (ICAPS 2009)"},{"key":"259_CR32","unstructured":"Vaquero TS, Tonaco R, Costa C, Tonidandel F, Silva JR, Beck JC (2012) itSIMPLE4.0: enhancing the modeling experience of planning problems. In: ICAPS 2012 system demonstrations, pp 11\u201314"},{"key":"259_CR33","unstructured":"Vidal V (2011) YAHSP2: keep it simple, stupid. In: 7th international planning competition (IPC 2011), pp 83\u201390"},{"issue":"2","key":"259_CR34","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/S0167-6423(02)00036-9","volume":"44","author":"M Wermelinger","year":"2002","unstructured":"Wermelinger M, Fiadeiro JL (2002) A graph transformation approach to software architecture reconfiguration. Sci Comput Program 44(2):133\u2013155","journal-title":"Sci Comput Program"},{"key":"259_CR35","doi-asserted-by":"crossref","unstructured":"Ziegert S, Heinzemann C, (2013) Durative graph transformation rules for modelling real-time reconfiguration. In: 10th international colloquium on theoretical aspects of computing (ICTAC, (2013) Lecture notes in computer science (LNCS), vol 8049. Springer, Berlin","DOI":"10.1007\/978-3-642-39718-9_25"},{"key":"259_CR36","unstructured":"Ziegert S, Wehrheim H (2013) Temporal reconfiguration plans for self-adaptive systems. In: Kowalewski S, Rumpe B (eds) Software engineering (SE 2013). Lecture notes in informatics (LNI). Gesellschaft f\u00fcr Informatik e.V. (GI), Bonn"}],"container-title":["Computer Science - Research and Development"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00450-014-0259-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00450-014-0259-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00450-014-0259-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,14]],"date-time":"2023-07-14T22:47:09Z","timestamp":1689374829000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00450-014-0259-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,2]]},"references-count":36,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2015,8]]}},"alternative-id":["259"],"URL":"https:\/\/doi.org\/10.1007\/s00450-014-0259-7","relation":{},"ISSN":["1865-2034","1865-2042"],"issn-type":[{"value":"1865-2034","type":"print"},{"value":"1865-2042","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,7,2]]}}}