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: Рогозинская, Н.С., et al.
Veröffentlicht: (2009)

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

Построение оптимальных алгоритмов массовых вычислений в задачах цифровой фильтрации
von: Анисимов, А.В., et al.
Veröffentlicht: (2008)

Робастная идентификация нелинейных объектов с помощью эволюционирующей радиально-базисной сети
von: Руденко, О.Г., et al.
Veröffentlicht: (2013)

Некоторые подходы к моделированию цен в эколого-экономической системе
von: Григоркив, В.С.
Veröffentlicht: (2009)

Композиционно-номинативные аспекты адресного программирования
von: Никитченко, Н.С.
Veröffentlicht: (2009)

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

Новые доказательства важных теорем бестипового экстенсионального λ–исчисления
von: Лялецкий, А.А.
Veröffentlicht: (2014)

К вопросу о существовании полиномиально приближенных схем для реоптимизации дискретных задач оптимизации
von: Михайлюк, В.А.
Veröffentlicht: (2011)

О влиянии потребительских предпочтений на равновесие в открытой экономической системе
von: Махорт, А.Ф.
Veröffentlicht: (2016)

Ассоциативная версия алгоритма Рамалингама для динамической обработки подграфа кратчайших путей после добавления к графу новой дуги
von: Непомнящая, А.Ш.
Veröffentlicht: (2012)

Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L
von: Чеботарев, А.Н.
Veröffentlicht: (2010)

Математические модели борьбы партий за электорат или компаний за рынки сбыта
von: Остапенко, В.В., et al.
Veröffentlicht: (2012)

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

ИНТЕРВАЛЬНАЯ ОПТИМИЗАЦИОННАЯ МОДЕЛЬ РАСПРЕДЕЛЕНИЯ РЕСУРСОВ В СИСТЕМЕ БИЗНЕС-ПРОЦЕССОВ ОРГАНИЗАЦИИ
von: Романенков, Юрій Олександрович, et al.
Veröffentlicht: (2016)

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

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

Метод автоматической классификации на базе нечеткого отношения сходства
von: Гуляницкий, Л.Ф., et al.
Veröffentlicht: (2016)

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

Здоровье — профилактика: принципы и постулаты
von: Гриценко, В.И., et al.
Veröffentlicht: (2013)

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

Обзор современных систем и методов верификации формальных моделей
von: Колчин, А.В., et al.
Veröffentlicht: (2012)

Реализация процесса верификации для разработки надежного программного обеспечения
von: Скляр, В.В., et al.
Veröffentlicht: (2006)

Обобщенный итерационный алгоритм метода группового учета аргументов
von: Степашко, В.С., et al.
Veröffentlicht: (2013)

ИССЛЕДОВАНИЕ ФЕРРОРЕЗОНАНСНЫХ ПРОЦЕССОВ БЕЗ ЗАМЫКАНИЙ НА ЗЕМЛЮ
von: Саенко, Ю.Л., et al.
Veröffentlicht: (2012)

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

Интенсивность процессов межчастичного взаимодействия в гидросуспензиях нитрида кремния
von: Третиник, В.Ю., et al.
Veröffentlicht: (2011)

Обобщенный алгоритм инженерного синтеза материалов
von: Сидоренко, С.И., et al.
Veröffentlicht: (2014)

О системе компьютерно-аналитического моделирования динамики пространственно распределенных процессов
von: Стоян, В.А., et al.
Veröffentlicht: (2012)

Математическое моделирование термодеформационных процессов при сваркопайке стыковых соединений типа титан-алюминий
von: Махненко, В.И., et al.
Veröffentlicht: (2007)

Вдосконалений алгоритм пошуку символів Якобі
von: Івасьєв, С. В., et al.
Veröffentlicht: (2015)

Алгоритм раскраски плоских графов
von: Павленко, В.Б.
Veröffentlicht: (2015)

АЛГОРИТМ УПРАВЛЕНИЯ ОБЪЕКТОМ С КОМПЕНСАЦИЕЙ ТРАНСПОРТНОГО ЗАПАЗДЫВАНИЯ
von: Жуков , С.Ф., et al.
Veröffentlicht: (2012)

Алгоритм побудови оптимальних частотно-часових сигнальних конструкцій
von: Яриловець, А.В., et al.
Veröffentlicht: (2012)

Моделирование инновационных процессов на предприятии
von: Вихляева, С.И., et al.
Veröffentlicht: (2007)

Алгоритм знаходження найбільшого загального підграфа
von: Ilyashenko, M. B.
Veröffentlicht: (2009)

АЛГОРИТМ РОБАСТНОГО ПРЯМОГО ВЕКТОРНОГО КЕРУВАННЯ АСИНХРОННИМ ГЕНЕРАТОРОМ
von: Пересада, С.М., et al.
Veröffentlicht: (2021)

Алгоритм формування відповіді чат-бота
von: Пукач, П.Я., et al.
Veröffentlicht: (2017)

АЛГОРИТМ ШВИДКОГО ОБРОБЛЮВАННЯ ЗНАЧЕНЬ ДЛЯ МЕДІАННИХ ФІЛЬТРІВ
von: Кулик, А. Я., et al.
Veröffentlicht: (2013)

Метод разрешающих функций в теории конфликтно-управляемых процессов
von: Чикрий, А.А., et al.
Veröffentlicht: (2012)