知识卡片
用具体实例快照检验模型缺陷
内容
一个抽象的领域模型（如”艺术家创作歌曲，歌曲收录进专辑”）单看结构往往找不出问题，因为逻辑自洽；真正暴露缺陷的方法是选一个复杂、有代表性的具体实例，套进模型生成一份”快照”，看能否完整表达真实关系。案例选音乐人Prince做压力测试——他既是个人艺术家又是乐队成员，还用过多个艺名——填充模型后立刻暴露出模型无法表达”从属关系”“艺名”，这在只看抽象定义时看不出来。
参考来源
- 位置：《恰如其分的软件架构》第4章《实例：家庭媒体播放器》4.3.2节《我们的模型和互联网模型》（源文件：_epub-src/OEBPS/text00045.html）
- 结论依据：原文说明"由于很难通过通用模型去发现问题，因而从领域中选择了一个具体的例子来检测它"，并用Prince及其乐队关系、别名信息暴露出原模型无法表达这些关系的缺陷。
- 原始内容：由于很难通过通用模型去发现问题，因而从领域中选择了一个具体的例子来检测它。我们选择了一位知名的艺术家Prince，他的音乐可以考验我们的模型，揭示领域的复杂性……艺术家Prince是Prince and the Revolution乐队的一员，而模型却未能体现这一事实。