知识卡片
服务行为契约遵循契约式设计规定权利义务
内容
将服务视为行为时消费者与提供者构成方法调用（SOA概念模型需服务注册）。服务行为契约遵循契约式设计：前置条件是消费者义务（输入参数），后置条件是提供者义务（返回保证），二者对称——一方义务即另一方权利。应向消费者倾斜、遵循最小知识法则降低调用复杂度。
参考来源
- 位置：《解构领域驱动设计》第11章11.2.2（源文件：_epub-src/OEBPS/022.xhtml）
- 结论依据：Meyer契约式设计定义，转账服务前置/后置条件对称性与最小义务优化示例。
- 原始内容：前置条件是消费者的义务，同时就是提供者的权利；后置条件是提供者的义务，同时就是消费者的权利。