Round-trip Engineering for Tactical DDD: A Constraint-Based Vision for the Masses. - Weixing Zhang; Mario Herb; Martin Armbruster; Bowen Jiang; Marcel Vielsack; Anne Koziolek (CoRR, 2026)