Документ взят из кэша поисковой машины. Адрес оригинального документа : http://sp.cs.msu.ru/seminar/2005/0413.html
Дата изменения: Wed Feb 11 22:28:56 2015
Дата индексирования: Sat Apr 9 23:55:56 2016
Кодировка: Windows-1251
Заседание научно-исследовательского семинара. 13 апреля 2005 г.

Главная страница « Научно-исследовательский семинар «

Заседание научно-исследовательского семинара. 13 апреля 2005 г.

Продолжение доклада 16 февраля: «Логико-языковые средства управления автоматизированными бизнес-процессами»
Докладчик: Шундеев Александр Сергеевич, лаборатория Автоматизации экспериментальных исследований, НИИ механики МГУ.

Предыдущее заседание « | 13.4.2005 | » Следующее заседание

Новости
Информация
Преподаватели и сотрудники
Студенты и аспиранты
Спецсеминары
Просеминар
Спецкурсы
Проекты
Ссылки
Поиск

Доклад посвящен результатам подготовленной диссертационной работы и в нем будут рассмотрены следующие темы:

  • Создание и использование локико-языковых средств управления автоматизированными бизнес-процессами в задаче автоматизации сопровождения сложных научных экспериментов.

  • Новый язык описания определений и реализациий процессов XPDIL, и специализированная система автоматизации бизнес-процессов, основанная на языке XPDIL.

  • Математическая модель автоматизированных бизнес-процессов, в рамках которой задается семантика языка XPDIL и оценивается его выразительность по методу Ван-дер-Альста и Хофстеда.

  • Проверка адекватности формальных моделей автоматизированных бизнес-процессов и использование класса регулярных языков для описания поведения реализаций процессов.

Приглашаются аспиранты и стажеры программистских кафедр.

  

© Кафедра системного программирования ВМК МГУ.

Обновлено: 4.10.2005