Формальная спецификация

Задание

Дана спецификация программного обеспечения. Некоторые части описания пропущены, нужно дополнить эти недостающие части так чтобы в итоге спецификацию мужно было успешно анимировать для демонстраций ее соотвествий с программными требованиями.

Необходимо знания формальных методов, Z-нотаций

оригинал задания на английском, могу в случае чего предоставить перевод на русский