需求建模工具 — 软件工程选择题

某团队使用UML建模工具为在线图书馆系统建模：已建立类图，其中类“读者”与类“借阅记录”之间定义了一对多的关联；随后又在用例图中建立了用例“归还图书”与“记录归还”之间的«include»关系。建模过程中甲误将关联一端的多重性设为“1..1”，乙则在用例图中漏画了“记录归还”用例。若要求工具在保存模型时自动发现上述两类问题，该建模工具必须同时具备的核心机制是（　　） A. 模型元素库（持久化存储模型元素及其关系）与基于模型库的一致性/完整性检查规则 B. 图形渲染引擎与图形模板库 C. 版本管理服务器与差异比对算法 D. 代码自动生成器与反向工程解析器