Specifications for Service Addition