Композиционный подход к проектированию реактивных алгоритмов

Композиционный подход к проектированию реактивных алгоритмов

Запропоновано метод проектування складних автоматів за їх композиційною специфікацією мовою L. Композиційна специфікація складається із специфікацій автоматних модулів та зв’язків між ними. Автомат, що синтезується, одержується шляхом з’єднання графів переходів модулів, синтезованих за їх специфікац...

Повний опис

Збережено в:
Бібліографічні деталі
Опубліковано в: :Кибернетика и системный анализ
Дата:2013
Автор: Чеботарев, А.Н.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут кібернетики ім. В.М. Глушкова НАН України 2013
Теми:
Кибернетика
Онлайн доступ:https://nasplib.isofts.kiev.ua/handle/123456789/86267
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Композиционный подход к проектированию реактивных алгоритмов / А.Н. Чеботарев // Кибернетика и системный анализ. — 2013. — Т. 49, № 5. — С. 14-27. — Бібліогр.: 15 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-86267
record_format dspace
spelling Чеботарев, А.Н.
2015-09-11T19:53:47Z
2015-09-11T19:53:47Z
2013
Композиционный подход к проектированию реактивных алгоритмов / А.Н. Чеботарев // Кибернетика и системный анализ. — 2013. — Т. 49, № 5. — С. 14-27. — Бібліогр.: 15 назв. — рос.
0023-1274
https://nasplib.isofts.kiev.ua/handle/123456789/86267
519.713.1
Запропоновано метод проектування складних автоматів за їх композиційною специфікацією мовою L. Композиційна специфікація складається із специфікацій автоматних модулів та зв’язків між ними. Автомат, що синтезується, одержується шляхом з’єднання графів переходів модулів, синтезованих за їх специфікаціями.
A method for the development of complex finite state machines (FSMs) from their compositional specifications in the logical language L is proposed. A compositional specification consists of specifications of automata modules and interconnections between them. The FSM being synthesized is obtained by connecting the state transition graphs of modules synthesized from their specifications.
ru
Інститут кібернетики ім. В.М. Глушкова НАН України
Кибернетика и системный анализ
Кибернетика
Композиционный подход к проектированию реактивных алгоритмов
Композиційний підхід до проектування реактивних алгоритмів
Compositional approach to the development of reactive algorithms
Article
published earlier
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title Композиционный подход к проектированию реактивных алгоритмов
spellingShingle Композиционный подход к проектированию реактивных алгоритмов
Чеботарев, А.Н.
Кибернетика
title_short Композиционный подход к проектированию реактивных алгоритмов
title_full Композиционный подход к проектированию реактивных алгоритмов
title_fullStr Композиционный подход к проектированию реактивных алгоритмов
title_full_unstemmed Композиционный подход к проектированию реактивных алгоритмов
title_sort композиционный подход к проектированию реактивных алгоритмов
author Чеботарев, А.Н.
author_facet Чеботарев, А.Н.
topic Кибернетика
topic_facet Кибернетика
publishDate 2013
language Russian
container_title Кибернетика и системный анализ
publisher Інститут кібернетики ім. В.М. Глушкова НАН України
format Article
title_alt Композиційний підхід до проектування реактивних алгоритмів
Compositional approach to the development of reactive algorithms
description Запропоновано метод проектування складних автоматів за їх композиційною специфікацією мовою L. Композиційна специфікація складається із специфікацій автоматних модулів та зв’язків між ними. Автомат, що синтезується, одержується шляхом з’єднання графів переходів модулів, синтезованих за їх специфікаціями. A method for the development of complex finite state machines (FSMs) from their compositional specifications in the logical language L is proposed. A compositional specification consists of specifications of automata modules and interconnections between them. The FSM being synthesized is obtained by connecting the state transition graphs of modules synthesized from their specifications.
issn 0023-1274
url https://nasplib.isofts.kiev.ua/handle/123456789/86267
citation_txt Композиционный подход к проектированию реактивных алгоритмов / А.Н. Чеботарев // Кибернетика и системный анализ. — 2013. — Т. 49, № 5. — С. 14-27. — Бібліогр.: 15 назв. — рос.
work_keys_str_mv AT čebotarevan kompozicionnyipodhodkproektirovaniûreaktivnyhalgoritmov
AT čebotarevan kompozicíiniipídhíddoproektuvannâreaktivnihalgoritmív
AT čebotarevan compositionalapproachtothedevelopmentofreactivealgorithms
first_indexed 2025-12-02T11:24:41Z
last_indexed 2025-12-02T11:24:41Z
_version_ 1850862301741056000

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