（）只描述系统所提供的服务，而不包含服务的实现细节。