Добрый день, джентльмены!
Постепенно приближается дедлайн сдачи пятого этапа, а значит пора допиливать GUI. За последнюю неделю я довел его до приличного состояния,за исключением того, что не работает интеграция с CERTI и c vis. Поэтому предлагаю всем потестировать существующую функциональность на предмет удобства и багов. Фича-реквесты и баг-репорты приветствуются в траке. Гайд по ide лежит в src/gui/ide_guide.doc. Это актуализированная версия описания программы из отчета по 4 этапу (картинки новые я вставить поленился). Чтобы запустить внешние программы через gui (argouml, uppaal), надо предварительно пути к ним вбить в окне Settings.
Также актуален вопрос упорядочения имеющихся у нас моделей и создания примеров полноценных проектов. Я сделал папку src/projects, куда положил модель со светофором (в формате, понятном для GUI) и модель simple.xml из codegen. Примеры car_alarm и traffic-light из папки codegen не работают, генератор падает.
Даниил