Buchumschlag

Алгоритм формальной верификации шаблонов бизнес-процессов

Формальне визначення шаблонів бізнес-процесів представлено на підставі аналізу бібліотек ІTІL і MOF. Визначено передумову ініціалізації і постумову для шаблонів бізнес-процесів. Доведено можливість розв’язання проблеми формальної верифікації для шаблонів бізнес-процесів щодо визначеної передумови ін...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Кибернетика и системный анализ
Datum:	2011
1. Verfasser:	Варосян, А.С.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут кібернетики ім. В.М. Глушкова НАН України 2011
Schlagworte:	Кибернетика
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/84185
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Алгоритм формальной верификации шаблонов бизнес-процессов / А.С. Варосян // Кибернетика и системный анализ. — 2011. — Т. 47, № 2. — С. 62-76. — Бібліогр.: 11 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Автоматический метод динамического построения абстракций состояний формальной модели
von: Колчин, А.В.
Veröffentlicht: (2010)

Система сущностей бизнес-моделей организационных систем
von: Маслянко, П.П., et al.
Veröffentlicht: (2012)

Сложность задачи верификации координационного механизма системы программной поддержки совместной сетевой работы
von: Глибовец, Н.Н., et al.
Veröffentlicht: (2008)

Алгоритм Очевидности Глушкова
von: Летичевский, А.А., et al.
Veröffentlicht: (2013)

Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов
von: Борисенко, В.И.
Veröffentlicht: (2015)

Эвристический алгоритм для поиска наибольшего независимого множества
von: Плотников, А.Д.
Veröffentlicht: (2012)

О некоторых прикладных задачах марковских случайных процессов с локальным взаимодействием
von: Кнопов, П.С., et al.
Veröffentlicht: (2011)

Некоторые положения и задачи теории шаблонов
von: Анафиев, А.С.
Veröffentlicht: (2009)

Алгоритм формирования электронной цифровой подписи с возможностью обнаружения и исправления ошибки
von: Бияшев, Р.Г., et al.
Veröffentlicht: (2012)

Алгоритм построения базиса множества решений систем линейных диофантовых уравнений в кольце целых чисел
von: Крывый, С.Л.
Veröffentlicht: (2009)

Алгоритм декомпозиции геометрических объектов в 2D-задачах упаковки и раскроя
von: Стоян, Ю.Г., et al.
Veröffentlicht: (2011)

Помехоустойчивый алгоритм решения проблемы нечеткой кластеризации на базе метода нечетких связанных точек
von: Насибов, Э.Н.
Veröffentlicht: (2008)

Метрические аспекты периодических процессов в экономике и обществе
von: Згуровский, М.З.
Veröffentlicht: (2010)

Информационно-экстремальный алгоритм обучения системы диагностирования инфекционных патологий
von: Довбыш, А.С., et al.
Veröffentlicht: (2013)

Генерация тестовых сценариев на основе формальной модели
von: Летичевский, А.А., et al.
Veröffentlicht: (2010)

Методика анализа банковских бизнес-процессов
von: Керимов, А.Т.
Veröffentlicht: (2009)

Методология автоматизированного моделирования бизнес-процессов
von: Гончарова, О.Н., et al.
Veröffentlicht: (2013)

Методика оценки эффективности банковских бизнес-процессов
von: Керимов, А.Т.
Veröffentlicht: (2008)

Разработка шаблонов эволюционных методов диагностирования цифрових устройств
von: Иванов, Д.Е.
Veröffentlicht: (2014)

Разработка тетрадей-шаблонов на крымскотатарском языке для дошкольников
von: Усеинова, Л.А., et al.
Veröffentlicht: (2012)

Особенности бизнес-процессов в современной экономике
von: Глухова, Н.Н.
Veröffentlicht: (2011)

Модель формальной теории в виде коммутативной полугруппы образных конструкций
von: Бисикало, О.В., et al.
Veröffentlicht: (2013)

Индуцированная зависимость, взаимодействие факторов и дискриминация каузальных структур
von: Балабанов, А.С.
Veröffentlicht: (2016)

Эквивалентность регулярных выражений в частично коммутативном алфавите
von: Шукурян, А.С.
Veröffentlicht: (2009)

Минимальные сепараторы в структурах зависимостей. Свойства и идентификация
von: Балабанов, А.С.
Veröffentlicht: (2008)

Формирование минимальных d-сепараторов в системе зависимостей
von: Балабанов, А.С.
Veröffentlicht: (2009)

Линейная регрессия с нестационарными переменными и ограничениями на параметры
von: Корхин, А.С.
Veröffentlicht: (2009)

Логика минимальной сепарации в каузальных сетях
von: Балабанов, А.С.
Veröffentlicht: (2013)

Информационно-экстремальный метод классификации наблюдений с категориальными признаками
von: Довбыш, А.С., et al.
Veröffentlicht: (2016)

Современные подходы к измерению качества бизнес-процессов
von: Пожуев, А.В.
Veröffentlicht: (2011)

Исследование и моделирование зависимости информационных характеристик демографических процессов от экономических показателей
von: Рогозинская, Н.С., et al.
Veröffentlicht: (2009)

Верхние оценки несбалансированности билинейных аппроксимаций раундовых функций блочных шифров
von: Алексейчук, А.Н., et al.
Veröffentlicht: (2010)

К проблеме формализации бизнес-процессов коммерческого банка
von: Румянцев, М.И.
Veröffentlicht: (2007)

Построение формальной модели вопросно-ответного взаимодействия пользователя с автоматизированной системой
von: Верлань, А.Ф., et al.
Veröffentlicht: (2014)

Об инвариантности ключей относительно операций табличных алгебр
von: Редько, В.Н., et al.
Veröffentlicht: (2015)

О криптографических свойствах нового национального стандарта шифрования Украины
von: Алексейчук, А.Н., et al.
Veröffentlicht: (2016)

Аппроксимация гауссовских базисных функций в задаче адаптивного управления нелинейными объектами
von: Руденко, О.Г., et al.
Veröffentlicht: (2011)

Подход к определению эффективных признаков и синтезу оптимального полосно-разделяющего классификатора для элементов дактильно-жестовой речи
von: Крак, Ю.В., et al.
Veröffentlicht: (2016)

Информационная технология анализа мимических проявлений эмоциональных состояний человека
von: Кривонос, Ю.Г., et al.
Veröffentlicht: (2015)

СППР бизнес-аналитика
von: Куссуль, М.Э., et al.
Veröffentlicht: (2010)