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

О алгоритме перевода документов msc в сети Петри

Описывается алгоритм перевода документа MSC в трассово эквивалентную ему сеть Петри. Полученная таким образом сеть Петри может использоваться для анализа свойств системы, представленной исходным документом MSC. Алгоритм является частью инструментария для автоматического анализа и в...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2008
Автори:	Чугаенко, А.В., Крывый, С.Л.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут програмних систем НАН України 2008
Теми:	Інструментальні засоби і середовища програмування
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/1476
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	О алгоритме перевода документов msc в сети Петри / А.В. Чугаенко, С.Л. Крывый // Пробл. програмув. — 2008. — N 2-3. — С. 587-594. — Бібліогр.: 6 назв. — рус.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

Экономичный интерпретатор для узлов сенсорной сети
за авторством: Рагозин, Д.В.
Опубліковано: (2006)

О технике реляционно-объектного преобразования
за авторством: Лихацкий, И.А.
Опубліковано: (2014)

О синтезе программ на языке Java по алгеброалгоритмическим спецификациям
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2006)

О применении машинного обучения для проектирования адаптивних программ сортировки в алгебре алгоритмов
за авторством: Яценко, Е.А.
Опубліковано: (2011)

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

Средства синтеза параллельных mpi-программ
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2008)

Засоби автоматизації генерації електронних документів в системах організаційного управління
за авторством: Хмелюк, В.С., та інші
Опубліковано: (2008)

Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2008)

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

Задачи повышения производительности запросов в программной системе
за авторством: Федоров, И.В.
Опубліковано: (2008)

Некоторые подходы к контролю и преобразованию алгоритмов на основе анализа специфицируемых данных
за авторством: Акуловский, В.Г.
Опубліковано: (2008)

Розпаралелювання програм на Фортрані з використанням техніки переписувальних правил
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2012)

Проектування програми візуалізації земної поверхні з використанням алгебро-алгоритмічного інструментарію
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2019)

Концепції та моделі інтеграції об’єктів метатехнології в середовищі Metacase
за авторством: Зінькович, В.М., та інші
Опубліковано: (2006)

Интерфейс в программировании
за авторством: Лаврищева, Е.М.
Опубліковано: (2007)

Метод об'єктно-компонентного проектування програмних систем
за авторством: Грищенко, В.М.
Опубліковано: (2007)

Застосування засобів нейроеволюції в технічних системах автоматизації керування
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2021)

Технологічна модель процесу побудови та використання адаптивної композиції Web-сервісів
за авторством: Слабоспицька, О.О.
Опубліковано: (2015)

Об одном подходе к проектированию алгебраических типов данных
за авторством: Песчаненко, В.С.
Опубліковано: (2006)

Представление графического интерфейса пользователя для тестирования программ
за авторством: Пригожев, А.С.
Опубліковано: (2010)

Алгоритм определения изоморфизма XML-схем
за авторством: Сергеев, А.П.
Опубліковано: (2010)

Low-power architecture for CIL-code hardware processor
за авторством: Chapyzhenka, A., та інші
Опубліковано: (2005)

On decompilation of VLIW executable files
за авторством: Jakub, K.
Опубліковано: (2015)

Автоматизоване проектування OpenCL програм на основі алгебро-алгоритмічного підходу
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2019)

Автоматизоване проектування програм для платформи .net, що використовують бібліотеку паралельних задач
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2020)

Программно-агентная среда для поддержки совместного обучения на основе платформы Microsoft.Net
за авторством: Воног, С.Н., та інші
Опубліковано: (2006)

Инструментальные средства алгебры алгоритмики на платформе WEB 2.0.
за авторством: Иовчев, В.А., та інші
Опубліковано: (2010)

Засіб налаштування програм на платформі .NET за допомогою переписувальних правил
за авторством: Мамедов, Т.А., та інші
Опубліковано: (2019)

Програмна платформа для наукових досліджень
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2007)

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

Интеллектуализация программных средств описания и спецификации телекоммуникационных систем и процессов их функционирования
за авторством: Ластовченко, М.М., та інші
Опубліковано: (2006)

До питання оптимізації хмарних обчислень з урахуванням їх вартості
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2020)

TermWare-3 – система переписування термів, заснована на контекстному численні
за авторством: Шевченко, Р.С., та інші
Опубліковано: (2019)

Алгоритм автоматизованого розпаралелювання циклічних операторів для графічних прискорювачів
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2017)

Оптимізація автотьюнінгу програм з використанням нейромереж
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2017)

Трансформация произвольных текстовых данных в XML-пред¬ставление по шаблону на основе регулярных выражений
за авторством: Пантелеймонов, А.А.
Опубліковано: (2006)

Автоматизована система управління запасами на OC Android та бази даних Firebase з використанням штрих кодів та QR-кодів
за авторством: Гайдукевич, Я.О., та інші
Опубліковано: (2022)

Розробка синтаксичного аналізатора мови програмування PL/I для реінженірингу блок-схем алгоритмів
за авторством: Фісун, М.Т., та інші
Опубліковано: (2006)

Ефективний емпіричний метод дедублікації на файловому рівні
за авторством: Піговський, Ю.Р.
Опубліковано: (2014)