Языки задания ограничений

  • А. О. Дерипаска
Keywords: визуальное программирование, семантическая корректность программ, задание ограничений, язык ограничений

Abstract

В статье рассматриваются способы задания ограничений на визуальные языки моделирования. Приводится обзор некоторых существующих языков задания ограничений, таких как широко применимый текстовый язык Object Constraints Language и его визуальный аналог Visual OCL, а также более узкоспециализированных языков ограничений. Предлагается новый визуальный язык задания ограничений на модели визуальных языков, разработанный в среде программирования QReal. Описывается апробация предложенного языка применительно к визуальному языку программирования роботов QReal::Robots. Делаются выводы об актуальности предложенного нового языка.
Published
2014-01-23
How to Cite
Дерипаска, А. О. (2014). Языки задания ограничений. Computer Tools in Education, (1). Retrieved from http://cte.eltech.ru/ojs/index.php/kio/article/view/1333
Section
Articles