О методе верификации бизнес-процессов с применением сетей Петри
Автор: Рябухин С.И.
Журнал: Вестник Хабаровской государственной академии экономики и права @vestnik-ael
Рубрика: Информационные технологии
Статья в выпуске: 2, 2017 года.
Бесплатный доступ
Разработан метод верификации SADT-моделей бизнес-процессов, который позволяет оценить качество процессных моделей на основании информации о структуре, свойствах и связях процессных объектов, представляемых в виде предикатов первого порядка.
Структурно-функциональная модель, sadt-модель, процессная модель, бизнес-процесс, логика предикатов первого порядка, верификация бизнес-процессов
Короткий адрес: https://sciup.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 (Технические науки. Информатика, вычислительная техника и управление).
Статья научная
