Abstract: Model-Driven Architecture (MDA) addresses software complexity by raising abstraction levels and automation. However, traditional MDA faces challenges in practice such as "round-trip engineering" and the "fat model" problem. Solutions to these issues often rely on engineering experience, lacking the guidance of a complete mathematical...