Specification of a simplified Network Service in Z