Обновлено: 4.02.2017 - 14:21

Инструмент автоматного программирования для реализации логики для J2SE, J2EE и Sybmian приложений. Состоит из Java FSM Framework и Eclipse Plugin. Редактор UML-моделей, визуальный отладчик, валидатор, компилятор и интерпретатор для Eclipse.
UniMod состояния для Unified Modeling. Долгосрочная цель разработки проекта заключается в создании единой методологии для процесса разработки приложений, которые будут ликвидировать разрыв между фазами разработки и развития.

В настоящее время проект UniMod направлен на разработку и реализацию поведения приложений. Уже реализованный подход приспосабливает SWITCH-технологию для UML нотаций. SWITCH-технологии также известны как автоматное программирование и имеют свой русский сайт https://is.ifmo.ru/

SWITCH-технологии предлагает моделировать поведение приложения с помощью структурного конечного автомата (FSM). Структурный FSM определяется как совокупность абстрактных конечных автоматов и схемы абстрактных FSMS межсоединений.

Там уже много инструментов и проектов , которые использует FSM для описания логики приложения (IAR Systems visualSTATE, I-Logix Statemate, https://sourceforge.net/search/?words=FSM, https://is.ifmo.ru/progeny/vaganov/, https://lmt-automation.ifmo.ru/pdfs/stlguide_1_0_13b.pdf), но они или код-ориентированные или не используют UML или ориентированы на встраиваемые системы. В отличие от них, UniMod ориентирован на архитектуру, управляемую моделью (Model Driven Architecture, MDA), UML и универсальную вычислительную технику.

UniMod определяет свою собственную методологию для описания поведения приложений и предоставляет набор инструментов, который состоит из Java Finite State Machine Framework и Eclipse Plug-in. Инструменты позволяют проектирование логики приложений с помощью набора классов и Statechart диаграмм, создавая XML-описание конечного автомата, а затем запуская это XML-описание с помощью среды выполнения Runtime Framework, который является частью Java Finite State Machine Framework.

Использование специфических для UniMod деталей UML описано в разделе Методология.

Обратите внимание что использование диаграмм классов немного не обычное.

Runtime Framework позволяет создавать интерпретаторы с моделью конечного автомата. Он определяет следующие общие принципы интерпретации: запуск интерпретатора, XML-описание конечного автомата преобразуется в памяти модели конечного автомата один раз или полностью; в результате чего система состоит из среды выполнения и представления конечного автомата в оперативной памяти; для обработки событий эта система анализирует следующее событие и входные действия и выбирает переход к тригам, транзакциям выбранным тригами, выполняет действия над выводом, вызывает включенные конечные автоматы. UniMod имеет интерпретаторы, которые позволяют использовать предлагаемый подход к J2SE автономным приложениям и к J2EE веб-приложениям.

Другой подход, поддерживаемый в UniMod - генерация кода целевого языка. Конечный автомат превращается в код, реализующий его. В настоящее время этот подход поддерживается только для Symbian C++.

Чтобы начать работу с UniMod см раздел Quick Start .

Что такое проект UniMod ?

CASE-инструменты сейчас очень популярны. Они позволяют описывать модель приложения с помощью множества различных диаграмм. Диаграммы позже можно преобразовать в код целевого языка программирования.

В настоящее время, UML является наиболее популярным языком моделирования. В UML есть средства моделировать статической структуры приложения , используя диаграммы классов и поведение приложения с использованием Statechart, диаграмм совместной работы и последовательности.

UML сам по себе не определяет методологию объектно-ориентированного моделирования приложений, он только определяет абстрактный синтаксис языка и нотации диаграмм. Есть ряд хорошо известных методологий [1-5] для моделирования приложений. Они имеют хорошее формальное описание методологии для моделирования статической структуры приложения, но не имеют никакого приемлемого формального описания процесса моделирования поведения приложений. Семантическая связь между моделью поведения и программным кодом отсутствует. Кроме этого, если приложение имеет сложную логику, схему Statechart как это было предложено в UML вряд ли можно было бы использовать из-за не компактный нотаций меток. Кроме этого есть ограничения на вложенные конечные автоматы.

В работах [ 6 , 7 , 8 ] методология SWITCH-технологии для моделирования поведения событийно-управляемых программ с явным акцентом на состояние было предложено профессором А.А. Шалыто. Ключевой особенностью данной методики является то, что суть поведения описывается с помощью конечного автомата (FSM). FSM определяется с использованием схемы подключения и меченый графиковтранзакций с компактными нотациями для меток.

Проект UniMod определяет методологию проектирования объектно-ориентированных приложений, управляемых событиями на основе SWITCH-технологии, приспособленной для UML. Проект UniMod также предоставляет Java-фреймворк машин конечных состояний и подключаемый модуль для платформы Eclipse, которые поддерживают определенной методологии.

Когда можно использовать UniMod ?

Не используйте UniMod для:
разработки компиляторов, потому что есть много компиляторов: https://www.kulichki.net/kit/tools/java.html https://www.thefreecountry.com/programming/compilerconstruction.shtml
Problem domain Class Diagrams design.

Используйте UniMod для:
разработки автономных Java GUI и консольных приложений;
разработки клиент-серверных приложений на Java (смотрите Messenger Standalone sample, https://www.javable.com/columns/mobile/workshop/02/ch2/, https://is.ifmo.ru/projects/icq/);
разработки веб-приложений (смотрите Messenger Web sample);
алгоритмические проблемы (смотрите Prisoners Problem sample, https://is.ifmo.ru/works/prison/);
разработки приложений для платформы Symbian.

------------------------
ТРИО теплый пол отзыв
Заработок на сокращении ссылок
Earnings on reducing links
Код PHP на HTML сайты

---

Я уже пять лет не занимаюсь сайтом, так как работаю по 12 часов. Образование у меня среднее, и по этому нет нормальной работы. Если бы сайт приносил по 100$ в месяц, я бы добавлял по 50 статей каждый месяц. Если отправите пожертвования, я оставлю Ваши имена и фамилии в списке благодетелей !
Bitcoin: 1AP3JCZVFpHzZwcAyNztbrbFFiLdnKbY1j
Litecoin LfHXHz4k6LnDNNvCodd5pj9aW4Qk67KoUD
Dogecoin D9HHvKNFZxRhjtoh6uZYjMjgcZewwiUME9
Есть также другие кошельки.

Категория: Математика, Интерпретаторы