Please use this identifier to cite or link to this item: http://bura.brunel.ac.uk/handle/2438/31658
Title: Reversed Model Verification by Inferring Conceptual Models from Simulation Code
Authors: Neykova, R
Groen, D
Keywords: conceptual model;LLM;inference
Issue Date: 6-Jul-2025
Publisher: Springer Nature
Citation: Neykova, R. and Groen, D. (2025) 'Reversed Model Verification by Inferring Conceptual Models from Simulation Code', in M.H. Lees et al. Computational Science – ICCS 2025. (Lecture Notes in Computer Science, vol. 15906 LNCS). Cham: Springer, pp. 361 - 368. doi: 10.1007/978-3-031-97635-3_43.
Series/Report no.: Lecture Notes in Computer Science;vol. 15906
Abstract: Extracting high-level conceptual models from simulation code can benefit model validation and verification, system optimisation, and cross-disciplinary communication. However, conceptual models are often embedded within implementation details, making them difficult to access and interpret. This paper explores the feasibility of using Large Language Models (LLMs) to infer conceptual models from simulation code. We conduct a preliminary investigation on an agent-based simulation (Flee), demonstrating how LLMs can extract key structural, behavioural, and temporal elements. Our results suggest that LLMs can generate meaningful conceptual representations that align with expert-created models, offering potential support for model verification. However, we also identify limitations such as omissions and misinterpretations, highlighting the need for human oversight. While our study is based on a single example, it provides initial insights into the role of LLMs in conceptual model inference and their potential integration into simulation validation workflows.
URI: https://bura.brunel.ac.uk/handle/2438/31658
DOI: https://doi.org/10.1007/978-3-031-97635-3_43
ISBN: 978-3-031-97634-6 (pbk)
978-3-031-97635-3 (ebk)
ISSN: 0302-9743
Other Identifiers: ORCiD: Rumyana Neykova https://orcid.org/0000-0002-2755-7728
ORCiD: Derek Groen https://orcid.org/0000-0001-7463-3765
Chapter 43
Appears in Collections:Dept of Computer Science Embargoed Research Papers

Files in This Item:
File Description SizeFormat 
FullText.pdfEmbargoed until 6 July 2026. Copyright © 2025 The Author(s), under exclusive license to Springer Nature Switzerland AG. This is a pre-copyedited, author-produced version of a book chapter accepted for publication in Computational Science – ICCS 2025, following peer review. The final authenticated version is available online at https://doi.org/10.1007/978-3-031-97635-3_43 (see: https://www.springernature.com/gp/open-research/policies/book-policies).2.42 MBAdobe PDFView/Open


Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.