知识卡片
活动规范：前置后置条件串联视图
内容
活动规范是与功能场景平行的第三种串联视图方法，用前置条件/后置条件精确定义一个活动（如借书 check_out_copy：前置”副本未下架且未被借出”，后置”生成新借阅记录并关联出库/入库/到期日”）。写活动规范能限制模型只包含规范要求的细节（如无需建模购书时间），但耗时昂贵，不建议不加选择地滥用；其价值在于培养”是否已定义满足前后置条件所需条款”的建模直觉。
参考来源
- 位置：《恰如其分的软件架构》第15章《使用架构模型》15.3.3节《编写活动规范》（源文件：_epub-src/OEBPS/text00162.html）
- 结论依据：原文以check_out_copy借书活动为例说明前置/后置条件如何精确定义活动、限制模型细节范围，并指出活动规范昂贵、不鼓励滥用，但能培养建模直觉。
- 原始内容：void check_out_copy (Copy c, Borrower b) 前置条件：c没有下架，c当前没有借出 后置条件：new Loan l, 连接到b和c……你可以用活动规范来限制模型的规模，让模型只包含活动规范中要求的细节。……编写活动规范是需要花时间的，也是比较昂贵的，所以，本书不鼓励你不加选择地在模型中使用它们。