Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части

Домашня сторінка
→
Фізико-технічні та математичні науки
→
Відділення інформатики
→
Комп’ютерні засоби, мережі та системи
→
Комп’ютерні засоби, мережі та системи, 2013
→
Комп’ютерні засоби, мережі та системи, 2013, № 12
→
Переглянути статтю

Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части

Інші назви: Transformation of restrictions to the behavior of operational part of a reactive algorithm into the restrictions to the behavior of its control part

УДК: 519.713.1

URI: http://dspace.nbuv.gov.ua/handle/123456789/69703

Посилання: Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части / А.Н. Чеботарев // Комп’ютерні засоби, мережі та системи. — 2013. — № 12. — С. 11-19. — Бібліогр.: 6 назв. — рос.

Дата: 2013

Завантажень: 357

Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части

Анотація:

Предложен подход к проектированию спецификации управляющей части реактивного алгоритма, основанный на использовании процедуры проверки согласованности взаимодействующих автоматов.

Запропоновано підхід до проектування специфікації керуючої частини реактивного алгоритму, що базується на використанні процедури перевірки узгодженості взаємодіючих автоматів.

An approach to the development of a logical specification of the control part of a reactive algorithm is proposed based on the procedure of checking the compatibility of interacting automata.

Показати повний запис статті