第3章严密系统设计方法-3.4语义连贯的设计