Журналы
Email: Пароль: Войти Регистрация
В статье рассматриваются способы задания ограничений на визуальные языки моделирования. Приводится обзор некоторых существующих языков задания ограничений, таких как широко применимый текстовый язык Object Constraints Language и его визуальный аналог Visual OCL, а также более узкоспециализированных языков ограничений. Предлагается новый визуальный язык задания ограничений на модели визуальных языков, разработанный в среде программирования QReal. Описывается апробация предложенного языка применительно к визуальному языку программирования роботов QReal::Robots. Делаются выводы об актуальности предложенного нового языка.

Ways to specify constraints on visual modeling languages are considered in this article. An overview of some existing constraints languages such as the widely applicable text-based language Object Constraints Language, its visual analogue Visual OCL and other more specialized constraints languages is given. New visual language to define constraints on visual modeling languages, developed in the programming environment QReal, is described. Approbation of the proposed language applied to the robots visual programming language QReal::Robots is touched upon. Conclusions about the relevance of the proposed new language are also included.

Ключевые слова: визуальное программирование, семантическая корректность программ, задание ограничений, язык ограничений.
Keywords: visual programming, semantic correctness of programs, defining of constraints, constraints language.
Для пополнения баланса выберите страну, оператора и отправьте СМС с кодом на указанный номер. Отправив одну смс, вы получаете доступ к одной статье.
Закрыть