Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части
Предложен подход к проектированию спецификации управляющей части реактивного алгоритма, основанный на использовании процедуры проверки согласованности взаимодействующих автоматов. Запропоновано підхід до проектування специфікації керуючої частини реактивного алгоритму, що базується на використанні п...
Saved in:
| Published in: | Комп’ютерні засоби, мережі та системи |
|---|---|
| Date: | 2013 |
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2013
|
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/69703 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части / А.Н. Чеботарев // Комп’ютерні засоби, мережі та системи. — 2013. — № 12. — С. 11-19. — Бібліогр.: 6 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Summary: | Предложен подход к проектированию спецификации управляющей части реактивного алгоритма, основанный на использовании процедуры проверки согласованности взаимодействующих автоматов.
Запропоновано підхід до проектування специфікації керуючої частини реактивного алгоритму, що базується на використанні процедури перевірки узгодженості взаємодіючих автоматів.
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.
|
|---|---|
| ISSN: | 1817-9908 |