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

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

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

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

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

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

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