{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,25]],"date-time":"2025-07-25T10:14:04Z","timestamp":1753438444799,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030819149"},{"type":"electronic","value":"9783030819156"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-81915-6_9","type":"book-chapter","created":{"date-parts":[[2021,12,2]],"date-time":"2021-12-02T13:05:50Z","timestamp":1638450350000},"page":"189-215","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["GTSMorpher: Safely Composing Behavioural Analyses Using Structured Operational Semantics"],"prefix":"10.1007","author":[{"given":"Steffen","family":"Zschaler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco","family":"Dur\u00e1n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,7,18]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Martin Abadi and Leslie Lamport. \u201cAn Old-Fashioned Recipe for Real Time\u201d. In: ACM Transactions on Programming Languages and Systems 16.5 (Sept. 1994), pp. 1543\u20131571.","DOI":"10.1145\/186025.186058"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Andrea Corradini, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Reiko Heckel, and Michael L\u00f6we. \u201cAlgebraic approaches to graph transformation I: Basic concepts and double pushout approach\u201d. In: Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations. 1997. Chap. 3.","DOI":"10.1142\/9789812384720_0003"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Zinovy Diskin, Tom Maibaum, and Krzysztof Czarnecki. \u201cIntermodeling, Queries, and Kleisli Categories\u201d. In: Conf. Fundamental Approaches to Software Engineering. 2012, pp. 163\u2013177. https:\/\/doi.org\/10.1007\/978-3-642-28872-2_12.","DOI":"10.1007\/978-3-642-28872-2_12"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Francisco Dur\u00e1n, Antonio Moreno-Delgado, Fernando Orejas, and Steffen Zschaler. \u201cAmalgamation of Domain Specific Languages with Behaviour\u201d. In: Journal of Logical and Algebraic Methods in Programming 86 (1 2017), pp. 208\u2013235. https:\/\/doi.org\/10.1016\/j.jlamp.2015.09.005.","DOI":"10.1016\/j.jlamp.2015.09.005"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Francisco Dur\u00e1n, Steffen Zschaler, and Javier Troya. \u201cOn the Reusable Specification of Non-functional Properties in DSLs\u201d. In: 5th Int\u2019l Conf. on Software Language Engineering, SLE. 2013, pp. 332\u2013351. https:\/\/doi.org\/10.1007\/978-3-642-36089-3_19.","DOI":"10.1007\/978-3-642-36089-3_19"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Gregor Engels, Reiko Heckel, and Alexey Cherchago. \u201cFlexible Interconnection of Graph Transformation Modules\u201d. In: Formal Methods in Software and Systems Modeling. 2005, pp. 38\u201363. https:\/\/doi.org\/10.1007\/978-3-540-31847-7_3.","DOI":"10.1007\/978-3-540-31847-7_3"},{"key":"9_CR7","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"Hartmut Ehrig","year":"2006","unstructured":"Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, and Gabriele Taentzer. Fundamentals of Algebraic Graph Transformation. Springer, 2006. https:\/\/doi.org\/10.1007\/3-540-31188-2."},{"key":"9_CR8","doi-asserted-by":"publisher","unstructured":"Hartmut Ehrig. \u201cIntroduction to the algebraic theory of graph grammars\u201d. In: 1st Graph Grammar Workshop. 1979, pp. 1\u201369. https:\/\/doi.org\/10.1007\/BFb0025714.","DOI":"10.1007\/BFb0025714"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Gregor Engels, Reiko Heckel, Gabriele Taentzer, and Hartmut Ehrig. \u201cA Combined Reference Model- and View-Based Approach to System Specification\u201d. In: International Journal of Software Engineering and Knowledge Engineering 7.4 (1997), pp. 457\u2013477. https:\/\/doi.org\/10.1142\/S0218194097000266.","DOI":"10.1142\/S0218194097000266"},{"key":"9_CR10","unstructured":"Vincenzo Grassi and Raffaela Mirandola. \u201cA Model-driven Approach to Predictive Non Functional Analysis of Component-based Systems\u201d. In: Proc. Workshop on Models for Non-Functional Aspects of Component-Based Software. 2004."},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Martin Gro\u00dfe-Rhode, Francesco Parisi-Presicce, and Marta Simeoni. \u201cRefinements of Graph Transformation Systems via Rule Expressions\u201d. In: 6th Int\u2019l Workshop Theory and Application of Graph Transformations. 1998, pp. 368\u2013382. https:\/\/doi.org\/10.1007\/978-3-540-46464-8_26.","DOI":"10.1007\/978-3-540-46464-8_26"},{"key":"9_CR12","doi-asserted-by":"publisher","unstructured":"Martin Gro\u00dfe-Rhode, Francesco Parisi-Presicce, and Marta Simeoni. \u201cSpatial and Temporal Refinement of Typed Graph Transformation Systems\u201d. In: 23rd Int\u2019l Symposium Mathematical Foundations of Computer Science. 1998, pp. 553\u2013561. https:\/\/doi.org\/10.1007\/BFb0055805.","DOI":"10.1007\/BFb0055805"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Robert Heinrich, Francisco Dur\u00e1n, Carolyn L. Talcott, and Steffen Zschaler (eds.) Composing Model-Based Analysis Tools. Springer, 2021. https:\/\/doi.org\/10.1007\/978-3-030-81915-6.","DOI":"10.1007\/978-3-030-81915-6"},{"key":"9_CR14","doi-asserted-by":"publisher","unstructured":"Stefan John, Alexandru Burdusel, Robert Bill, Daniel Str\u00fcber, Gabriele Taentzer, Steffen Zschaler, and Manuel Wimmer. \u201cSearching for Optimal Models: Comparing Two Encoding Approaches\u201d. In: Journal of Object Technology 18.3 (2019), 6:1\u201322. https:\/\/doi.org\/10.5381\/jot.2019.18.3.a6.","DOI":"10.5381\/jot.2019.18.3.a6"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Leslie Lamport. \u201cA Temporal Logic of Actions\u201d. In: ACM Transactions on Programming Languages and Systems 16.3 (1994), pp. 872\u2013923.","DOI":"10.1145\/177492.177726"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Juan de Lara, Roswitha Bardohl, Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, and Gabriele Taentzer. \u201cAttributed Graph Transformation with Node Type Inheritance\u201d. In: Theoretical Computer Science 376 (2007), pp. 139\u2013163. https:\/\/doi.org\/10.1016\/j.tcs.2007.02.001.","DOI":"10.1016\/j.tcs.2007.02.001"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Juan de Lara and Esther Guerra. \u201cFrom Types to Type Requirements: Genericity for Model-Driven Engineering\u201d. In: Software and Systems Modelling 12.3 (2013), pp. 453\u2013474. https:\/\/doi.org\/10.1007\/s10270-011-0221-0.","DOI":"10.1007\/s10270-011-0221-0"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Juan de Lara and Esther Guerra. \u201cTowards the flexible reuse of model transformations: A formal approach based on graph transformation\u201d. In: Journal of Logical and Algebraic Methods in Programming 83.5\u20136 (2014). 24th Nordic Workshop on Programming Theory (NWPT 2012), pp. 427\u2013458. issn: 2352-2208. https:\/\/doi.org\/10.1016\/j.jlamp.2014.08.005.","DOI":"10.1016\/j.jlamp.2014.08.005"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Antonio Moreno-Delgado, Francisco Dur\u00e1n, Steffen Zschaler, and Javier Troya. \u201cModular DSLs for Flexible Analysis: An e-Motions Reimplementation of Palladio\u201d. In: Proc. 10th European Conf. on Modelling Foundations and Applications). 2014, pp. 132\u2013147. https:\/\/doi.org\/10.1007\/978-3-319-09195-2_9.","DOI":"10.1007\/978-3-319-09195-2_9"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Peter Naur. \u201cProgramming as Theory Building\u201d. In: Microprocessing and Microprogramming 15 (1986), pp. 253\u2013261. https:\/\/doi.org\/10.1016\/0165-6074(85)90032-8.","DOI":"10.1016\/0165-6074(85)90032-8"},{"key":"9_CR21","volume-title":"Modeling and Simulating Software Architectures: The Palladio Approach","author":"Ralf H Reussner","year":"2016","unstructured":"Ralf H. Reussner, Steffen Becker, Jens Happe, Robert Heinrich, Anne Koziolek, Heiko Koziolek, Max Kramer, and Klaus Krogmann. Modeling and Simulating Software Architectures: The Palladio Approach. MIT Press, 2016."},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Kiana Rostami, Johannes Stammel, Robert Heinrich, and Ralf H. Reussner. \u201cArchitecture-based Assessment and Planning of Change Requests\u201d. In: 11th International ACM SIGSOFT Conference on Quality of Software Architectures. 2015, pp. 21\u201330. https:\/\/doi.org\/10.1145\/2737182.2737198.","DOI":"10.1145\/2737182.2737198"},{"key":"9_CR23","unstructured":"Dave Steinberg, Frank Budinsky, Marcelo Paternostro, and Ed Merks. EMF: Eclipse Modeling Framework. Addison-Wesley Professional, 2009."},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Daniel Str\u00fcber, Kristopher Born, Kanwal Daud Gill, Raffaela Groner, Timo Kehrer, Manuel Ohrndorf, and Matthias Tichy. \u201cHenshin: A Usability-Focused Framework for EMF Model Transformation Development\u201d. In: 10th Int\u2019l Conf on Graph Transformations. 2017, pp. 196\u2013208.","DOI":"10.1007\/978-3-319-61470-0_12"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Javier Troya, Antonio Vallecillo, Francisco Dur\u00e1n, and Steffen Zschaler. \u201cModel- Driven Performance Analysis of Rule-Based Domain Specific Visual Models\u201d. In: Information and Software Technology 55.1 (2013), pp. 88\u2013110. https:\/\/doi.org\/10.1016\/j.infsof.2012.07.009.","DOI":"10.1016\/j.infsof.2012.07.009"},{"key":"9_CR26","unstructured":"Martin P.Ward. \u201cLanguage-oriented programming\u201d. In: Software-Concepts and Tools 15.4 (1994), pp. 147\u2013161. URL: http:\/\/www.gkc.org.uk\/martin\/papers\/middle-out-t.pdf."},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"Steffen Zschaler and Francisco Dur\u00e1n. \u201cGTS Families for the Flexible Composition of Graph Transformation Systems\u201d. In: 20th Int\u2019l Conf. Fundamental Approaches to Software Engineering. 2017, pp. 208\u2013225. https:\/\/doi.org\/10.1007\/978-3-662-54494-5_12.","DOI":"10.1007\/978-3-662-54494-5_12"}],"container-title":["Composing Model-Based Analysis Tools"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-81915-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,7]],"date-time":"2021-12-07T15:21:17Z","timestamp":1638890477000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-81915-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030819149","9783030819156"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-81915-6_9","relation":{},"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"18 July 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}