1 СПбГУ ИТМО, кафедра Компьютерных Технологий ПРИМЕНЕНИЕ АВТОМАТНОГО ПРОГРАММИРОВАНИЯ ДЛЯ ПОСТРОЕНИЯ СИСТЕМ УПРАВЛЕНИЯ БИЗНЕС- ПРОЦЕССАМИ Евгений Андреевич.

Презентация:



Advertisements
Похожие презентации
Построение автоматов управления системами со сложным поведением на основе тестов с помощью генетического программирования Федор Николаевич Царев, СПбГУ.
Advertisements

Обзор маршрутов проектирования прикладного программного обеспечения для ПЛИС/ASIC/SoC на основе языков С/С++ Аспирант: Колесников Е.И. Научный руководитель:
ОСНОВНЫЕ ЭТАПЫ МОДЕЛИРОВАНИЯ Моделирование и формализация.
Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования» Научный руководитель Шалыто А. А. Кафедра компьютерных технологий Кафедра.
Автоматное программирование А. А. Шалыто Санкт-Петербургский государственный университет информационных технологий, механики и оптики 2009 г.
Применение автоматного программирования во встраиваемых системах В. О. Клебан, А. А. Шалыто Санкт-Петербургский государственный университет информационных.
Этапы моделирования. Определение цели моделирования, выделение существенных для исследования параметров объекта. I. Построение описательной информационной.
Разработка бизнес- приложений с использованием СПО Хомченко В.М. Новый подход к разработке бизнес-приложений на базе систем управления бизнес-процессами.
Верификация автоматных программ Г. А. Корнеев А. А. Шалыто Санкт-Петербургский государственный университет информационных технологий, механики и оптики.
Автор: Вельдер С. Э., аспирант Руководитель: Шалыто А. А., доктор технических наук, профессор, заведующий кафедрой «Технологии программирования» Верификация.
ОСНОВНЫЕ ЭТАПЫ МОДЕЛИРОВАНИЯ. Этапы моделирования I Этап. Постановка задачи II этап. Разработка модели III этап. Компьютерный эксперимент IV этап. Анализ.
МОДЕЛИРОВАНИЕ РАБОЧИХ ПРОЦЕССОВ ВУЗА В BPM- СИСТЕМЕ.
Предметно-ориентированное моделирование приложений для платформы Android Никонова Ольга СПбГУ Научный руководитель Брыксин Т.А.
Применение генетического программирования для реализации систем со сложным поведением Санкт-Петербургский Государственный Университет Информационных Технологий,
Информационные модели Модель – это объект-заменитель, который в определенных условиях может заменять объект – оригинал. Модель воспроизводит некоторые.
Математическое и компьютерное моделирование Математическое и компьютерное моделирование I. Математическая модель II.Вычислительный и компьютерный эксперимент.
Компьютерное моделирование. План Модель – это объект-заменитель реального объекта.
Разработка методов совместного применения генетического и автоматного программирования Федор Николаевич Царев, гр Магистерская диссертация Научный.
Разработка методов совместного применения генетического и автоматного программирования Федор Николаевич Царев, гр Магистерская диссертация Научный.
Нейро-автоматное управление в машинном обучении Выполнил: Губин Ю.А. ст. гр Руководитель: Шалыто А.А. д.т.н, проф., зав. каф. ТП, СПбГУ ИТМО.
Транксрипт:

1 СПбГУ ИТМО, кафедра Компьютерных Технологий ПРИМЕНЕНИЕ АВТОМАТНОГО ПРОГРАММИРОВАНИЯ ДЛЯ ПОСТРОЕНИЯ СИСТЕМ УПРАВЛЕНИЯ БИЗНЕС- ПРОЦЕССАМИ Евгений Андреевич Мандриков Владимир Анатольевич Кулев науч. рук. Шалыто Анатолий Абрамович, д.техн.н., проф.

2 Цели работы Применение предменто-ориентированных языков для описания бизнес-процессов Консолидация языков описания бизнес- процессов Единая система исполнения бизнес- процессов

3 Преимущества BPM

4 Традиционные системы 1.Анализ бизнес-процесса 2.Построение словесного описания модели 3.Программная реализация 4.Изменение бизнес процесса 5.Повтор цикла разработки

5 Современные системы 1.Анализ бизнес процесса 2.Описание модели с использованием предметно-ориентированного языка 3.Программная реализация среды исполнения языка бизнес-процессов 4.Изменение бизнес-процесса 5.Корректировка модели 6.Корректировка среды исполнения

6 BPEL

7 JBoss jPDL

8 Пример простого процесса на jPDL

9 Пример автоматной программы

10 Более сложный процесс на jPDL

11 Process Virtual Machine Возможность использования привычных средств моделирования Легкость интеграции различных языков в единой системе Расширяемость системы Возможность верификации

12 Спасибо за внимание