Нет, Service Workers не являются частью спецификации HTML5.
Они входят в отдельную спецификацию Web Workers, которая развивалась параллельно с HTML5. Service Workers представляют собой специализированный тип веб-воркеров, работающий как прокси между браузером и сетью.