{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T10:56:54Z","timestamp":1760785014260,"version":"3.40.3"},"publisher-location":"Cham","reference-count":102,"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_2","type":"book-chapter","created":{"date-parts":[[2021,12,2]],"date-time":"2021-12-02T13:05:50Z","timestamp":1638450350000},"page":"9-37","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Foundations"],"prefix":"10.1007","author":[{"given":"Carolyn","family":"Talcott","sequence":"first","affiliation":[]},{"given":"Sofia","family":"Ananieva","sequence":"additional","affiliation":[]},{"given":"Kyungmin","family":"Bae","sequence":"additional","affiliation":[]},{"given":"Benoit","family":"Combemale","sequence":"additional","affiliation":[]},{"given":"Robert","family":"Heinrich","sequence":"additional","affiliation":[]},{"given":"Mark","family":"Hills","sequence":"additional","affiliation":[]},{"given":"Narges","family":"Khakpour","sequence":"additional","affiliation":[]},{"given":"Ralf","family":"Reussner","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Rumpe","sequence":"additional","affiliation":[]},{"given":"Patrizia","family":"Scandurra","sequence":"additional","affiliation":[]},{"given":"Hans","family":"Vangheluwe","sequence":"additional","affiliation":[]},{"given":"Francisco","family":"Dur\u00e1n","sequence":"additional","affiliation":[]},{"given":"Steffen","family":"Zschaler","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,7,18]]},"reference":[{"key":"2_CR1","unstructured":"ISO\/IEC 25010. ISO\/IEC 25010:2011, Systems and software engineering\u2014Systems and software Quality Requirements and Evaluation (SQuaRE)\u2014System and software quality models. 2011."},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Rajeev Alur and David L. Dill. \u201cA Theory of Timed Automata\u201d. In: Theor. Comput. Sci. 126.2 (1994), pp. 183\u2013235. https:\/\/doi.org\/10.1016\/0304-3975(94)90010-8.","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Martin Abadi and Leslie Lamport. \u201cComposing Specifications\u201d. In: ACM Transactions on Programming Languages and Systems 15.1 (1993).","DOI":"10.1145\/151646.151649"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Martin Abadi and Leslie Lamport. \u201cConjoining Specifications\u201d. In: ACM Trans. Program. Lang. Syst. 17.3 (1995), pp. 507\u2013534. https:\/\/doi.org\/10.1145\/203095.201069.","DOI":"10.1145\/203095.201069"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Jonathan Aldrich, David Garlan, Christian K\u00e4stner, Claire Le Goues, Anahita Mohseni- Kabir, Ivan Ruchkin, Selva Samuel, Bradley R. Schmerl, Christopher Steven Timperley, Manuela Veloso, Ian Voysey, Joydeep Biswas, Arjun Guha, Jarrett Holtz, Javier C\u00e1mara, and Pooyan Jamshidi. \u201cModel-Based Adaptation for Robotics Software\u201d. In: IEEE Softw. 36.2 (2019), pp. 83\u201390. https:\/\/doi.org\/10.1109\/MS.2018.2885058.","DOI":"10.1109\/MS.2018.2885058"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Musab AlTurki and Jos\u00e9 Meseguer. \u201cPVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool\u201d. In: 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO. Vol. 6859. 2011, pp. 386\u2013392. https:\/\/doi.org\/10.1007\/978-3-642-22944-2_28.","DOI":"10.1007\/978-3-642-22944-2_28"},{"key":"2_CR7","doi-asserted-by":"publisher","unstructured":"Moussa Amrani, Beno\u00eet Combemale, Levi Lucio, Gehan M. K. Selim, J\u00fcrgen Dingel, Yves Le Traon, Hans Vangheluwe, and James R. Cordy. \u201cFormal Verification Techniques for Model Transformations: A Tridimensional Classification\u201d. In: J. Object Technol. 14.3 (2015), 1:1\u201343. https:\/\/doi.org\/10.5381\/jot.2015.14.3.a1.","DOI":"10.5381\/jot.2015.14.3.a1"},{"key":"2_CR8","unstructured":"Clark W. Barrett, Roberto Sebastiani, Sanjit A. Seshia, and Cesare Tinelli. \u201cSatisfiability Modulo Theories\u201d. In: Handbook of Satisfiability. Vol. 185. 2009, pp. 825\u2013885. https:\/\/doi.org\/10.3233\/978-1-58603-929-5-825."},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Benoit Baudry, Sudipto Ghosh, Franck Fleurey, Robert B. France, Yves Le Traon, and Jean-Marie Mottu. \u201cBarriers to systematic model transformation testing\u201d. In: Commun. ACM 53.6 (2010), pp. 139\u2013143. https:\/\/doi.org\/10.1145\/1743546.1743583.","DOI":"10.1145\/1743546.1743583"},{"key":"2_CR10","doi-asserted-by":"publisher","unstructured":"Ananda Basu, Marius Bozga, and Joseph Sifakis. \u201cModeling Heterogeneous Realtime Components in BIP\u201d. In: Fourth IEEE International Conference on Software Engineering and Formal Methods, SEFM. 2006, pp. 3\u201312. https:\/\/doi.org\/10.1109\/SEFM.2006.27.","DOI":"10.1109\/SEFM.2006.27"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Gerd Behrmann, Alexandre David, and Kim G. Larsen. \u201cA Tutorial on Uppaal\u201d. In: 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems. 3185. Sept. 2004, pp. 200\u2013236.","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Johan Bengtsson, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. \u201cUPPAAL\u2014a Tool Suite for Automatic Verification of Real\u2013Time Systems\u201d. In: Workshop on Verification and Control of Hybrid Systems III. 1066. 1995, pp. 232\u2013243.","DOI":"10.1007\/BFb0020949"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Jean B\u00e9zivin, Fabian B\u00fcttner, Martin Gogolla, Fr\u00e9d\u00e9ric Jouault, Ivan Kurtev, and Arne Lindow. \u201cModel transformations? transformation models!\u201d In: International Conference on Model Driven Engineering Languages and Systems. 2006, pp. 440\u2013453.","DOI":"10.1007\/11880240_31"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Nelly Bencomo, Sebastian G\u00f6tz, and Hui Song. \u201cModels@run.time: a guided tour of the state of the art and research challenges\u201d. In: Software & Systems Modeling 18.5 (2019), pp. 3049\u20133082. https:\/\/doi.org\/10.1007\/s10270-018-00712-x.","DOI":"10.1007\/s10270-018-00712-x"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Pascal Bibow, Manuela Dalibor, Christian Hopmann, Ben Mainz, Bernhard Rumpe, David Schmalzing, Mauritius Schmitz, and Andreas Wortmann. \u201cModel-Driven Development of a Digital Twin for Injection Molding\u201d. In: Advanced Information Systems Engineering. 2020, pp. 85\u2013100.","DOI":"10.1007\/978-3-030-49435-3_6"},{"key":"2_CR16","volume-title":"Testing Object-Oriented Systems - Models, Patterns, and Tools","author":"Robert V Binder","year":"2000","unstructured":"Robert V. Binder. Testing Object-Oriented Systems - Models, Patterns, and Tools. Addison-Wesley, 2000."},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Mike Barnett, K. Rustan M. Leino, and Wolfram Schulte. \u201cThe Spec# Programming System: An Overview\u201d. In: International Workshop on the Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS. Vol. 3362. 2005, pp. 49\u201369.","DOI":"10.1007\/978-3-540-30569-9_3"},{"key":"2_CR18","volume-title":"The Unified Modeling Language User Guide","author":"Grady Booch","year":"1998","unstructured":"Grady Booch, James Rumbaugh, and Ivar Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1998."},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Jean-Michel Bruel, Benoit Combemale, Ileana Ober, and H\u00e9l\u00e8ne Raynal. \u201cMDE in Practice for Computational Science\u201d. In: Procedia Computer Science 51 (2015). International Conference On Computational Science, ICCS, pp. 660\u2013669. https:\/\/doi.org\/10.1016\/j.procs.2015.05.182.","DOI":"10.1016\/j.procs.2015.05.182"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Manfred Broy and Ketil St\u00f8len. Specification and Development of Interactive Systems. Focus on Streams, Interfaces and Refinement. Springer, 2001.","DOI":"10.1007\/978-1-4613-0091-5"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Ilhem Boussa\u00efd, Patrick Siarry, and Mohamed Ahmed-Nacer. \u201cA survey on search-based model-driven engineering\u201d. In: Automated Software Engineering 24.2 (2017), pp. 233\u2013294. https:\/\/doi.org\/10.1007\/s10515-017-0215-4.","DOI":"10.1007\/s10515-017-0215-4"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph Kiniry, Gary T. Leavens, K. Rustan M. Leino, and Erik Poll. \u201cAn overview of JML tools and applications\u201d. In: 8th International Workshop on Formal Methods for Industrial Critical Systems, FMICS. Vol. 80. 2003, pp. 75\u201391. https:\/\/doi.org\/10.1016\/S1571-0661(04)80810-7.","DOI":"10.1016\/S1571-0661(04)80810-7"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Patrick Cousot and Radhia Cousot. \u201cAbstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints\u201d. In: 4th ACM Symposium on Principles of Programming Languages, POPL. 1977, pp. 238\u2013252. https:\/\/doi.org\/10.1145\/512950.512973.","DOI":"10.1145\/512950.512973"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Edmund M. Clarke, E. Allen Emerson, and Aravinda Prasad Sistla. \u201cAutomatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach\u201d. In: Tenth Annual ACM Symposium on Principles of Programming Languages. 1983, pp. 117\u2013126. https:\/\/doi.org\/10.1145\/567067.567080.","DOI":"10.1145\/567067.567080"},{"key":"2_CR25","doi-asserted-by":"publisher","unstructured":"Jes\u00fas S\u00e1nchez Cuadrado, Esther Guerra, and Juan de Lara. \u201cStatic Analysis of Model Transformations\u201d. In: IEEE Trans. Software Eng. 43.9 (2017), pp. 868\u2013897. https:\/\/doi.org\/10.1109\/TSE.2016.2635137.","DOI":"10.1109\/TSE.2016.2635137"},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"Krzysztof Czarnecki and Simon Helsen. \u201cFeature-based survey of model transformation approaches\u201d. In: IBM Syst. J. 45.3 (2006), pp. 621\u2013646. https:\/\/doi.org\/10.1147\/sj.453.0621.","DOI":"10.1147\/sj.453.0621"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Manuel Clavel, Francisco Dur\u00e1n, Steven Eker, Patrick Lincoln, Narciso Mart\u00ed-Oliet, Jos\u00e9 Meseguer, and Carolyn L. Talcott. All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. Vol. 4350. Springer, 2007. https:\/\/doi.org\/10.1007\/978-3-540-71999-1.","DOI":"10.1007\/978-3-540-71999-1"},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"Edmund M. Clarke, William Klieber, Milos Nov\u00e1cek, and Paolo Zuliani. \u201cModel Checking and the State Explosion Problem\u201d. In: International Summer School on Tools for Practical Software Verification, LASER. Vol. 7682. 2011, pp. 1\u201330. https:\/\/doi.org\/10.1007\/978-3-642-35746-6_1.","DOI":"10.1007\/978-3-642-35746-6_1"},{"key":"2_CR29","unstructured":"Mickael Clavreul. \u201cModel and Metamodel Composition: Separation of Mapping and Interpretation for Unifying Existing Model Composition Techniques\u201d. PhD thesis. University of Rennes 1, France, 2011. https:\/\/tel.archives-ouvertes.fr\/tel-00646893."},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"Benoit Combemale, Robert France, Jean-Marc J\u00e9z\u00e9quel, Bernhard Rumpe, Jim R.H. Steel, and Didier Vojtisek. Engineering Modeling Languages. Chapman and Hall\/CRC, 2016, p. 398. http:\/\/mdebook.irisa.fr\/.","DOI":"10.1201\/b21841"},{"key":"2_CR31","doi-asserted-by":"crossref","unstructured":"Benoit Combemale, J\u00f6rg Kienzle, Gunter Mussbacher, Hyacinth Ali, Daniel Amyot, Mojtaba Bagherzadeh, Edouard Batot, Nelly Bencomo, Benjamin Benni, Jean-Michel Bruel, Jordi Cabot, Betty H C Cheng, Philippe Collet, Gregor Engels, Robert Heinrich, Jean-Marc J\u00e9z\u00e9quel, Anne Koziolek, S\u00e9bastien Mosser, Ralf Reussner, Houari Sahraoui, Rijul Saini, June Sallou, Serge Stinckwich, Eugene Syriani, and Manuel Wimmer. \u201cA Hitchhiker\u2019s Guide to Model-Driven Engineering for Data-Centric Systems\u201d. In: IEEE Software (2020).","DOI":"10.1109\/MS.2020.2995125"},{"key":"2_CR32","doi-asserted-by":"crossref","unstructured":"Daniel Calegari and Nora Szasz. \u201cVerification of Model Transformations: A Survey of the State-of-the-Art\u201d. In: XXXVIII Latin American Computer Conference, CLEI. Vol. 292. 2012, pp. 5\u201325. https:\/\/doi.org\/10.1016\/j.entcs.2013.02.002.","DOI":"10.1016\/j.entcs.2013.02.002"},{"key":"2_CR33","doi-asserted-by":"crossref","unstructured":"Daniel Calegari and Nora Szasz. \u201cInstitution-Based Semantics for MOF and QVT-Relations\u201d. In: 16th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF. Vol. 8195. 2013, pp. 34\u201350. https:\/\/doi.org\/10.1007\/978-3-642-41071-0_4.","DOI":"10.1007\/978-3-642-41071-0_4"},{"key":"2_CR34","doi-asserted-by":"crossref","unstructured":"J\u00fcrgen Dingel, Zinovy Diskin, and Alanna Zito. \u201cUnderstanding and improving UML package merge\u201d. In: Softw. Syst. Model. 7.4 (2008), pp. 443\u2013467. https:\/\/doi.org\/10.1007\/s10270-007-0073-9.","DOI":"10.1007\/s10270-007-0073-9"},{"key":"2_CR35","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: J. Log. Algebraic Methods Program. 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":"2_CR36","doi-asserted-by":"crossref","unstructured":"Francisco Dur\u00e1n. \u201cComposition of Graph-Transformation-Based DSL Definitions by Amalgamation\u201d. In: 10th International Workshop on Rewriting Logic and Its Applications, WRLA, Revised Selected Papers. Vol. 8663. 2014, pp. 1\u201320. https:\/\/doi.org\/10.1007\/978-3-319-12904-4_1.","DOI":"10.1007\/978-3-319-12904-4_1"},{"key":"2_CR37","doi-asserted-by":"publisher","unstructured":"Danny Dolev and Andrew Chi-Chih Yao. \u201cOn the Security of Public Key Protocols\u201d. In: IEEE Transactions on Information Theory 29.2 (1983), pp. 198\u2013207. https:\/\/doi.org\/10.1109\/TIT.1983.1056650.","DOI":"10.1109\/TIT.1983.1056650"},{"key":"2_CR38","doi-asserted-by":"crossref","unstructured":"Esther Guerra and Juan de Lara. \u201cAn Algebraic Semantics for QVT-Relations Check-only Transformations\u201d. In: Fundam. Informaticae 114.1 (2012), pp. 73\u2013101. https:\/\/doi.org\/10.3233\/FI-2011-618.","DOI":"10.3233\/FI-2011-618"},{"key":"2_CR39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-27081-4","volume-title":"Scientific Models","author":"Philip Gerlee","year":"2016","unstructured":"Philip Gerlee and Torbj\u00f6rn Lundh. Scientific Models. Springer, 2016."},{"key":"2_CR40","doi-asserted-by":"publisher","unstructured":"Luca Gazzola, Daniela Micucci, and Leonardo Mariani. \u201cAutomatic Software Repair: A Survey\u201d. In: IEEE Trans. Software Eng. 45.1 (2019), pp. 34\u201367. https:\/\/doi.org\/10.1109\/TSE.2017.2755013.","DOI":"10.1109\/TSE.2017.2755013"},{"key":"2_CR41","doi-asserted-by":"publisher","unstructured":"Claire Le Goues, ThanhVu Nguyen, Stephanie Forrest, and Westley Weimer. \u201cGen-Prog: A Generic Method for Automatic Software Repair\u201d. In: IEEE Trans. Software Eng. 38.1 (2012), pp. 54\u201372. https:\/\/doi.org\/10.1109\/TSE.2011.104.","DOI":"10.1109\/TSE.2011.104"},{"key":"2_CR42","unstructured":"GrammaTech. CodeSonar: Static Code Analysis. https:\/\/www.grammatech.com\/products\/source-code-analysis (visited on 04\/24\/2021)."},{"key":"2_CR43","unstructured":"Object Management Group. MOF Specification Version 2.0. http:\/\/www.omg.org\/docs\/ptc\/06-05-04.pdf. Jan. 2006."},{"key":"2_CR44","unstructured":"Object Management Group. OMG Systems Modeling Language (OMG SysML), Version 1.3. 2012. http:\/\/www.omg.org\/spec\/SysML\/1.3\/"},{"key":"2_CR45","doi-asserted-by":"crossref","unstructured":"David Garlan and Bradley R. Schmerl. \u201cModel-based adaptation for self-healing systems\u201d. In: First Workshop on Self-Healing Systems, WOSS. 2002, pp. 27\u201332. https:\/\/doi.org\/10.1145\/582128.582134.","DOI":"10.1145\/582128.582134"},{"key":"2_CR46","doi-asserted-by":"crossref","unstructured":"International Summer School on Bidirectional Transformations, Tutorial Lectures. Vol. 9715. 2018. https:\/\/doi.org\/10.1007\/978-3-319-79108-1.","DOI":"10.1007\/978-3-319-79108-1"},{"key":"2_CR47","doi-asserted-by":"crossref","unstructured":"Robert Heinrich, Reiner Jung, Christian Zirkelbach, Wilhelm Hasselbring, and Ralf Reussner. \u201cSoftware Architecture for Big Data and the Cloud\u201d. In: 2017. Chap. An Architectural Model-Based Approach to Quality-aware DevOps in Cloud Applications, pp. 69\u201389.","DOI":"10.1016\/B978-0-12-805467-3.00005-3"},{"key":"2_CR48","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":"2_CR49","doi-asserted-by":"crossref","unstructured":"Soichiro Hidaka, Massimo Tisi, Jordi Cabot, and Zhenjiang Hu. \u201cFeature-based classification of bidirectional transformation approaches\u201d. In: Softw. Syst. Model. 15.3 (2016), pp. 907\u2013928. https:\/\/doi.org\/10.1007\/s10270-014-0450-0.","DOI":"10.1007\/s10270-014-0450-0"},{"key":"2_CR50","doi-asserted-by":"crossref","unstructured":"Tingting Han, Joost-Pieter Katoen, and Damman Berteun. \u201cCounterexample Generation in Probabilistic Model Checking\u201d. In: IEEE Transactions on Software Engineering 35.2 (2009), pp. 241\u2013257.","DOI":"10.1109\/TSE.2009.5"},{"key":"2_CR51","doi-asserted-by":"crossref","unstructured":"Mark Harman, S. Afshin Mansouri, and Yuanyuan Zhang. \u201cSearch-based software engineering: Trends, techniques and applications\u201d. In: ACM Comput. Surv. 45.1 (2012), 11:1\u201311:61. https:\/\/doi.org\/10.1145\/2379776.2379787.","DOI":"10.1145\/2379776.2379787"},{"key":"2_CR52","doi-asserted-by":"crossref","unstructured":"Charles A. R. Hoare. \u201cAn Axiomatic Basis for Computer Programming\u201d. In: Commun. ACM 12.10 (1969), pp. 576\u2013580. https:\/\/doi.org\/10.1145\/363235.363259.","DOI":"10.1145\/363235.363259"},{"key":"2_CR53","doi-asserted-by":"publisher","unstructured":"William E. Howden. \u201cSymbolic Testing and the DISSECT Symbolic Evaluation System\u201d. In: IEEE Trans. Software Eng. 3.4 (1977), pp. 266\u2013278. https:\/\/doi.org\/10.1109\/TSE.1977.231144.","DOI":"10.1109\/TSE.1977.231144"},{"key":"2_CR54","doi-asserted-by":"crossref","unstructured":"David Harel and Bernhard Rumpe. \u201cMeaningful modeling: what\u2019s the semantics of \u201csemantics\u201d?\u201d In: Computer 37.10 (2004), pp. 64\u201372.","DOI":"10.1109\/MC.2004.172"},{"key":"2_CR55","doi-asserted-by":"publisher","unstructured":"Zhenjiang Hu, Andy Sch\u00fcrr, Perdita Stevens, and James F. Terwilliger. \u201cBidirectional Transformation \u201cbx\u201d (Dagstuhl Seminar 11031)\u201d. In: Dagstuhl Reports 1.1 (2011), pp. 42\u201367. https:\/\/doi.org\/10.4230\/DagRep.1.1.42.","DOI":"10.4230\/DagRep.1.1.42"},{"key":"2_CR56","doi-asserted-by":"crossref","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: 12th Int\u2019l Conf. on Model Transformations, ICMT. 2019.","DOI":"10.5381\/jot.2019.18.3.a6"},{"key":"2_CR57","doi-asserted-by":"crossref","unstructured":"Fr\u00e9d\u00e9ric Jouault, Freddy Allilaire, Jean B\u00e9zivin, and Ivan Kurtev. \u201cATL: A model transformation tool\u201d. In: Sci. Comput. Program. 72.1-2 (2008), pp. 31\u201339. https:\/\/doi.org\/10.1016\/j.scico.2007.08.002.","DOI":"10.1016\/j.scico.2007.08.002"},{"key":"2_CR58","doi-asserted-by":"crossref","unstructured":"Nafiseh Kahani, Mojtaba Bagherzadeh, James R. Cordy, Juergen Dingel, and D\u00e1niel Varr\u00f3. \u201cSurvey and classification of model transformation tools\u201d. In: Software and Systems Modelling 18.4 (2019), pp. 2361\u20132397. https:\/\/doi.org\/10.1007\/s10270-018-0665-6.","DOI":"10.1007\/s10270-018-0665-6"},{"key":"2_CR59","doi-asserted-by":"crossref","unstructured":"Gilles Kahn. \u201cNatural Semantics\u201d. In: 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS. Vol. 247. 1987, pp. 22\u201339.","DOI":"10.1007\/BFb0039592"},{"key":"2_CR60","doi-asserted-by":"crossref","unstructured":"James C. King. \u201cSymbolic Execution and Program Testing\u201d. In: Commun. ACM 19.7 (1976), pp. 385\u2013394. https:\/\/doi.org\/10.1145\/360248.360252.","DOI":"10.1145\/360248.360252"},{"key":"2_CR61","doi-asserted-by":"crossref","unstructured":"Narges Khakpour, Jetty Kleijn, and Marjan Sirjani. \u201cA Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems\u201d. In: 8th International Conference on Fundamentals of Software Engineering, FSEN. Vol. 11761. 2019, pp. 3\u201319. https:\/\/doi.org\/10.1007\/978-3-030-31517-7_1.","DOI":"10.1007\/978-3-030-31517-7_1"},{"key":"2_CR62","unstructured":"Anneke Kleppe. Software Language Engineering: Creating Domain-Specific Languages using Metamodels. Pearson Education, 2008."},{"key":"2_CR63","doi-asserted-by":"crossref","unstructured":"Marta Z. Kwiatkowska, Gethin Norman, and David Parker. \u201cPRISM 4.0: Verification of Probabilistic Real-Time Systems\u201d. In: 23rd International Conference on Computer Aided Verification, CAV. Vol. 6806. 2011, pp. 585\u2013591. https:\/\/doi.org\/10.1007\/978-3-642-22110-1_47.","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"2_CR64","doi-asserted-by":"crossref","unstructured":"Narges Khakpour and Charilaos Skandylas. \u201cSynthesis of a Permissive Security Monitor\u201d. In: 23rd European Symposium on Research in Computer Security, ESORICS, Part I. Vol. 11098. 2018, pp. 48\u201365. https:\/\/doi.org\/10.1007\/978-3-319-99073-6_3.","DOI":"10.1007\/978-3-319-99073-6_3"},{"key":"2_CR65","doi-asserted-by":"crossref","unstructured":"Thomas K\u00fchne. \u201cUnifying Explanatory and Constructive Modeling: Towards Removing the Gulf between Ontologies and Conceptual Models\u201d. In: ACM\/IEEE 19th International Conference on Model Driven Engineering Languages and Systems. 2016, pp. 95\u2013102. https:\/\/doi.org\/10.1145\/2976767.2976770.","DOI":"10.1145\/2976767.2976770"},{"key":"2_CR66","doi-asserted-by":"crossref","unstructured":"Evgeny Kusmenko, Alexander Roth, Bernhard Rumpe, and Michael von Wenckstern. \u201cModeling Architectures of Cyber-Physical Systems\u201d. In: 13th European Conference on Modelling Foundations and Applications, ECMFA. Vol. 10376. 2017, pp. 34\u201350. https:\/\/doi.org\/10.1007\/978-3-319-61482-3_3.","DOI":"10.1007\/978-3-319-61482-3_3"},{"key":"2_CR67","doi-asserted-by":"crossref","unstructured":"Edward A. Lee. \u201cModeling in Engineering and Science\u201d. In: Commun. ACM 62.1 (2018), pp. 35\u201336. https:\/\/doi.org\/10.1145\/3231590.","DOI":"10.1145\/3231590"},{"key":"2_CR68","doi-asserted-by":"crossref","unstructured":"Juan de Lara and Esther Guerra. \u201cGeneric Meta-modelling with Concepts, Templates and Mixin Layers\u201d. In: 13th International Conference on Model Driven Engineering Languages and Systems, MODELS, Proceedings, Part I. Vol. 6394. 2010, pp. 16\u201330. https:\/\/doi.org\/10.1007\/978-3-642-16145-2_2.","DOI":"10.1007\/978-3-642-16145-2_2"},{"key":"2_CR69","doi-asserted-by":"crossref","unstructured":"Martin Leucker and Christian Schallhart. \u201cA brief account of runtime verification\u201d. In: J. Log. Algebraic Methods Program. 78.5 (2009), pp. 293\u2013303. https:\/\/doi.org\/10.1016\/j.jlap.2008.08.004.","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"2_CR70","volume-title":"Structure and interpretation of signals and systems","author":"Edward A Lee","year":"2003","unstructured":"Edward A. Lee and Pravin Varaiya. Structure and interpretation of signals and systems. Addison-Wesley, 2003."},{"key":"2_CR71","doi-asserted-by":"crossref","unstructured":"Tom Mens. \u201cModel Transformation: A Survey of the State of the Art\u201d. In: Model-Driven Engineering for Distributed Real-Time Systems. 2013. Chap. 1, pp. 1\u201319. https:\/\/doi.org\/10.1002\/9781118558096.ch1.","DOI":"10.1002\/9781118558096.ch1"},{"key":"2_CR72","doi-asserted-by":"crossref","unstructured":"Jos\u00e9 Meseguer. \u201cTwenty years of rewriting logic\u201d. In: J. Algebraic and Logic Programming 81 (2012), pp. 721\u2013781.","DOI":"10.1016\/j.jlap.2012.06.003"},{"key":"2_CR73","doi-asserted-by":"crossref","unstructured":"Jos\u00e9 Meseguer. \u201cConditional Rewriting Logic as a Unified Model of Concurrency\u201d. In: Theoretical Computer Science 96.1 (1992), pp. 73\u2013155.","DOI":"10.1016\/0304-3975(92)90182-F"},{"key":"2_CR74","unstructured":"Robin Milner. Communication and concurrency. Prentice Hall, 1989."},{"key":"2_CR75","doi-asserted-by":"crossref","unstructured":"Jos\u00e9 Meseguer and Grigore Rosu. \u201cRewriting Logic Semantics: From Language Specifications to Formal Analysis Tools\u201d. In: Second International Joint Conference on Automated Reasoning, IJCAR. Vol. 3097. 2004, pp. 1\u201344. https:\/\/doi.org\/10.1007\/978-3-540-25984-8_1.","DOI":"10.1007\/978-3-540-25984-8_1"},{"key":"2_CR76","doi-asserted-by":"publisher","unstructured":"Mohamed Mussa, Samir Ouchani, Waseem Al Sammane, and Abdelwahab Hamou- Lhadj. \u201cA Survey of Model-Driven Testing Techniques\u201d. In: Ninth International Conference on Quality Software, QSIC. 2009, pp. 167\u2013172. https:\/\/doi.org\/10.1109\/QSIC.2009.","DOI":"10.1109\/QSIC.2009"},{"key":"2_CR77","doi-asserted-by":"crossref","unstructured":"Sergey Mechtaev, Jooyong Yi, and Abhik Roychoudhury. \u201cAngelix: scalable multiline program patch synthesis via symbolic analysis\u201d. In: 38th International Conference on Software Engineering, ICSE. 2016, pp. 691\u2013701. https:\/\/doi.org\/10.1145\/2884781.2884807.","DOI":"10.1145\/2884781.2884807"},{"key":"2_CR78","volume-title":"Isabelle\/HOL - A Proof Assistant for Higher-Order Logic","author":"Tobias Nipkow","year":"2002","unstructured":"Tobias Nipkow, Lawrence C. Paulson, and Markus Wenzel. Isabelle\/HOL - A Proof Assistant for Higher-Order Logic. Springer, 2002."},{"key":"2_CR79","doi-asserted-by":"crossref","unstructured":"Object Management Group. OMG Unified Modeling Language (OMG UML), Version 2.5.1. 2017. https:\/\/www.omg.org\/spec\/UML\/2.5.1\/.","DOI":"10.1016\/B978-1-78548-171-0.50001-3"},{"key":"2_CR80","doi-asserted-by":"crossref","unstructured":"Peter C. \u00d6lveczky and Jos\u00e9 Meseguer. \u201cSemantics and Pragmatics of Real-Time Maude\u201d. In: Higher-Order and Symbolic Computation 20.1-2 (2007), pp. 161\u2013196.","DOI":"10.1007\/s10990-007-9001-5"},{"key":"2_CR81","unstructured":"OMG - Object Management Group. MOF Query\/View\/Transformation. Version 1.3. 2016. https:\/\/www.omg.org\/spec\/QVT\/."},{"key":"2_CR82","doi-asserted-by":"crossref","unstructured":"Sam Owre and Natarajan Shankar. \u201cA Brief Overview of PVS\u201d. In: 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs, Proceedings. Vol. 5170. 2008, pp. 22\u201327. https:\/\/doi.org\/10.1007\/978-3-540-71067-7_5.","DOI":"10.1007\/978-3-540-71067-7_5"},{"key":"2_CR83","doi-asserted-by":"crossref","unstructured":"Gordon D. Plotkin. \u201cA structural approach to operational semantics\u201d. In: Journal of Logic and Algebraic Programming 60\u201361 (2004), pp. 17\u2013139.","DOI":"10.1016\/j.jlap.2004.05.001"},{"key":"2_CR84","doi-asserted-by":"crossref","unstructured":"Davide Di Ruscio, Romina Eramo, and Alfonso Pierantonio. \u201cModel Transformations\u201d. In: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM. Vol. 7320. 2012, pp. 91\u2013136. https:\/\/doi.org\/10.1007\/978-3-642-30982-3_4.","DOI":"10.1007\/978-3-642-30982-3_4"},{"key":"2_CR85","doi-asserted-by":"crossref","unstructured":"Grigore Rosu, Chucky Ellison, and Wolfram Schulte. \u201cMatching Logic: An Alternative to Hoare\/Floyd Logic\u201d. In: 13th International Conference on Algebraic Methodology and Software Technology, AMAST. Vol. 6486. 2010, pp. 142\u2013162. https:\/\/doi.org\/10.1007\/978-3-642-17796-5_9.","DOI":"10.1007\/978-3-642-17796-5_9"},{"key":"2_CR86","volume-title":"Modeling and Simulating Software Architectures \u2013 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 \u2013 The Palladio Approach. MIT Press, 2016."},{"key":"2_CR87","doi-asserted-by":"crossref","unstructured":"Mark Richters and Martin Gogolla. \u201cValidating UML Models and OCL Constraints\u201d. In: \u00abUML\u00bb 2000 - The Unified Modeling Language, Advancing the Standard, Third International Conference. Vol. 1939. 2000, pp. 265\u2013277. https:\/\/doi.org\/10.1007\/3-540-40011-7_19.","DOI":"10.1007\/3-540-40011-7_19"},{"key":"2_CR88","doi-asserted-by":"crossref","unstructured":"Arend Rensink and Ronald Nederpel. \u201cGraph Transformation Semantics for a QVT Language\u201d. In: Electron. Notes Theor. Comput. Sci. 211 (2008), pp. 51\u201362. https:\/\/doi.org\/10.1016\/j.entcs.2008.04.029.","DOI":"10.1016\/j.entcs.2008.04.029"},{"key":"2_CR89","unstructured":"Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations. World Scientific, 1997."},{"key":"2_CR90","doi-asserted-by":"crossref","unstructured":"Lukman Ab. Rahim and Jon Whittle. \u201cA survey of approaches for verifying model transformations\u201d. In: Softw. Syst. Model. 14.2 (2015), pp. 1003\u20131028. https:\/\/doi.org\/10.1007\/s10270-013-0358-0.","DOI":"10.1007\/s10270-013-0358-0"},{"key":"2_CR91","doi-asserted-by":"crossref","unstructured":"Gehan M. K. Selim, James R. Cordy, and Juergen Dingel. \u201cModel transformation testing: the state of the art\u201d. In: First Workshop on the Analysis of Model Transformations, AMT. 2012, pp. 21\u201326. https:\/\/doi.org\/10.1145\/2432497.2432502.","DOI":"10.1145\/2432497.2432502"},{"key":"2_CR92","volume-title":"Real-Time Object-Oriented Modeling","author":"Bran Selic","year":"1994","unstructured":"Bran Selic, Garth Gulkeson, and Paul Ward. Real-Time Object-Oriented Modeling. John Wiley and Sons, 1994."},{"key":"2_CR93","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-8327-4","volume-title":"Allgemeine Modelltheorie","author":"Herbert Stachowiak","year":"1973","unstructured":"Herbert Stachowiak. Allgemeine Modelltheorie. Springer, 1973."},{"key":"2_CR94","volume-title":"Denotational semantics: the Scott-Strachey approach to programming language theory","author":"Joseph E Stoy","year":"1977","unstructured":"Joseph E. Stoy. Denotational semantics: the Scott-Strachey approach to programming language theory. MIT Press, 1977."},{"key":"2_CR95","unstructured":"Synopsys. Coverity Scan Static Analysis. https:\/\/scan.coverity.com\/ (visited on 04\/24\/2021)."},{"key":"2_CR96","unstructured":"Paul Tomassi. \u201cAn Introduction to First Order Predicate Logic\u201d. In: 1999, pp. 205\u2013280."},{"key":"2_CR97","doi-asserted-by":"crossref","unstructured":"Javier Troya and Antonio Vallecillo. \u201cTowards a Rewriting Logic Semantics for ATL\u201d. In: 3rd International Conference on Theory and Practice of Model Transformations, ICMT. Vol. 6142. 2010, pp. 230\u2013244. https:\/\/doi.org\/10.1007\/978-3-642-13688-7_16.","DOI":"10.1007\/978-3-642-13688-7_16"},{"key":"2_CR98","doi-asserted-by":"publisher","unstructured":"Javier Troya and Antonio Vallecillo. \u201cA Rewriting Logic Semantics for ATL\u201d. In: J. Object Technol. 10 (2011), 5: 1\u201329. https:\/\/doi.org\/10.5381\/jot.2011.10.1.a5.","DOI":"10.5381\/jot.2011.10.1.a5"},{"key":"2_CR99","doi-asserted-by":"crossref","unstructured":"Markus Voelter, Daniel Ratiu, Bernd Kolb, and Bernhard Sch\u00e4tz. \u201cmbeddr: instantiating a language workbench in the embedded software domain\u201d. In: Automated Software Engineering 20.3 (2013), pp. 339\u2013390. https:\/\/doi.org\/10.1007\/s10515-013-0120-4.","DOI":"10.1007\/s10515-013-0120-4"},{"key":"2_CR100","doi-asserted-by":"crossref","unstructured":"Christian Wende, Nils Thieme, and Steffen Zschaler. \u201cA Role-based Approach Towards Modular Language Engineering\u201d. In: 2nd Int\u2019l Conf. on Software Language Engineering, SLE. Vol. 5969. 2010, pp. 254\u2013273.","DOI":"10.1007\/978-3-642-12107-4_19"},{"key":"2_CR101","doi-asserted-by":"crossref","unstructured":"Steffen Zschaler and Fiona Polack. \u201cA Family of Languages for Trustworthy Agent- Based Simulation\u201d. In: 13th International Conference on Software Language Engineering, SLE. 2020.","DOI":"10.1145\/3426425.3426929"},{"key":"2_CR102","doi-asserted-by":"crossref","unstructured":"Steffen Zschaler. \u201cFormal Specification of Non-functional Properties of Component- Based Software Systems: A Semantic Framework and Some Applications Thereof\u201d. In: Software and Systems Modelling 9.2 (2009), pp. 161\u2013201. https:\/\/doi.org\/10.1007\/s10270-009-0115-6.","DOI":"10.1007\/s10270-009-0115-6"}],"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_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,7]],"date-time":"2021-12-07T15:20:54Z","timestamp":1638890454000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-81915-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030819149","9783030819156"],"references-count":102,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-81915-6_2","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"}}]}}