Анотація. Розглянуто два методи узгодження специфікацій автоматів, що взаємодіють. Специфікації подані у вигляді множин диз’юнктів у мові L. Обидва методи базуються на методі узгодження автоматів, який використовує їхню паралельну композицію. Наведено два способи визначення семантики мови L, прийняті у розглянутих методах узгодження специфікацій.

Ключові слова: специфікація автомата, мова L, узгодження специфікацій, композиція специфікацій, коректність композиції.