在实现阶段，（）负责实现模型的完整性，并保证模型在整体上是正确的、一致的和可读的。