Вестник БГУ. Математика, информатика
Библиографическое описание:
, МЕТОД ОПИСАНИЯ СИСТЕМ СО СЛОЖНЫМ ПОВЕДЕНИЕМ НА ПРИНЦИПАХ ОБОБЩЕННЫХ АВТОМАТОВ // Вестник БГУ. Математика, информатика. - 2018. №4. . - С. 22-36.
Заглавие:
МЕТОД ОПИСАНИЯ СИСТЕМ СО СЛОЖНЫМ ПОВЕДЕНИЕМ НА ПРИНЦИПАХ ОБОБЩЕННЫХ АВТОМАТОВ
Финансирование:
Коды:
Аннотация:
Автоматные модели наиболее удобны для проектирования систем со сложным поведением, но имеют ряд ограничений, таких как отсутствие поддержки асинхронности и параллельности. Для описания таких моделей часто используют специальные языковые средства, как графические, так и текстовые. В предлагаемой статье представлен метод описания систем со сложным поведением с использованием языка программирования высокого уровня CIAO (Cooperative Interaction of Automata Objects), из программы которого генерируется система автоматов, симулирующих функционирование исходной реагирующей системы.
Ключевые слова:
асинхронные параллельные реагирующие системы; граф переходов состояний; синтаксическая граф-схема; грамматика в регулярной форме.
Список литературы:
Attribute-Based Approach of Defining the Secure Behavior of Automata Ob jects / F. А Novikov [et al.] // Proceedings of SIN 2017 conference (SIN 2017). NY., 2017. Р. 67-72. DOI: https://doi.org/10.l 145/3136825.3136887
Афанасьева И. В., Новиков Ф. А Архитектура программного обеспечения систем оптической регистрации // Информационно-управляющие системы. 2016.
№ 3. С. 51-63. DOI: 10.15217/issue 1684-8853.2016.3.51
Новиков Ф. А , Афанасьева И. В. Кооперативное взаимодействие автоматных объектов // Информационно-управляющие системы. 2016. № 6. С. 50-63. DOI: 10.15217/issnl 684-8853.2016.6.50
Harel D. Statecharts: а Visual Formalism for Complex Systems // Science of Computer Programming. 1987. V. 8. Р. 231-274.
Шалыто А А Парадигма автоматного программирования // Научно-технический вестник СПбГУ ИТМО. 2008. Вып. 53. С. 3-24.
Fedorchenko L. Regularization of Context-Free Grammars. Saarbrucken: LAP LAМBERT Academic PuЬlishing, 2011. 180 р.
Fedorchenko L., Baranov S. Equivalent Transfoпnations and Regularization in Context-Free Grammars // Cybernetics and Information Technologies (СП). Sofia, 2015. V. 14, No. 4. Р. 11-28.
Aho А, Sethi R., Ullman J. Compilers: Principles, Techniques and Tools. Addi son-Wesley, 1986. 796 р.
Кнут Д. Искусство программирования для ЭВМ. Т.1 Основные алгоритмы: пер. с англ. М.: Мир, 1976. 736 с.
10.Поликарпова Н. И., Шалыто А А. Автоматное программирование. СПб.: Питер, 2011. 176 с.
Афанасьева И. В., Новиков Ф. А Архитектура программного обеспечения систем оптической регистрации // Информационно-управляющие системы. 2016.
№ 3. С. 51-63. DOI: 10.15217/issue 1684-8853.2016.3.51
Новиков Ф. А , Афанасьева И. В. Кооперативное взаимодействие автоматных объектов // Информационно-управляющие системы. 2016. № 6. С. 50-63. DOI: 10.15217/issnl 684-8853.2016.6.50
Harel D. Statecharts: а Visual Formalism for Complex Systems // Science of Computer Programming. 1987. V. 8. Р. 231-274.
Шалыто А А Парадигма автоматного программирования // Научно-технический вестник СПбГУ ИТМО. 2008. Вып. 53. С. 3-24.
Fedorchenko L. Regularization of Context-Free Grammars. Saarbrucken: LAP LAМBERT Academic PuЬlishing, 2011. 180 р.
Fedorchenko L., Baranov S. Equivalent Transfoпnations and Regularization in Context-Free Grammars // Cybernetics and Information Technologies (СП). Sofia, 2015. V. 14, No. 4. Р. 11-28.
Aho А, Sethi R., Ullman J. Compilers: Principles, Techniques and Tools. Addi son-Wesley, 1986. 796 р.
Кнут Д. Искусство программирования для ЭВМ. Т.1 Основные алгоритмы: пер. с англ. М.: Мир, 1976. 736 с.
10.Поликарпова Н. И., Шалыто А А. Автоматное программирование. СПб.: Питер, 2011. 176 с.
Статья.pdf