Наукова періодика України Радіоелектронні і комп’ютерні системи

Михнич Б. Б. 
Формальная верификация динамически модифицируемых моделей рабочих потоков Windows Workflow Foundation / Б. Б. Михнич, В. Г. Симон // Радіоелектронні і комп’ютерні системи. - 2009. - № 6. - С. 139–142. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2009_6_29
Рассмотрен механизм верификации рабочих потоков приложений, построенных по спецификации Windows Workflow Foundation и способных изменять бизнес-логику на этапе выполнения. Предложен механизм преобразования рабочих потоков в нотации сетей Петри и приведен пример такого преобразования. Для верификации предложено использовать математический аппарат сетей Петри, анализируя свойства бездефектности замкнутой эквивалентной сети Петри. Дано определение требований, характеризующих бездефектную сеть Петри.
  Повний текст PDF - 303.273 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Михнич Б.
  • Симон В.

    • Бібліографічний опис для цитування:

    Михнич Б. Б. Формальная верификация динамически модифицируемых моделей рабочих потоков Windows Workflow Foundation / Б. Б. Михнич, В. Г. Симон // Радіоелектронні і комп’ютерні системи. - 2009. - № 6. - С. 139–142. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2009_6_29.
      Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського