Проектная документация
Исполняемая программа (компиляционный подход)
Исходные тексты на языке Java (компиляционный подход)© Р. В. Сатюков, И. А. Синёв, А. А. Шалыто
Санкт-Петербургский государственный университет информационных технологий, механики и оптики
Проектная документация
Исполняемая программа (компиляционный подход)
Исходные тексты на языке Java (компиляционный подход)
В работе демонстрируется возможность нестандартного применения автоматного программирования и инструмента Unimod при реализации алгоритма Лампорта, обеспечивающего контроль доступа параллельных процессов к критической секции.
Unimod позволяет интерпретировать и компилировать автоматные программы, поведение которых наглядно задается графами переходов. При этом структура программы в целом определяется схемой связей автоматов с поставщиками событий и объектами управления. Эта схема является диаграммой классов.