领域建模

强制执行的领域建模协议。在设计数据模型、数据库架构或核心实体关系时调用，确保先定义不变量再编写代码，避免非法状态可表示。