{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,28]],"date-time":"2025-06-28T11:26:55Z","timestamp":1751110015635,"version":"3.40.3"},"publisher-location":"Cham","reference-count":55,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031572586"},{"type":"electronic","value":"9783031572593"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,4,6]],"date-time":"2024-04-06T00:00:00Z","timestamp":1712361600000},"content-version":"vor","delay-in-days":96,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In model-driven engineering, runtime monitoring of systems with complex dynamic structures is typically performed via a runtime model capturing a snapshot of the system state: the model is represented as a graph and properties of interest as graph queries which are evaluated over the model online. For temporal properties, history-aware runtime models encode a trace of timestamped snapshots, which is monitored via temporal graph queries. In this case, the query evaluation needs to consider that a trace may be incomplete, thus future changes to the model may affect current answers. So far there is no formal foundation for query-based monitoring over runtime models encoding incomplete traces.<\/jats:p><jats:p>In this paper, we present a systematic and formal treatment of incomplete traces. First, we introduce a new definite semantics for a first-order temporal graph logic which only returns answers if no future change to the model will affect them. Then, we adjust the query evaluation semantics of a querying approach we previously presented, which is based on this logic, to the definite semantics of the logic. Lastly, we enable the approach to keep to its efficient query evaluation technique, while returning (the more costly) definite answers.<\/jats:p>","DOI":"10.1007\/978-3-031-57259-3_2","type":"book-chapter","created":{"date-parts":[[2024,4,5]],"date-time":"2024-04-05T13:01:39Z","timestamp":1712322099000},"page":"22-55","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6971-1589","authenticated-orcid":false,"given":"Lucas","family":"Sakizloglou","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4723-730X","authenticated-orcid":false,"given":"Holger","family":"Giese","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6937-5167","authenticated-orcid":false,"given":"Leen","family":"Lambers","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,4,6]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Gala Barquero, Javier Troya, and Antonio Vallecillo. \u201cImproving Query Performance on Dynamic Graphs\u201d. In: Softw Syst Model 20.4 (Aug. 1, 2021), pp. 1011\u20131041. ISSN: 1619-1374. DOI: 10.1007\/s10270-020-00832-3.","DOI":"10.1007\/s10270-020-00832-3"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Ezio Bartocci et al. \u201cFirst International Competition on Runtime Verification: Rules, Benchmarks, Tools, and Final Results of CRV 2014\u201d. In: Int J Softw Tools Technol Transfer 21.1 (Feb. 1, 2019), pp. 31\u201370. ISSN: 1433-2787. DOI: 10.1007\/s10009-017-0454-5.","DOI":"10.1007\/s10009-017-0454-5"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Ezio Bartocci et al. \u201cIntroduction to Runtime Verification\u201d. In: Lectures on Runtime Verification: Introductory and Advanced Topics. Ed. by Ezio Bartocci and Yli\u00e8s Falcone. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2018, pp. 1\u201333. ISBN: 978-3-319-75632-5. DOI: 10.1007\/978-3-319-75632-5_1.","DOI":"10.1007\/978-3-319-75632-5_1"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Ezio Bartocci et al. \u201cSpecification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications\u201d. In: Lectures on Runtime Verification. Ed. by Ezio Bartocci and Yli\u00e8s Falcone. Vol. 10457. Cham: Springer International Publishing, 2018, pp. 135\u2013175. ISBN: 978-3-319-75631-8. URL: http:\/\/link.springer.com\/10.1007\/978-3-319-75632-5_5.","DOI":"10.1007\/978-3-319-75632-5_5"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"David Basin, Felix Klaedtke, and Eugen Z\u0103linescu. \u201cAlgorithms for Monitoring Real-Time Properties\u201d. In: Acta Informatica 55.4 (June 1, 2018), pp. 309\u2013338. ISSN: 1432-0525. DOI: 10.1007\/s00236-017-0295-4.","DOI":"10.1007\/s00236-017-0295-4"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"David Basin, Felix Klaedtke, and Eugen Z\u0103linescu. \u201cThe MonPoly Monitoring Tool\u201d. In: Kalpa Publications in Computing. RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools. Vol. 3. EasyChair, Dec. 14, 2017, pp. 19\u201328. DOI: 10.29007\/89hs.","DOI":"10.29007\/89hs"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"David Basin et al. \u201cMonitoring Metric First-Order Temporal Properties\u201d. In: J. ACM 62.2 (May 6, 2015), 15:1\u201315:45. ISSN: 0004-5411. DOI: 10.1145\/2699444.","DOI":"10.1145\/2699444"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Andreas Bauer, Martin Leucker, and Christian Schallhart. \u201cThe Good, the Bad, and the Ugly, But How Ugly Is Ugly?\u201d In: Runtime Verification. Ed. by Oleg Sokolsky and Serdar Ta\u015f\u0131ran. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer, 2007, pp. 126\u2013138. ISBN: 978-3-540-77395-5. DOI: 10.1007\/978-3-540-77395-5_11.","DOI":"10.1007\/978-3-540-77395-5_11"},{"key":"2_CR9","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: Softw Syst Model 18.5 (Oct. 1, 2019), pp. 3049\u20133082. ISSN: 1619-1374. DOI: 10.1007\/s10270-018-00712-x.","DOI":"10.1007\/s10270-018-00712-x"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Thomas Beyhl et al. \u201cOn the Operationalization of Graph Queries with Generalized Discrimination Networks\u201d. In: Graph Transformation. Ed. by Rachid Echahed and Mark Minas. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2016, pp. 170\u2013186. ISBN: 978-3-319-40530-8. DOI: 10.1007\/978-3-319-40530-8_11.","DOI":"10.1007\/978-3-319-40530-8_11"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Robert Bill et al. \u201cOn the Need for Temporal Model Repositories\u201d. In: Software Technologies: Applications and Foundations. Ed. by Martina Seidl and Steffen Zschaler. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2018, pp. 136\u2013145. ISBN: 978-3-319-74730-9. DOI: 10.1007\/978-3-319-74730-9_11.","DOI":"10.1007\/978-3-319-74730-9_11"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Gordon Blair, Nelly Bencomo, and Robert B. France. \u201cModels@ Run.Time\u201d. In: Computer 42.10 (Oct. 2009), pp. 22\u201327. ISSN: 1558-0814. DOI: 10.1109\/MC.2009.326.","DOI":"10.1109\/MC.2009.326"},{"key":"2_CR13","unstructured":"M\u00e1rton B\u00far. \u201cQuery-Based Runtime Monitoring in Real-Time and Distributed Systems\u201d. PhD thesis. Canada: McGill University, 2021. URL: https:\/\/escholarship.mcgill.ca\/concern\/theses\/w95055572."},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"M\u00e1rton B\u00edr et al. \u201cDistributed Graph Queries Over Models@run.Time for Runtime Monitoring of Cyber-Physical Systems\u201d. In: Int J Softw Tools Technol Transfer 22.1 (Feb. 1, 2020), pp. 79\u2013102. ISSN: 1433-2787. DOI: 10.1007\/s10009-019-00531-5.","DOI":"10.1007\/s10009-019-00531-5"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"L. Catarinucci et al. \u201cAn IoT-Aware Architecture for Smart Healthcare Systems\u201d. In: IEEE Internet of Things Journal 2.6 (Dec. 2015), pp. 515\u2013526. ISSN: 2327-4662. DOI: 10.1109\/JIOT.2015.2417684.","DOI":"10.1109\/JIOT.2015.2417684"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Federico Ciccozzi et al. \u201cModel-Driven Engineering for Mission-Critical IoT Systems\u201d. In: IEEE Software 34.1 (Jan. 2017), pp. 46\u201353. ISSN: 1937-4194. DOI: 10.1109\/MS.2017.1.","DOI":"10.1109\/MS.2017.1"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Carlo Combi et al. \u201cModelling Temporal, Data-Centric Medical Processes\u201d. In: Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium. IHI \u201912. New York, NY, USA: Association for Computing Machinery, Jan. 28, 2012, pp. 141\u2013150. ISBN: 978-1-4503-0781-9. DOI: 10.1145\/2110363.2110382.","DOI":"10.1145\/2110363.2110382"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Bruno Courcelle. \u201cThe Expression of Graph Properties and Graph Transformations in Monadic Second-Order Logic\u201d. In: Handbook of Graph Grammars and Computing by Graph Transformation: Volume I. Foundations. USA: World Scientific Publishing Co., Inc., Feb. 1, 1997, pp. 313\u2013400. ISBN: 978-981-02-2884-2. DOI: 10.1142\/9789812384720_0005.","DOI":"10.1142\/9789812384720_0005"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Wei Dou, Domenico Bianculli, and Lionel Briand. \u201cA Model-Driven Approach to Trace Checking of Pattern-Based Temporal Properties\u201d. In: Proceedings of the ACM\/IEEE 20th International Conference on Model Driven Engineering Languages and Systems. MODELS \u201917. Austin, Texas: IEEE Press, Sept. 17, 2017, pp. 323\u2013333. ISBN: 978-1-5386-3492-9. DOI: 10.1109\/MODELS.2017.9.","DOI":"10.1109\/MODELS.2017.9"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Hartmut Ehrig, Ulrike Prange, and Gabriele Taentzer. \u201cFundamental Theory for Typed Attributed Graph Transformation\u201d. In: Graph Transformations. Ed. by Hartmut Ehrig et al. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer, 2004, pp. 161\u2013177. ISBN: 978-3-540-30203-2. DOI: 10.1007\/978-3-540-30203-2_13.","DOI":"10.1007\/978-3-540-30203-2_13"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Cindy Eisner et al. \u201cReasoning with Temporal Logic on Truncated Paths\u201d. In: Computer Aided Verification. Ed. byWarren A. Hunt and Fabio Somenzi. Berlin, Heidelberg: Springer, 2003, pp. 27\u201339. ISBN: 978-3-540-45069-6. DOI: 10.1007\/978-3-540-45069-6_3.","DOI":"10.1007\/978-3-540-45069-6_3"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Yli\u00e8s Falcone et al. \u201cA Taxonomy for Classifying Runtime Verification Tools\u201d. In: Int J Softw Tools Technol Transfer 23.2 (Apr. 1, 2021), pp. 255\u2013284. ISSN: 1433-2787. DOI: 10.1007\/s10009-021-00609-z.","DOI":"10.1007\/s10009-021-00609-z"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Robert France and Bernhard Rumpe. \u201cModel-Driven Development of Complex Software: A Research Roadmap\u201d. In: Future of Software Engineering (FOSE \u201907). May 2007, pp. 37\u201354. DOI: 10.1109\/FOSE.2007.14.","DOI":"10.1109\/FOSE.2007.14"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Antonio Garc\u00eda-Dom\u00ednguez et al. \u201cQuerying and Annotating Model Histories with Time-Aware Patterns\u201d. In: 2019 ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS). Sept. 2019, pp. 194\u2013204. DOI: 10.1109\/MODELS.2019.000-2.","DOI":"10.1109\/MODELS.2019.000-2"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"Sona Ghahremani, Holger Giese, and Thomas Vogel. \u201cImproving Scalability and Reward of Utility-Driven Self-Healing for Large Dynamic Architectures\u201d. In: ACM Trans. Auton. Adapt. Syst. 14.3 (Feb. 25, 2020), 12:1\u201312:41. ISSN: 1556-4665. DOI: 10.1145\/3380965.","DOI":"10.1145\/3380965"},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"Holger Giese et al. \u201cMetric Temporal Graph Logic over Typed Attributed Graphs\u201d. In: Fundamental Approaches to Software Engineering. Ed. by Reiner H\u00e4hnle and Wil van der Aalst. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2019, pp. 282\u2013298. ISBN: 978-3-030-16722-6. DOI: 10.1007\/978-3-030-16722-6_16.","DOI":"10.1007\/978-3-030-16722-6_16"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Annegret Habel and Karl-Heinz Pennemann. \u201cCorrectness of High-Level Transformation Systems Relative to Nested Conditions\u201d. In: Mathematical Structures in Computer Science 19.2 (Apr. 2009), pp. 245\u2013296. ISSN: 1469-8072, 0960-1295. DOI: 10.1017\/S0960129508007202.","DOI":"10.1017\/S0960129508007202"},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"E. N. Hanson, S. Bodagala, and U. Chadaga. \u201cTrigger Condition Testing and View Maintenance Using Optimized Discrimination Networks\u201d. In: IEEE Transactions on Knowledge and Data Engineering 14.2 (Mar. 2002), pp. 261\u2013280. ISSN: 1558-2191. DOI: 10.1109\/69.991716.","DOI":"10.1109\/69.991716"},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"Klaus Havelund, Moran Omer, and Doron Peled. \u201cMonitoring First-Order Interval Logic\u201d. In: Software Engineering and Formal Methods. Ed. by Radu Calinescu and Corina S. P\u0103s\u0103reanu. Cham: Springer International Publishing, 2021, pp. 66\u201383. ISBN: 978-3-030-92124-8. DOI: 10.1007\/978-3-030-92124-8_4.","DOI":"10.1007\/978-3-030-92124-8_4"},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"Klaus Havelund and Doron Peled. \u201cBDDs for Representing Data in Runtime Verification\u201d. In: Runtime Verification. Ed. by Jyotirmoy Deshmukh and Dejan Ni\u010dkovi\u0107. Vol. 12399. Cham: Springer International Publishing, 2020, pp. 107\u2013128. ISBN: 978-3-030-60508-7. DOI: 10.1007\/978-3-030-60508-7_6.","DOI":"10.1007\/978-3-030-60508-7_6"},{"key":"2_CR31","doi-asserted-by":"crossref","unstructured":"Klaus Havelund and Doron Peled. \u201cFirst-Order Timed Runtime Verification Using BDDs\u201d. In: Automated Technology for Verification and Analysis. Ed. by Dang Van Hung and Oleg Sokolsky. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2020, pp. 3\u201324. ISBN: 978-3-030-59152-6. DOI: 10.1007\/978-3-030-59152-6_1.","DOI":"10.1007\/978-3-030-59152-6_1"},{"key":"2_CR32","doi-asserted-by":"crossref","unstructured":"Klaus Havelund and Doron Peled. \u201cRuntime Verification: From Propositional to First-Order Temporal Logic\u201d. In: Runtime Verification. Ed. by Christian Colombo and Martin Leucker. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2018, pp. 90\u2013112. ISBN: 978-3-030-03769-7. DOI: 10.1007\/978-3-030-03769-7_7.","DOI":"10.1007\/978-3-030-03769-7_7"},{"key":"2_CR33","doi-asserted-by":"crossref","unstructured":"Klaus Havelund et al. \u201cMonitoring Events That Carry Data\u201d. In: Lectures on Runtime Verification: Introductory and Advanced Topics. Ed. by Ezio Bartocci and Yli\u00e8s Falcone. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2018, pp. 61\u2013102. ISBN: 978-3-319-75632-5. DOI: 10.1007\/978-3-319-75632-5_3.","DOI":"10.1007\/978-3-319-75632-5_3"},{"key":"2_CR34","doi-asserted-by":"crossref","unstructured":"Kerianne L. Hobbs et al. \u201cRuntime Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems\u201d. In: IEEE Control Syst. 43.2 (Apr. 2023), pp. 28\u201365. ISSN: 1066-033X, 1941-000X. DOI: 10.1109\/MCS.2023.3234380.","DOI":"10.1109\/MCS.2023.3234380"},{"key":"2_CR35","doi-asserted-by":"crossref","unstructured":"Ron Koymans. \u201cSpecifying Real-Time Properties with Metric Temporal Logic\u201d. In: Real-Time Syst 2.4 (Nov. 1, 1990), pp. 255\u2013299. ISSN: 1573-1383. DOI: 10.1007\/BF01995674.","DOI":"10.1007\/BF01995674"},{"key":"2_CR36","doi-asserted-by":"crossref","unstructured":"Christian Krause et al. \u201cAn SQL-Based Query Language and Engine for Graph Pattern Matching\u201d. In: Graph Transformation. Ed. by Rachid Echahed and Mark Minas. Vol. 9761. Cham: Springer International Publishing, 2016, pp. 153\u2013169. isbn: 978-3-319-40530-8. 10.1007\/978-3-319-40530-8_10.","DOI":"10.1007\/978-3-319-40530-8_10"},{"key":"2_CR37","doi-asserted-by":"crossref","unstructured":"F. Laroussinie, N. Markey, and P. Schnoebelen. \u201cTemporal Logic with Forgettable Past\u201d. In: Proceedings 17th Annual IEEE Symposium on Logic in Computer Science. July 2002, pp. 383\u2013392. DOI: 10.1109\/LICS.2002.1029846.","DOI":"10.1109\/LICS.2002.1029846"},{"key":"2_CR38","doi-asserted-by":"crossref","unstructured":"Oded Maler and Dejan Ni\u010dkovi\u0107. \u201cMonitoring Properties of Analog and Mixed-Signal Circuits\u201d. In: Int J Softw Tools Technol Transfer 15.3 (June 1, 2013), pp. 247\u2013268. ISSN: 1433-2787. DOI: 10.1007\/s10009-012-0247-9.","DOI":"10.1007\/s10009-012-0247-9"},{"key":"2_CR39","unstructured":"Felix Mannhardt and Daan Blinde. \u201cAnalyzing the Trajectories of Patients with Sepsis Using Process Mining\u201d. In: RADAR+EMISA@CAiSE, Essen, Germany, June 12-13, 2017. Ed. by Jens Gulden et al. Vol. 1859. CEUR Workshop Proceedings. CEUR-WS.org, 2017, pp. 72\u201380. URL: http:\/\/ceurws.org\/Vol-1859\/bpmds-08-paper.pdf."},{"key":"2_CR40","doi-asserted-by":"crossref","unstructured":"Diego Marmsoler and Ana Petrovska. \u201cRuntime Verification for Dynamic Architectures\u201d. In: Journal of Logical and Algebraic Methods in Programming 118 (Jan. 1, 2021), p. 100618. ISSN: 2352-2208. DOI: 10.1016\/j.jlamp.2020.100618.","DOI":"10.1016\/j.jlamp.2020.100618"},{"key":"2_CR41","doi-asserted-by":"crossref","unstructured":"Ramon E. Moore, R. Baker Kearfott, and Michael J. Cloud. Introduction to Interval Analysis. Society for Industrial and Applied Mathematics, Jan. 2009. ISBN: 978-0-89871-771-6. DOI: 10.1137\/1.9780898717716.","DOI":"10.1137\/1.9780898717716"},{"key":"2_CR42","doi-asserted-by":"publisher","unstructured":"Doron Peled and Klaus Havelund. \u201cRefining the Safety\u2013Liveness Classification of Temporal Properties According to Monitorability\u201d. In: Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday. Ed. by Tiziana Margaria, Susanne Graf, and Kim G. Larsen. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2019, pp. 218\u2013234. ISBN: 978-3-030-22348-9. URL: https:\/\/doi.org\/10.1007\/978-3-030-22348-9_14.","DOI":"10.1007\/978-3-030-22348-9_14"},{"key":"2_CR43","doi-asserted-by":"crossref","unstructured":"Giles Reger and David Rydeheard. \u201cFrom First-order Temporal Logic to Parametric Trace Slicing\u201d. In: Runtime Verification. Ed. by Ezio Bartocci and Rupak Majumdar. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2015, pp. 216\u2013232. ISBN: 978-3-319-23820-3. DOI: 10.1007\/978-3-319-23820-3_14.","DOI":"10.1007\/978-3-319-23820-3_14"},{"key":"2_CR44","doi-asserted-by":"crossref","unstructured":"Arend Rensink. \u201cRepresenting First-Order Logic Using Graphs\u201d. In: Graph Transformations. Ed. by Hartmut Ehrig et al. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer, 2004, pp. 319\u2013335. ISBN: 978-3-540-30203-2. DOI: 10.1007\/978-3-540-30203-2_23.","DOI":"10.1007\/978-3-540-30203-2_23"},{"key":"2_CR45","doi-asserted-by":"crossref","unstructured":"Patrice C Roy, Samina Raza Abidi, and Syed Sibte Raza Abidi. \u201cMonitoring Medication Adherence in Smart Environments in the Context of Patient Self-Management: A Knowledge-Driven Approach\u201d. In: Smart Technologies in Healthcare. CRC Press, 2017, pp. 195\u2013223. ISBN: 978-1-315-14568-6. DOI: 10.1201\/9781315145686-8.","DOI":"10.1201\/9781315145686-9"},{"key":"2_CR46","doi-asserted-by":"crossref","unstructured":"John Rushby. \u201cCritical System Properties: Survey and Taxonomy\u201d. In: Reliability Engineering & System Safety. Special Issue on Software Safety 43.2 (Jan. 1, 1994), pp. 189\u2013219. ISSN: 0951-8320. DOI: 10.1016\/0951-8320(94)90065-5.","DOI":"10.1016\/0951-8320(94)90065-5"},{"key":"2_CR47","unstructured":"Lucas Sakizloglou. \u201cEvaluating Temporal Queries over History-Aware Architectural Runtime Models\u201d. PhD thesis. Universit\u00e4t Potsdam, 2023. DOI: 10.25932\/publishup-60439."},{"key":"2_CR48","doi-asserted-by":"crossref","unstructured":"Lucas Sakizloglou, Matthias Barkowsky, and Holger Giese. \u201cKeeping Pace with the History of Evolving Runtime Models\u201d. In: Fundamental Approaches to Software Engineering. Ed. by Esther Guerra and Mari\u00eblle Stoelinga. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2021, pp. 262\u2013268. ISBN: 978-3-030-71500-7. DOI: 10.1007\/978-3-030-71500-7_13.","DOI":"10.1007\/978-3-030-71500-7_13"},{"key":"2_CR49","doi-asserted-by":"crossref","unstructured":"Lucas Sakizloglou et al. \u201cIncremental Execution of Temporal Graph Queries over Runtime Models with History and Its Applications\u201d. In: Softw Syst Model 21.5 (Oct. 1, 2022), pp. 1789\u20131829. ISSN: 1619\u20131374. DOI: 10.1007\/s10270-021-00950-6.","DOI":"10.1007\/s10270-021-00950-6"},{"key":"2_CR50","doi-asserted-by":"crossref","unstructured":"Sven Schneider et al. \u201cFormal Testing of Timed Graph Transformation Systems Using Metric Temporal Graph Logic\u201d. In: Int J Softw Tools Technol Transfer 23.3 (June 2021), pp. 411\u2013488. ISSN: 1433-2779, 1433-2787. DOI: 10.1007\/s10009-020-00585-w.","DOI":"10.1007\/s10009-020-00585-w"},{"key":"2_CR51","doi-asserted-by":"crossref","unstructured":"Sven Schneider et al. \u201cOptimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic\u201d. In: Graph Transformation. Ed. by Fabio Gadducci and Timo Kehrer. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2020, pp. 276\u2013294. ISBN: 978-3-030-51372-6. DOI: 10.1007\/978-3-030-51372-6_16.","DOI":"10.1007\/978-3-030-51372-6_16"},{"key":"2_CR52","doi-asserted-by":"crossref","unstructured":"Michael Szvetits and Uwe Zdun. \u201cSystematic Literature Review of the Objectives, Techniques, Kinds, and Architectures of Models at Runtime\u201d. In: Softw Syst Model 15.1 (Feb. 1, 2016), pp. 31\u201369. ISSN: 1619-1374. DOI: 10.1007\/s10270-013-0394-9.","DOI":"10.1007\/s10270-013-0394-9"},{"key":"2_CR53","doi-asserted-by":"crossref","unstructured":"Gabriele Taentzer and Arend Rensink. \u201cEnsuring Structural Constraints in Graph-Based Models with Type Inheritance\u201d. In: Fundamental Approaches to Software Engineering. Ed. by Maura Cerioli. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer, 2005, pp. 64\u201379. ISBN: 978-3-540-31984-9. DOI: 10.1007\/978-3-540-31984-9_6.","DOI":"10.1007\/978-3-540-31984-9_6"},{"key":"2_CR54","doi-asserted-by":"crossref","unstructured":"D\u00e1niel Varr\u00f3 et al. \u201cRoad to a Reactive and Incremental Model Transformation Platform: Three Generations of the Viatra Framework\u201d. In: Softw Syst Model 15.3 (July 1, 2016), pp. 609\u2013629. ISSN: 1619-1374. DOI: 10.1007\/s10270-016-0530-4.","DOI":"10.1007\/s10270-016-0530-4"},{"key":"2_CR55","doi-asserted-by":"crossref","unstructured":"Danny Weyns and Radu Calinescu. \u201cTele Assistance: A Self-Adaptive Service-Based System Exemplar\u201d. In: 2015 IEEE\/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. May 2015, pp. 88\u201392. DOI: 10.1109\/SEAMS.2015.27.","DOI":"10.1109\/SEAMS.2015.27"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-57259-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,5]],"date-time":"2024-04-05T13:02:24Z","timestamp":1712322144000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-57259-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031572586","9783031572593"],"references-count":55,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-57259-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"6 April 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FASE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Fundamental Approaches to Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Luxembourg City","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Luxembourg","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 April 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 April 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fase2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/etaps.org\/2024\/conferences\/fase\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"41","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"14","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"34% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3-4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}