7.3.1 服务模型的形式化描述