mlsanityData to 14 Oct 2026

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement

arXiv 2607.14162 ↗First posted 14 Jul 2026cs.SE cs.AIcited by 0

Not on the map. Why?

Abstract (arXiv)

Model-Based Systems Engineering (MBSE) relies on formal system models as primary technical artifacts for representing requirements, structure, and behavior across the system lifecycle. With the standardization of SysMLv2 as a textual language, interest is increasing in translating natural-language descriptions directly into executable models. For practical deployment, generated models must be accepted by industrial modeling environments, not merely satisfy grammar constraints. We present a conformance-checker-driven framework for reliable natural-language-to-SysMLv2 translation that enforces production-level acceptance as the termination condition. The system embeds a SysMLv2 conformance checker within a generate-check-repair loop. Each model is evaluated using the checker, and deterministic diagnostics are incorporated into revisions until zero conformance errors are achieved. Using the production checker as the oracle ensures the framework targets deployability rather than grammar plausibility. We evaluate the approach on the full SysMBench prompt set of 151 prompts across four large language model backends, yielding 604 prompt-model cases. Single-shot generation achieves 51.16% production-conformance acceptance, while our approach achieves 100.00% conformance. By elevating production conformance from a post-processing check to a control mechanism within generation, the framework converts probabilistic outputs into production-accepted SysMLv2 artifacts suitable for loading, visualization, and engineering use.

Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 16 of its 59 references that are in the map. First posted on arXiv 14 Jul 2026.

Builds on

16 of 59 references.

References · 16

  1. 2023The Impact of AI on Developer Productivity: Evidence from GitHub Copilotcited by 274
  2. 2023Grammar-Constrained Decoding for Structured NLP Tasks without Finetuningcited by 197
  3. 2024Grammar-Aligned Decodingcited by 54
  4. 2022Compilable Neural Code Generation with Compiler Feedbackcited by 47
  5. 2024VeCoGen: Automating Generation of Formally Verified C Code with Large Language Modelscited by 10
  6. 2024Compiler generated feedback for Large Language Modelscited by 9
  7. 2024Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localizationcited by 8
  8. 2026LLMLOOP: Improving LLM-Generated Code and Tests through Automated Iterative Feedback Loopscited by 8
  9. 2025Trust at Your Own Peril: A Mixed Methods Exploration of the Ability of Large Language Models to Generate Expert-Like Systems Engineering Artifacts and a Characterization of Failure Modescited by 5
  10. 2015Average Convergence Rate of Evolutionary Algorithmscited by 4
  11. 2025A System Model Generation Benchmark from Natural Language Requirementscited by 4
  12. 2025LLM-Assisted Semantic Alignment and Integration in Collaborative Model-Based Systems Engineering Using SysML v2cited by 4
4 more
  1. 2025Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Language diagramscited by 3
  2. 2022Natural Language Processing for Systems Engineering: Automatic Generation of Systems Modelling Language Diagramscited by 2
  3. 2025SysTemp: A Multi-Agent System for Template-Based Generation of SysML v2cited by 2
  4. 2020Intelligent requirements engineering from natural language and their chaining toward CAD modelscited by 1

Built on by

Not cited yet.