Построение BPMN-модели процесса, поведенчески эквивалентной заданной каузальной сети
Разработка алгоритма построения BPMN-модели, симулирующей поведение заданной каузальной сети. Формальное описание алгоритма, доказательство его корректности на произвольной сети. Его реализация в процессно-ориентированной информационной системе ProM.
Подобные документы
Анализ предметной области. Цели создании компьютерной сети. Перечень функций пользователей сети. Разработка конфигурации сети. Выбор сетевых компонентов. Планирование информационной безопасности. Расчет капитальных вложений и эксплуатационных расходов.
курсовая работа, добавлен 17.09.2010Результаты разработки модели оптимизации распределения трафика в спутниковой иерархической сети связи по критерию минимума среднего времени задержки с целью повышения качества обслуживания информационных потоков в сети. Структура ее узловой модели.
статья, добавлен 07.03.2019Компьютерные сети - основа информационной структуры учреждений и предприятий. Проектирование локальной сети по заданным характеристикам. Описание моделей сети, сетевые топологии, выбор среды передачи данных. Кодирование сигнала на физическом уровне.
курсовая работа, добавлен 05.12.2011Анализ и общая характеристика проблем предметной области, ее концептуальная модель. Разработка концепции и логической модели информационной системы: понятия, основные требования, модели поведения и структуры. Реализация модели в среде CASE-средства.
курсовая работа, добавлен 14.11.2010Открытые общедоступные сегменты сети на предприятиях. Специальные сервисы для обработки и передачи информации между пользователями. Разработка программного комплекса контроля активности информационной сети. Изучение процесса обнаружения вторжений.
статья, добавлен 03.05.2019Рассмотрение определения теории графов. Реализация задачи о максимальном потоке в сети с помощью языка программирования C++. Исследование программного алгоритма, предложенного Фордом и Фалкерсоном. Информационный метод расстановки пометок в сети.
курсовая работа, добавлен 18.05.2015Применение нечеткой нейронной сети на основе алгоритма Сугено путем аппроксимации управляющего напряжения, как функции координат системы, для реализации терминального управления. Описание базы правил и функции принадлежности, результаты применения сети.
статья, добавлен 21.02.2013Проблема незащищенности системы "Умный дом". Формирование инструмента оценки топологии сети, позволяющего определить наиболее слабые элементы системы. Формирование математической модели, реализующей оценку заданной топологии, выявление критериев оценки.
статья, добавлен 26.04.2019Преимущества беспроводных сетей. Описание существующей сети предприятия и разработка новой сети. Картирование точек доступа. Выбор оборудования и разработка алгоритма его конфигурирования. Инструкция пользователя для активного сетевого оборудования.
дипломная работа, добавлен 21.11.2016Уровень автоматизации и функциональные требования к информационной системе. Разработка моделей бизнес-процессов предприятия торговли кожевенными изделиями, их общее описание. Проектирование реализации операций бизнес-процесса в информационной системе.
курсовая работа, добавлен 20.11.2016Определение основных целей розничной торговой сети. Анализ материальных и информационных потоков между предприятием и внешней средой. Рассмотрение схемы признаков фасетной классификации. Ознакомление с основными элементами электронного документа.
курсовая работа, добавлен 23.06.2016Описание заданной структуры данных или алгоритма, характеристика работы алгоритма. Анализ временной сложности алгоритма, определение отображаемых элементов, проектирование интерфейса. Специфика методики и результатов тестирования программного обеспечения.
курсовая работа, добавлен 21.03.2021Проектирование вычислительной сети как основы комплекса технических средств информационной системы. Реализация сетевой политики. Настройка телекоммуникационного оборудования локальной вычислительной сети. Подбор оборудования и программного обеспечения.
курсовая работа, добавлен 17.03.2017Рассмотрение принципов построения сетей по стандарту Ethernet и оценка корректности их конфигурации. Оценка конфигурации сети Ethernet по физическим ограничениям, по времени двойного оборота сигнала в сети, по уменьшению межкадрового интервала.
лабораторная работа, добавлен 15.04.2015Разработка алгоритма расчета коэффициента кластеризации неполной сети и программы на основе полученного алгоритма. Использование параллельных вычислений для расчета коэффициента кластеризации. Принадлежность исследуемого узла к той или иной группе.
статья, добавлен 02.02.2019Разработка и организация информационно-вычислительной сети на базе уже существующего компьютерного парка. Базовая модель OSI. Сетевые устройства и средства коммуникаций. Топологии вычислительной сети и типы ее построения. Сетевые операционные системы.
реферат, добавлен 25.03.2014Исследование принципа разбиения беспроводной сенсорной сети, на пикосети. Определение факторов, которые влияют на интенсивность информационных потоков, используя матрицу критериев. Разработка алгоритма управления информационным потоком для узла сети
статья, добавлен 30.10.2016Анализ истории и перспектив развития компьютерных сетей. Общая характеристика компьютерной сети, ее видов и принципа адресации компьютеров в сети. Описание разновидностей топологии сети. Анализ эталонной модели взаимодействия компьютерных систем.
отчет по практике, добавлен 24.11.2016Особенности структуры модели, которая имитирует работу беспроводной Wi-Fi сети и учитывает возможность вторжений, сбоев и помех с использование компьютерной программы Delphi. Проверка предложенных алгоритмов защиты модели, основанных на нечеткой логике.
статья, добавлен 29.01.2016Разработка проекта учебной локальной компьютерной сети для предприятия. Обоснования и выбор параметров сети, учет особенностей организации и возможности ее расширения. Расчёт трафика данной сети, метод доступа, выбор протокола и операционной системы.
курсовая работа, добавлен 18.12.2011На базе информации о векторе состояния нелинейной модели и его производной формирование статической нейронной сети, аппроксимирующей правую часть уравнений динамики. Линеаризация сети, в результате которой определение коэффициентов линейной модели судна.
статья, добавлен 28.10.2018Разработка метода проектирования программных моделей протоколов передачи данных. Разработка алгоритма разметки раскрашенной сети Петри для осуществления верификации архитектурных диаграмм программных моделей. Метод построения раскрашенной сети Петри.
автореферат, добавлен 02.12.2017Основные методы построения глобальных связей в корпоративной сети: традиционные аналоговые телефонные сети и цифровые сети с интеграцией услуг ISDN. Корпоративные сети, с использованием выделенных каналов, коммутации каналов, коммутации пакетов.
реферат, добавлен 13.02.2018Общие сведения о сетях. Технология Ethernet. Типы кабельного соединения: коаксиальное, волоконно-оптическое, витая пара. Разработка схемы чернового варианта сети. Соединение станций. Расчет корректности сети. Окончательный компоновочный вариант сети.
курсовая работа, добавлен 28.02.2012Разработка информационной сети коммерческого предприятия по разработке программного обеспечения, работники которого работают дома, получают задания и передают результаты труда через данную сеть. Анализ и выбор организации ресурсов сети. Доступ в Интернет.
курсовая работа, добавлен 26.08.2010