“Service abstraction is an import design rule because of the consequences if this rule is not followed.”