Зображення обкладинки

Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри

Представлена новая система анализа и верификации Use Case Maps (UCM) спецификаций с использованием раскрашенных сетей Петри и системы верификации SPIN. Стандартизованная нотация UCM удобное графическое средство формального описания функциональных требований. Описаны алгоритмы трансляции UCM-специфик...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Кибернетика и системный анализ
Дата:	2015
Автори:	Визовитин, Н.В., Непомнящий, В.А., Стененко, А.А.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2015
Теми:	Кибернетика
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/124777
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри / Н.В. Визовитин, В.А. Непомнящий, А.А. Стененко // Кибернетика и системный анализ. — 2015. — Т. 51, № 2. — С. 62-74. — Бібліогр.: 17 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Формальные методы анализа дискретных систем с использованием языка спецификаций
за авторством: Крывый, С.Л., та інші
Опубліковано: (2009)

Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками
за авторством: Гломозда, Д.К., та інші
Опубліковано: (2018)

Применение компонентных сетей Петри в задачах верификации параллельных распределённых систем
за авторством: Лукьянова, Е.А.
Опубліковано: (2014)

Универсальная сеть Петри
за авторством: Зайцев, Д.А.
Опубліковано: (2012)

Методика разработки и средства формализации функциональных спецификаций систем и устройств
за авторством: Годлевский, А.Б., та інші
Опубліковано: (2016)

Верификация программ: состояние, проблемы, результаты. II
за авторством: Крывый, С.Л., та інші
Опубліковано: (2014)

Верификация программ: состояние, проблемы, результаты. I
за авторством: Крывый, С.Л., та інші
Опубліковано: (2013)

О гомоморфизме компонентной сети Петри
за авторством: Лукьянова, Е.А.
Опубліковано: (2014)

Согласование спецификаций автоматов, представленных в языке L
за авторством: Чеботарев, А.Н.
Опубліковано: (2016)

Верификация коммуникационных структур гиперкуба параметрическими сетями Петри
за авторством: Зайцев, Д.А., та інші
Опубліковано: (2010)

Использование согласования логических спецификаций автоматов при решении игровых задач
за авторством: Чеботарев, А.Н.
Опубліковано: (2014)

Усовершенствованный метод синтеза автомата по его спецификации в языке L
за авторством: Тимофеев, В.Г., та інші
Опубліковано: (2011)

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

Моделирование мультиагентных систем с помощью обобщенных сетей активных ресурсов
за авторством: Башкин, В.А., та інші
Опубліковано: (2011)

Робастное обучение радиально-базисных сетей
за авторством: Руденко, О.Г., та інші
Опубліковано: (2011)

Анализ фиктивности состояний автомата, синтезированного по спецификации, преобразованной из языка L* в язык L
за авторством: Чеботарев, А.Н.
Опубліковано: (2013)

Алгоритмы обучения нейронных сетей и нейро-фаззи систем c сепарабельной структурой
за авторством: Скороход, Б.А.
Опубліковано: (2015)

Синтез нейро-нечетких сетей на основе ассоциативных правил
за авторством: Олейник, А.А., та інші
Опубліковано: (2014)

Диффузные алгоритмы обучения нейронных сетей прямого распространения
за авторством: Скороход, Б.А
Опубліковано: (2013)

Моделирование Grid-узла на основе сетей Петри
за авторством: Шелестов, А.Ю.
Опубліковано: (2009)

Анализ влияния глобальных угроз на устойчивое развитие стран и регионов мира с помощью байесовских сетей доверия
за авторством: Згуровский, М.З., та інші
Опубліковано: (2010)

Инженерия качества процессов производства программных систем с помощью сетей Петри
за авторством: Матвеева, Л.Е.
Опубліковано: (2010)

Распознавание действий медицинских работников на основе показателей акселерометров с использованием глубинной сети убеждений
за авторством: Галкин, А.А.
Опубліковано: (2016)

Теоретико-категорная характеризация развертки временных сетей Петри
за авторством: Дубцов, Р.С.
Опубліковано: (2004)

Связь сетей Петри с бесскобочной польской записью
за авторством: Статкевич, В.М.
Опубліковано: (2016)

Применение сетей Петри для анализа КС-грамматик
за авторством: Спекторский, И.Я.
Опубліковано: (2011)

Динамическое моделирование предприятия на основе сетей Петри
за авторством: Лисецкий, Юрий Михайлович
Опубліковано: (2018)

Динамическое моделирование предприятия на основе сетей Петри
за авторством: Лисецкий, Ю.М.
Опубліковано: (2018)

Моделирование работы узла grid-системы на основе сетей Петри
за авторством: Шелестов, А.Ю.
Опубліковано: (2008)

Алгоритмы генерации базовой точки кривой Эдвардса с использованием критериев делимости точки
за авторством: Ковальчук, Л.В., та інші
Опубліковано: (2016)

Парадигмы модельного и символьного тестирования программных систем
за авторством: Летичевский, А.А. (мл.)
Опубліковано: (2015)

Об одной модели разграничения доступа к ресурсам информационной системы «Население и миграция» с использованием сетей Петри
за авторством: Абдуллаева, Ф.Д.
Опубліковано: (2008)

Уравнения состояний стохастических временных сетей Петри с информационными связями
за авторством: Стеценко, И.В.
Опубліковано: (2012)

Применение аппарата сетей Петри для проектирования обобщенной многопользовательской системы
за авторством: Вороной, С.М., та інші
Опубліковано: (2013)

Моделирование динамических взаимодействующих процессов с применением стохастических и нечетких сетей Петри
за авторством: Ахмедов, М.А., та інші
Опубліковано: (2013)

Решение проблемы инвариантности вероятностных характеристик заведомо совместных систем случайных нелинейных уравнений над конечным коммутативным кольцом с единицей
за авторством: Левитская, А.А.
Опубліковано: (2010)

О приоритетных критериях оценки распределенных корпоративных сетей
за авторством: Белошапкин, В.К., та інші
Опубліковано: (2009)

Система сущностей бизнес-моделей организационных систем
за авторством: Маслянко, П.П., та інші
Опубліковано: (2012)

Предикатные преобразователи в контексте символьного моделирования транзиционных систем
за авторством: Годлевский, А.Б.
Опубліковано: (2010)

Идентификация моделей и оценка состояния Grid-систем
за авторством: Лавренюк, С.И., та інші
Опубліковано: (2009)