TY - JOUR AU - А. О. Дерипаска PY - 2014/01/23 Y2 - 2024/03/29 TI - Языки задания ограничений JF - Computer Tools in Education JA - CTE VL - 0 IS - 1 SE - Articles DO - UR - http://cte.eltech.ru/ojs/index.php/kio/article/view/1333 AB - В статье рассматриваются способы задания ограничений на визуальные языки моделирования. Приводится обзор некоторых существующих языков задания ограничений, таких как широко применимый текстовый язык Object Constraints Language и его визуальный аналог Visual OCL, а также более узкоспециализированных языков ограничений. Предлагается новый визуальный язык задания ограничений на модели визуальных языков, разработанный в среде программирования QReal. Описывается апробация предложенного языка применительно к визуальному языку программирования роботов QReal::Robots. Делаются выводы об актуальности предложенного нового языка. ER -