3.3 Specification of distributed service