Ради закрытия я подумал, что поделюсь тем, что мы в итоге сделали.
Мы создали сервер push-уведомлений, работающий в качестве службы Windows и использующий стандартную связь Sockets. Мы ведем список подключенных клиентов и при необходимости отправляем уведомления.
Это не RESTful, но, поскольку клиент не выполняет запросы, не было особого смысла внедрять RESTful.