О методе верификации бизнес-процессов с применением сетей Петри

Бесплатный доступ

Разработан метод верификации SADT-моделей бизнес-процессов, который позволяет оценить качество процессных моделей на основании информации о структуре, свойствах и связях процессных объектов, представляемых в виде предикатов первого порядка.

Структурно-функциональная модель, sadt-модель, процессная модель, бизнес-процесс, логика предикатов первого порядка, верификация бизнес-процессов

Короткий адрес: https://readera.org/14319500

IDR: 14319500

Список литературы О методе верификации бизнес-процессов с применением сетей Петри

  • Дэвид А. М., Клемент М. Г. SADT-методология структурного анализа и проектирования/А. М. Дэвид, М. Г. Клемент. М.: Метатехнология, 1993.
  • High-level Petri Nets -Concepts, Definitions and Graphical Notation Final Draft International Standard ISO/IEC 15909Version 4.7.1 October 28, 2000.
  • ГОСТ P 50.1.028-2001 -Методология функционального моделирования. М.: Госстандарт России, 2001.
  • Питерсон Дж. Теория сетей Петри и моделирование систем/Дж. Питерсон; пер. с англ. М.: Мир, 1984. 264 с.
  • Доррер М. Г. Решение задачи прямого и обратного преобразования между цветной сетью Петри и моделью бизнес-процессов/М. Г. Доррер, В. В. Курохтин//Вестник Сибирского гос. ун-та имени академика М.Ф. Решетникова. 2006. № 5 (12).
  • Петровский А. Б. Пространства множеств и мультимножеств/А. Б. Петровский. М.: Едиториал УРСС, 2003. 248 с.
  • Устимов К. О. Алгоритм преобразования IDFE0-модели в раскрашенную сеть Петри/К. О. Устимов, Н. В. Фёдоров//Горный информационно-аналитический бюллетень (научно-технический журнал). 2014. № 1. С. 321-327.
  • Дальберг И. Организация знаний: ее сфера и возможности/И. Дальберг//Организация знаний: проблемы и тенденции: программа и тез. докл. конф. М., 1993.
  • Найханова Л. В. Основные типы семантических отношений между терминами предметной области/Л. В. Найханова//Известия высших учебных заведений. Поволжский регион. 2008. № 1 (Технические науки. Информатика, вычислительная техника и управление).
Еще
Статья научная