RAISE specification language. Проектирование и декомпозиция двунаправленных потоков данных интерактивных систем