Transforming Natural Language Requirements to Formalism Using LLMs
Fuente:
Wiley Open Access
Gespeichert in:
| Hauptverfasser: | , , , , , , |
|---|---|
| Format: | Artículo Open Access |
| Veröffentlicht: |
Wiley
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1867014402208694272 |
|---|---|
| author | Baoluo Meng Robert Lorch Kit Siu Michael Durling Sarat Chandra Varanasi Saswata Paul Abha Moitra |
| author_facet | Baoluo Meng Robert Lorch Kit Siu Michael Durling Sarat Chandra Varanasi Saswata Paul Abha Moitra Baoluo Meng Robert Lorch Kit Siu Michael Durling Sarat Chandra Varanasi Saswata Paul Abha Moitra |
| collection | Wiley Open Access |
| contents | Transforming Natural Language Requirements to Formalism Using LLMs Baoluo Meng Robert Lorch Kit Siu Michael Durling Sarat Chandra Varanasi Saswata Paul Abha Moitra Systems Engineering ABSTRACT Logical formalism is the use of mathematical models, logical symbols and operators, and logical reasoning to express ideas precisely and unambiguously. Such precision is needed in systems engineering to avoid misunderstandings and misinterpretations. However, creating logical formalism requires a deep understanding of formal logics, making it inaccessible to individuals without specialized training. The complexity of logical formalism also makes it time‐consuming and costly to develop, thus acting as a barrier for practitioners seeking to apply formalism in their domains. To make formalism more approachable, we present, implement, and evaluate a large language model (LLM)–based approach to interactively translate unstructured natural language (NL) requirements to logical formalism. Our translation strategy employs a NL‐based interface that provides high assurance for translation correctness while still being approachable for nonexperts in formal methods. We demonstrate the effectiveness of our tool through an experimental evaluation of an industry use case—landing gear. 10.1002/sys.70023 http://onlinelibrary.wiley.com/termsAndConditions#am |
| doi_str_mv | 10.1002/sys.70023 |
| format | Artículo Open Access |
| id | wiley_oa_10_1002_sys_70023 |
| institution | Wiley Open Access |
| license_str_mv | http://onlinelibrary.wiley.com/termsAndConditions#am |
| publishDate | 2025 |
| publisher | Wiley |
| record_format | wiley_oa |
| spellingShingle | Transforming Natural Language Requirements to Formalism Using LLMs Baoluo Meng Robert Lorch Kit Siu Michael Durling Sarat Chandra Varanasi Saswata Paul Abha Moitra Systems Engineering Transforming Natural Language Requirements to Formalism Using LLMs Baoluo Meng Robert Lorch Kit Siu Michael Durling Sarat Chandra Varanasi Saswata Paul Abha Moitra Systems Engineering ABSTRACT Logical formalism is the use of mathematical models, logical symbols and operators, and logical reasoning to express ideas precisely and unambiguously. Such precision is needed in systems engineering to avoid misunderstandings and misinterpretations. However, creating logical formalism requires a deep understanding of formal logics, making it inaccessible to individuals without specialized training. The complexity of logical formalism also makes it time‐consuming and costly to develop, thus acting as a barrier for practitioners seeking to apply formalism in their domains. To make formalism more approachable, we present, implement, and evaluate a large language model (LLM)–based approach to interactively translate unstructured natural language (NL) requirements to logical formalism. Our translation strategy employs a NL‐based interface that provides high assurance for translation correctness while still being approachable for nonexperts in formal methods. We demonstrate the effectiveness of our tool through an experimental evaluation of an industry use case—landing gear. 10.1002/sys.70023 http://onlinelibrary.wiley.com/termsAndConditions#am |
| title | Transforming Natural Language Requirements to Formalism Using LLMs |
| topic | Systems Engineering |
| url | https://incose.onlinelibrary.wiley.com/doi/10.1002/sys.70023 |