papersTODAY 04:00 UTC
Conformance-Driven Iterative Refinement for Natural-Language to SysMLv2 Translation
A new arXiv paper proposes a method for converting natural-language specifications into SysMLv2, the textual modeling language standardized for model-based systems engineering. The approach refines candidate translations iteratively, using conformance checks to guide corrections. It aims to lower the barrier to producing formal system models that capture requirements, structure, and behavior.