一句话：提出以 DDD 原生元模型、实时约束验证与模型-代码双向同步为核心的战术 DDD 建模环境愿景。
论文指出现有通用建模语言与战术 DDD（Tactical DDD）模式之间存在语义表达力鸿沟，导致设计意图与实现持续偏离，而战术 DDD 的落地又高度依赖专家持续监督。作者提出一个基于约束的战术建模环境愿景：其核心是 DDD 原生元模型，将战术模式提升为一等建模原语；配套实时约束验证引擎，在建模过程中即时阻止架构违规；并通过双向同步机制以往返工程（round-trip engineering）维持模型与代码的一致性。该方案把专家级架构知识直接固化进建模约束，旨在让小型团队和初级开发者也能构建复杂业务系统而不牺牲长期可维护性，从而把战术 DDD 从需要专家把关的精英实践转变为有工具支持验证的普及化工程学科。作为愿景论文，文中未给出实证评估。
Despite Domain-Driven Design's proven value in managing complex business logic, a fundamental semantic expressiveness gap persists between generic modeling languages and tactical DDD patterns, causing continuous divergence between design intent and implementation. We envision a constraint-based tactical modeling environment that transforms abstract architectural principles into explicit, tool-enforced engineering constraints. At its core is a DDD-native metamodel where tactical patterns are first-class modeling primitives, coupled with a real-time constraint verification engine that prevents architectural violations during modeling, and bidirectional synchronization mechanisms that maintain model-code consistency through round-trip engineering. This approach aims to democratize tactical DDD by embedding expert-level architectural knowledge directly into modeling constraints, enabling small teams and junior developers to build complex business systems without sacrificing long-term maintainability. By lowering the technical barriers to DDD adoption, we envision transforming tactical DDD from an elite practice requiring continuous expert oversight into an accessible engineering discipline with tool-supported verification.
DOI 原文 · arXiv · PDF（开放获取） · DBLP
@inproceedings{abs-2603-26987,
title = {Round-trip Engineering for Tactical DDD: A Constraint-Based Vision for the Masses},
author = {Weixing Zhang and Mario Herb and Martin Armbruster and Bowen Jiang and Marcel Vielsack and Anne Koziolek},
booktitle = {FSE},
year = {2026},
doi = {10.1145/3803437.3805566}
}