5.4 典型的领域逻辑建模