ITMO University
“Programming Technologies” Department



Главная

Новости
 Новости науки
 Важное
 Почетные доктора
 Инновации
 Культура
 Люди
 Разное
 Скартел-Yota
 Стрим
 Смольный
Учебный процесс
 Образование
 Дипломы
 Курсовые проекты
 Лабораторные работы
 Учебные курсы
 Визуализаторы
 Unimod-проекты
 Семинары
 Стипендии
Наука
 События и факты
 Госконтракты
 Статьи
 Диссертации
 Книги
 Презентации
 Свидетельства
 Сотрудничество
Исследования
 Автоматы
 Верификация
 Биоинформатика
 Искусственный интеллект
 Генетические алгоритмы
 Движение
 UniMod
 Роботы и агенты
 Нейронные сети
 ФЦП ИТМО-Аалто
 Разное

О нас
 Премии
 Сертификаты и дипломы
 Соревнования по программированию
 Прорыв
 Автографы
 Рецензии

Беллетристика
 Мотивация
 Мысли
Медиа
 Видео
 Фотографии
 Аудио
 Интервью

English
 Home

 Articles
 Posters
 Automata-Based Programming
 Initiatives
 Projects
 Presentations
 UniMod
 UniMod Projects
 Visualizers


Поиск по сайту

Яndex



    / UniMod Projects / Exchange machine modeling (версия для печати)


Exchange machine modeling



© A.Y. Zakonov, A.A. Klebanov

Saint-Petersburg State University of Information Technologies, Mechanics and Optics

Project documentation (in Russian)
Executable program (compilative approach)
Eclipse project

Annotation

The aim of this project is to study automata based programming using UniMod. According to its developers site (http://unimod.sourceforge.net/intro.html): "UniMod project is focused on designing and implementing applications behavior. Already implemented approach adapts SWITCH-technology for UML notation. SWITCH-technology is also known as Automata-based Programming and has it's own Russian site http://is.ifmo.ru/english/".
Exchange machine modeling was chosen as an introductory project.

Exchange machine allows to automatize interaction between client and bank. Therefor device interface and server which will emulate bank should be implemented.

To execute application it is necessary to extract archive with executable program and run run.bat.

To open project in Eclipse it is necessary to select "File/Import…" menu item and then - "Existing Project into Workspace". In then next dialog it is required to select path to the directory where archive with Eclipse project is extracted.




© 2002—2017 По техническим вопросам сайта: vl.ulyantsev@gmail.com