{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T00:22:09Z","timestamp":1760487729081,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":61,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032086198","type":"print"},{"value":"9783032086204","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T00:00:00Z","timestamp":1760486400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T00:00:00Z","timestamp":1760486400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-08620-4_9","type":"book-chapter","created":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T04:51:14Z","timestamp":1760417474000},"page":"137-156","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["From ConOps to\u00a0an\u00a0Operational Domain Model: Harnessing LLMs for\u00a0Conceptual Model Design"],"prefix":"10.1007","author":[{"given":"Siddhartha","family":"Gupta","sequence":"first","affiliation":[]},{"given":"Sarmad","family":"Rezayat","sequence":"additional","affiliation":[]},{"given":"Gerrit","family":"Burmester","sequence":"additional","affiliation":[]},{"given":"Umut","family":"Durak","sequence":"additional","affiliation":[]},{"given":"Hui","family":"Ma","sequence":"additional","affiliation":[]},{"given":"Sven","family":"Hartmann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,10,15]]},"reference":[{"key":"9_CR1","doi-asserted-by":"publisher","unstructured":"IEEE Standard for Conceptual Modeling Language Syntax and Semantics for System and Software Engineering (1998). https:\/\/doi.org\/10.1109\/IEEESTD.1998.89478, iEEE Std 1362-1998","DOI":"10.1109\/IEEESTD.1998.89478"},{"key":"9_CR2","first-page":"58077","volume":"37","author":"Y Abbasi Yadkori","year":"2024","unstructured":"Abbasi Yadkori, Y., Kuzborskij, I., Gy\u00f6rgy, A., Szepesvari, C.: To believe or not to believe your LLM: iterative prompting for estimating epistemic uncertainty. Adv. Neural Inform. Process. Syst. (NIPS) 37, 58077\u201358117 (2024)","journal-title":"Adv. Neural Inform. Process. Syst. (NIPS)"},{"key":"9_CR3","unstructured":"Allamanis, M., Panthaplackel, S., Yin, P.: Unsupervised evaluation of code llms with round-trip correctness. arXiv preprint arXiv:2402.08699 (2024)"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3453444","volume":"54","author":"R Ashmore","year":"2021","unstructured":"Ashmore, R., Calinescu, R., Paterson, C.: Assuring the machine learning lifecycle: desiderata, methods, and challenges. ACM Comput. Surv. 54, 1\u201339 (2021)","journal-title":"ACM Comput. Surv."},{"issue":"1","key":"9_CR5","first-page":"96","volume":"12","author":"J Bowen","year":"1986","unstructured":"Bowen, J.: Safety-critical systems, formal methods, and standards. Softw. Eng. J. 12(1), 96\u2013109 (1986)","journal-title":"Softw. Eng. J."},{"key":"9_CR6","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2024.102324","volume":"152","author":"R Buchmann","year":"2024","unstructured":"Buchmann, R., et al.: Large language models: expectations for semantics-driven systems engineering. Data Knowl. Eng. 152, 102324 (2024)","journal-title":"Data Knowl. Eng."},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Carlander, D., Okada, K., Engstr\u00f6m, H., Kurabayashi, S.: Controlled chain of thought: Eliciting role-play understanding in LLM through prompts. In: IEEE Conference on Games (CoG), pp.\u00a01\u20134 (2024)","DOI":"10.1109\/CoG60054.2024.10645667"},{"key":"9_CR8","unstructured":"Chavan, A., Liu, Z., Gupta, D., Xing, E., Shen, Z.: One-for-all: Generalized lora for parameter-efficient fine-tuning. arXiv preprint arXiv:2306.07967 (2023)"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Chen, K., Yang, Y., Chen, B., L\u00f3pez, J.A.H., Mussbacher, G., Varr\u00f3, D.: Automated domain modeling with large language models: A comparative study. In: ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 162\u2013172 (2023)","DOI":"10.1109\/MODELS58315.2023.00037"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Devino, M., Ju, E., Caldeira\u00a0Junior, P.M.: Designing and implementing LLM guardrails components in production environments. In: IEEE\/ACM International Conference on AI Engineering \u2013 Software Engineering for AI (CAIN), pp. 12\u201317 (2025)","DOI":"10.1109\/CAIN66642.2025.00010"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Dong, G., Zhu, Y., Zhang, C., Wang, Z., Wen, J.R., Dou, Z.: Understand what LLM needs: Dual preference alignment for retrieval-augmented generation. In: Proceedings of the ACM on Web Conference, pp. 4206\u20134225 (2025)","DOI":"10.1145\/3696410.3714717"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Douthwaite, M., Kelly, T.: Establishing verification and validation objectives for safety-critical bayesian networks. In: IEEE International Symposium on Software Reliability Engineering (ISSRE) workshops, pp. 302\u2013309 (2017)","DOI":"10.1109\/ISSREW.2017.60"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Durak, U., Jafer, S., Wittman, R., Mittal, S., Hartmann, S., Zeigler, B.P.: Computational representation for a simulation scenario definition language. In: AIAA Modeling and Simulation Technologies Conference, p.\u00a01398 (2018)","DOI":"10.2514\/6.2018-1398"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Durak, U., Pruter, I., Gerlach, T., Jafer, S., Pawletta, T., Hartmann, S.: Using system entity structures to model the elements of a scenario in a research flight simulator. In: AIAA Modeling and Simulation Technologies Conference, p.\u00a01076 (2017)","DOI":"10.2514\/6.2017-1076"},{"key":"9_CR15","unstructured":"EASA: Artificial Intelligence Roadmap: A human-centric approach to AI in aviation. Tech. rep. (2020). https:\/\/www.easa.europa.eu\/en\/downloads\/109668\/en"},{"key":"9_CR16","unstructured":"EASA: Concept Paper First Usable Guidance for Level 1 Machine Learning Applications (2021)"},{"key":"9_CR17","unstructured":"EASA: EASA Concept Paper: Guidance for Level 1 & 2 Machine Learning Applications. Tech. rep. (2024). https:\/\/www.easa.europa.eu\/en\/downloads\/139504\/en"},{"key":"9_CR18","unstructured":"Feng, X., Wu, X., Meng, H.: Ontology-grounded automatic knowledge graph construction by LLM under wikidata schema. arXiv preprint arXiv:2412.20942 (2024)"},{"key":"9_CR19","unstructured":"Finlayson, M., Hewitt, J., Koller, A., Swayamdipta, S., Sabharwal, A.: Closing the curious case of neural text degeneration. arXiv preprint arXiv:2310.01693 (2023)"},{"key":"9_CR20","unstructured":"Fleming, C.H.: Safety-driven early concept analysis and development. Ph.D. thesis, MIT (2015)"},{"key":"9_CR21","unstructured":"Graydon, M.S., Lehman, S.M.: Examining proposed uses of LLMs to produce or assess assurance arguments. Technical Memorandum NASA\/TM\u201320250001849, NASA (2025)"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Grayson, M., Patterson, C., Goldstein, B., Ivanov, S., Davidson, M.: Mitigating hallucinations in large language models using a channel-aware domain-adaptive generative adversarial network (cadagan) (2024)","DOI":"10.21203\/rs.3.rs-5164079\/v1"},{"key":"9_CR23","unstructured":"Gupta, S., Durak, U.: Behavioural modeling for scenario-based testing in aviation. In: AIAA SCITECH Forum, p.\u00a02589 (2023)"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Gupta, S., Durak, U., Ellis, O., Torens, C.: From operational scenarios to synthetic data: simulation-based data generation for ai-based airborne systems. In: AIAA SCITECH Forum, p.\u00a02103 (2022)","DOI":"10.2514\/6.2022-2103"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Gupta, S., Sprockhoff, J., Durak, U.: Scenario coverage of operational design domain for ai-based systems in aviation. In: AIAA SCITECH Forum, p.\u00a02326 (2025)","DOI":"10.2514\/6.2025-2326"},{"key":"9_CR26","unstructured":"Han, Z., Gao, C., Liu, J., Zhang, J., Zhang, S.Q.: Parameter-efficient fine-tuning for large models: A comprehensive survey. arXiv preprint arXiv:2403.14608 (2024)"},{"key":"9_CR27","first-page":"1","volume":"43","author":"L Huang","year":"2025","unstructured":"Huang, L., et al.: A survey on hallucination in large language models: principles, taxonomy, challenges, and open questions. ACM Trans. Inform. Syst. 43, 1\u201355 (2025)","journal-title":"ACM Trans. Inform. Syst."},{"key":"9_CR28","unstructured":"Kapurch, S.J.: NASA Systems Engineering Handbook. Diane Publishing (2010)"},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"Kathiresan, G.: Human-in-the-loop testing for llm-integrated software: A quality engineering framework for trust and safety. Authorea Preprints (2025)","DOI":"10.36227\/techrxiv.174702077.78864934\/v1"},{"key":"9_CR30","doi-asserted-by":"publisher","first-page":"1013","DOI":"10.1109\/21.59966","volume":"20","author":"TG Kim","year":"1990","unstructured":"Kim, T.G., Lee, C., Christensen, E.R., Zeigler, B.P.: System entity structuring and model base management. IEEE Trans. Syst. Man Cybern. 20, 1013\u20131024 (1990)","journal-title":"IEEE Trans. Syst. Man Cybern."},{"key":"9_CR31","doi-asserted-by":"crossref","unstructured":"Knight, J.C.: Safety critical systems: challenges and directions. In: IEEE\/ACM International Conference on Software Engineering (ICSE), pp. 547\u2013550 (2002)","DOI":"10.1109\/ICSE.2002.1007998"},{"key":"9_CR32","first-page":"22199","volume":"35","author":"T Kojima","year":"2022","unstructured":"Kojima, T., Gu, S.S., Reid, M., Matsuo, Y., Iwasawa, Y.: Large language models are zero-shot reasoners. Adv. Neural Inform. Process. Syst. (NIPS) 35, 22199\u201322213 (2022)","journal-title":"Adv. Neural Inform. Process. Syst. (NIPS)"},{"key":"9_CR33","doi-asserted-by":"crossref","unstructured":"Kouemo\u00a0Ngassom, S., Moradi\u00a0Dakhel, A., Tambon, F., Khomh, F.: Chain of targeted verification questions to improve the reliability of code generated by LLMs. In: ACM International Conference on AI-Powered Software, pp. 122\u2013130 (2024)","DOI":"10.1145\/3664646.3664772"},{"key":"9_CR34","doi-asserted-by":"crossref","unstructured":"Krishnamurthy, V., Balaji, V.: Yours truly: A credibility framework for effortless LLM-powered fact checking. IEEE Access (2024)","DOI":"10.1109\/ACCESS.2024.3520187"},{"key":"9_CR35","first-page":"1","volume":"55","author":"P Liu","year":"2023","unstructured":"Liu, P., Yuan, W., Fu, J., Jiang, Z., Hayashi, H., Neubig, G.: Pre-train, prompt, and predict: a systematic survey of prompting methods in natural language processing. ACM Comput. Surv. 55, 1\u201335 (2023)","journal-title":"ACM Comput. Surv."},{"key":"9_CR36","doi-asserted-by":"crossref","unstructured":"Ma, J., Hu, L., Li, R., Fu, W.: Local: logical and causal fact-checking with LLM-based multi-agents. In: ACM on Web Conference, pp. 1614\u20131625 (2025)","DOI":"10.1145\/3696410.3714748"},{"key":"9_CR37","doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B. (eds.): International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques (ISoLA). Springer (2016)","DOI":"10.1007\/978-3-319-47166-2"},{"key":"9_CR38","unstructured":"Pich\u00e9, A., Milios, A., Bahdanau, D., Pal, C.: Self-evaluation and self-prompting to improve the reliability of LLMs. In: ICLR Workshop on Secure and Trustworthy Large Language Models (2024)"},{"key":"9_CR39","first-page":"1","volume":"6","author":"S Priya","year":"2025","unstructured":"Priya, S., Karthika Renuka, D., Ashok Kumar, L.: Robust multi-dialect end-to-end asr model jointly with beam search threshold pruning and LLM. SN Comput. Sci. 6, 1\u201312 (2025)","journal-title":"SN Comput. Sci."},{"key":"9_CR40","unstructured":"Procko, T.T., Ochoa, O.: On the provenance of software systems: Automating software traceability with (2025)"},{"key":"9_CR41","doi-asserted-by":"publisher","unstructured":"Prokop, D., Stenchl\u00e1k, \u0160., \u0160koda, P., Kl\u00edmek, J., Ne\u010dask\u1ef3, M.: Enhancing domain modeling with pre-trained large language models: An automated assistant for domain modelers. In: International Conference on Conceptual Modeling (ER), pp. 235\u2013253. Springer (2024). https:\/\/doi.org\/10.1007\/978-3-031-75872-0_13","DOI":"10.1007\/978-3-031-75872-0_13"},{"key":"9_CR42","unstructured":"Rodriguez, M.L., Berasategui, J.A., Jeong, J.P.: Security policy generation for cloud-based security services using large language model. In: Proceedings of the Korean Institute of Communication Sciences Conference, pp. 272\u2013274 (2025)"},{"key":"9_CR43","doi-asserted-by":"publisher","unstructured":"Ronanki, K., Cabrero-Daniel, B., Horkoff, J., Berger, C.: Requirements engineering using generative ai: Prompts and prompting patterns. In: Generative AI for Effective Software Development, pp. 109\u2013127. Springer (2024). https:\/\/doi.org\/10.1007\/978-3-031-55642-5_5","DOI":"10.1007\/978-3-031-55642-5_5"},{"key":"9_CR44","unstructured":"SAE: Guidelines for Development of Civil Aircraft and Systems (2010). https:\/\/www.sae.org\/standards\/content\/arp4754A\/"},{"key":"9_CR45","unstructured":"SAE: Taxonomy and Definitions for Terms Related to Driving Automation Systems for On-Road Motor Vehicles (2021). https:\/\/www.sae.org\/standards\/content\/j3016_202104\/"},{"key":"9_CR46","unstructured":"SAE: Process Standard for Development and Certification of Aeronautical Safety-Related Products Implementing Artificial Intelligence (2025). https:\/\/www.sae.org\/standards\/content\/arp6983\/"},{"key":"9_CR47","unstructured":"Schietekat, S., De\u00a0Waal, A., Gopaul, K.G.: Validation & verification of a bayesian network model for aircraft vulnerability. INCOSE (2016)"},{"key":"9_CR48","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1186\/s12911-025-02954-4","volume":"25","author":"S Shool","year":"2025","unstructured":"Shool, S., Adimi, S., Saboori Amleshi, R., Bitaraf, E., Golpira, R., Tara, M.: A systematic review of large language model (LLM) evaluations in clinical medicine. BMC Med. Inform. Decis. Mak. 25, 117 (2025)","journal-title":"BMC Med. Inform. Decis. Mak."},{"key":"9_CR49","doi-asserted-by":"crossref","unstructured":"Sprockhoff, J., Gupta, S., Durak, U., Krueger, T.: Scenario-based synthetic data generation for an ai-based system using a flight simulator. In: AIAA SCITECH Forum, p.\u00a01462 (2024)","DOI":"10.2514\/6.2024-1462"},{"key":"9_CR50","doi-asserted-by":"crossref","unstructured":"Sprockhoff, J., et al.: Model-based systems engineering for ai-based systems. In: AIAA SCITECH Forum, p.\u00a02587 (2023)","DOI":"10.2514\/6.2023-2587"},{"key":"9_CR51","doi-asserted-by":"crossref","unstructured":"Sun, W., Shi, Z., Gao, S., Ren, P., de\u00a0Rijke, M., Ren, Z.: Contrastive learning reduces hallucination in conversations. In: AAAI Conference on Artificial Intelligence, pp. 13618\u201313626 (2023)","DOI":"10.1609\/aaai.v37i11.26596"},{"key":"9_CR52","doi-asserted-by":"crossref","unstructured":"Torens, C., Gupta, S., Roy, N., Sprockhoff, J., Durak, U.: From operational design domain to runtime monitoring of ai-based aviation systems. In: AIAA DATC\/IEEE Digital Avionics Systems Conference (DASC), pp.\u00a01\u20139 (2024)","DOI":"10.1109\/DASC62030.2024.10749267"},{"key":"9_CR53","doi-asserted-by":"publisher","first-page":"3511","DOI":"10.14778\/3681954.3682017","volume":"17","author":"I Trummer","year":"2024","unstructured":"Trummer, I.: Generating succinct descriptions of database schemata for cost-efficient prompting of large language models. Proc. VLDB Endowment 17, 3511\u20133523 (2024)","journal-title":"Proc. VLDB Endowment"},{"key":"9_CR54","unstructured":"Vaswani, A., et al.: Attention is all you need. In: Advances in Neural Information Processing Systems (NIPS), vol.\u00a030 (2017)"},{"key":"9_CR55","doi-asserted-by":"crossref","unstructured":"Wan, G., Wu, Y., Chen, J., Li, S.: Reasoning aware self-consistency: leveraging reasoning paths for efficient LLM sampling. In: Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers), pp. 3613\u20133635 (2025)","DOI":"10.18653\/v1\/2025.naacl-long.184"},{"issue":"2","key":"9_CR56","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1108\/IMDS-07-2021-0419","volume":"122","author":"Y Wang","year":"2022","unstructured":"Wang, Y., Chung, S.H.: Artificial intelligence in safety-critical systems: a systematic review. Indust. Manag. Data Syst. 122(2), 442\u2013470 (2022)","journal-title":"Indust. Manag. Data Syst."},{"key":"9_CR57","doi-asserted-by":"crossref","unstructured":"Wang, Z., Chu, Z., Doan, T.V., Ni, S., Yang, M., Zhang, W.: History, development, and principles of large language models: an introductory survey. In: AI and Ethics, pp. 1\u201317 (2024)","DOI":"10.1007\/s43681-024-00583-7"},{"key":"9_CR58","doi-asserted-by":"crossref","unstructured":"Yang, L., et al.: Aligning large language models with radiologists by reinforcement learning from AI feedback for chest ct reports. European J. Radiol., 111984 (2025)","DOI":"10.1016\/j.ejrad.2025.111984"},{"key":"9_CR59","doi-asserted-by":"crossref","unstructured":"Yang, Y., Tian, B., Yu, F., He, Y.: An anomaly detection model training method based on LLM knowledge distillation. In: International Conference on Networking and Network Applications (NaNA), pp. 472\u2013477 (2024)","DOI":"10.1109\/NaNA63151.2024.00084"},{"key":"9_CR60","doi-asserted-by":"crossref","unstructured":"Yao, Y., Duan, J., Xu, K., Cai, Y., Sun, Z., Zhang, Y.: A survey on large language model (LLM) security and privacy: the good, the bad, and the ugly. High-Confidence Comput., 100211 (2024)","DOI":"10.1016\/j.hcc.2024.100211"},{"key":"9_CR61","unstructured":"Zeigler, B.P.: Multifacetted modelling and discrete event simulation. Academic Press (1984)"}],"container-title":["Lecture Notes in Computer Science","Advances in Conceptual Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-08620-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T04:51:31Z","timestamp":1760417491000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-08620-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,15]]},"ISBN":["9783032086198","9783032086204"],"references-count":61,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-08620-4_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,15]]},"assertion":[{"value":"15 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ER","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Conceptual Modeling","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poitiers","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 October 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 October 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"44","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"er2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/er2025.ensma.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}