[2510.25890] ATLAS: A Layered Constraint-Guided Framework for Structured Artifact Generation in LLM-Assisted MDE

Computer Science > Software Engineering arXiv:2510.25890 (cs) [Submitted on 29 Oct 2025 (v1), last revised 5 Apr 2026 (this version, v3)] Title:ATLAS: A Layered Constraint-Guided Framework for Structured Artifact Generation in LLM-Assisted MDE Authors:Tong Ma, Hui Lai, Hui Wang, Zhenhu Tian, Chaochao Li, Fengjie Xu, Ling Fang View a PDF of the paper titled ATLAS: A Layered Constraint-Guided Framework for Structured Artifact Generation in LLM-Assisted MDE, by Tong Ma and 5 other authors View PDF HTML (experimental) Abstract:ATLAS is a constraint-guided generation framework for structured engineering artifacts whose outputs must satisfy explicit schemas, domain rules, and audit requirements. Rather than treating a large language model as a standalone generator, ATLAS places generation inside a model-driven workflow that separates domain representation, constraint compilation, and post-generation validation. ATLAS combines three components. A metamodel-integration stage builds a typed representation of domain entities and relations; in this study, it operates over authoritative AUTOSAR meta-model assets. An Integrated Constraint Model (ICM) compiles heterogeneous requirements into two operational layers: generation-time structural constraints and post-generation semantic/logical obligations. Constraint-Guided, Validation-Backed Generation (CVG) then combines Layer~1 constrained decoding, Layer~2 backend validation, and audit-guided repair. In the AUTOSAR instantiation, these ...