Метод описания систем со сложным поведением на принципах обобщенных автоматов
Автор: Федорченко Людмила Николаевна, Афанасьева Ирина Викторовна
Журнал: Вестник Бурятского государственного университета. Математика, информатика @vestnik-bsu-maths
Рубрика: Информационные системы и технологии
Статья в выпуске: 4, 2018 года.
Бесплатный доступ
Автоматные модели наиболее удобны для проектирования систем со сложным поведением, но имеют ряд ограничений, таких как отсутствие поддержки асинхронности и параллельности. Для описания таких моделей часто используют специальные языковые средства, как графические, так и текстовые. В предлагаемой статье представлен метод описания систем со сложным поведением с использованием языка программирования высокого уровня CIAO (Cooperative Interaction of Automata Objects), из программы которого генерируется система автоматов, симулирующих функционирование исходной реагирующей системы.
Асинхронные параллельные реагирующие системы, граф переходов состояний, синтаксическая граф-схема, грамматика в регулярной форме
Короткий адрес: https://sciup.org/148308917
IDR: 148308917 | DOI: 10.18101/2304-5728-2018-4-22-36
Список литературы Метод описания систем со сложным поведением на принципах обобщенных автоматов
- Attribute-Based Approach of Defining the Secure Behavior of Automata Objects / F. A. Novikov [et al.] // Proceedings of SIN 2017 conference (SIN 2017). NY., 2017. P. 67-72. DOI: 10.1145/3136825.3136887
- Афанасьева И. В., Новиков Ф. А. Архитектура программного обеспечения систем оптической регистрации // Информационно-управляющие системы. 2016. № 3. С. 51-63. 10.15217/issue 1684-8853.2016.3.51 DOI: 10.15217/issue1684-8853.2016.3.51
- Новиков Ф. А., Афанасьева И. В. Кооперативное взаимодействие автоматных объектов // Информационно-управляющие системы. 2016. № 6. С. 50-63. DOI: 10.15217/issn1684-8853.2016.6.50
- Harel D. Statecharts: a Visual Formalism for Complex Systems // Science of Computer Programming. 1987. V. 8. P. 231-274.
- Шалыто А. А. Парадигма автоматного программирования // Научно-технический вестник СПбГУ ИТМО. 2008. Вып. 53. С. 3-24.
- Fedorchenko L. Regularization of Context-Free Grammars. Saarbrucken: LAP LAMBERT Academic Publishing, 2011. 180 p.
- Fedorchenko L., Baranov S. Equivalent Transformations and Regularization in Context-Free Grammars // Cybernetics and Information Technologies (CIT). Sofia, 2015. V. 14, No. 4. P. 11-28.
- Aho A., Sethi R., Ullman J. Compilers: Principles, Techniques and Tools. Addison-Wesley, 1986. 796 p.
- Кнут Д. Искусство программирования для ЭВМ. Т.1 Основные алгоритмы: пер. с англ. М.: Мир, 1976. 736 c.
- Поликарпова Н. И., Шалыто А. А. Автоматное программирование. СПб.: Питер, 2011. 176 с.
