Управление визуальным представлением пользовательского интерфейса графического редактора САПР
Visual ui representation management of cad graphics editor

УДК 004.514

В данной статье предложены принципы управления визуальным представлением графического интерфейса пользователя (ГПИ) САПР. Данные принципы являются основой для реализации ГПИ в декларативном стиле, средствами чистого функционального программирования, в виде системы формальных определений. Это позволяет получить программу, с которой можно выполнять формальные преобразования, улучшающие ее качество. Предложенный метод позволяет доказывать корректность реализации и соответствие заданной спецификации.

In this article proposed the principles of visual representation of the graphical user interface (GUI) of CAD. These principles are the basis for the realization of GUIs in a declarative style, by means of pure functional programming, in the form of formal definitions. This allows to get a program with which become possible to perform formal transformations that improve its quality. The proposed method allows to prove the correctness of the implementation and compliance with specifications.

Авторы:

Гордиенко Александр Петрович

ФГБОУ ВПО «Госуниверситет — УНПК», г. Орёл
Кандидат технических наук, доцент, доцент кафедры "Информационные системы"

Амелина Ольга Викторовна

ФГБОУ ВПО «Госуниверситет — УНПК», г. Орёл
Кандидат экономических наук, доцент кафедры «Информационные системы»

Список цитируемой литературы:

  • Хоар Ч. Взаимодействующие последовательные процессы.- М: Мир, 1989.
  • Гордиенко А.П. Процессы диалога — основа иерархии интеракторов // Известия ОрёлГТУ. Серия "Информационные системы и технологии".- 2005.- N 2(8).- С. 50 −61.
  • ISO 7942-1985E.- Information Processing System.- Computer Graphics.- Functional Specification of the Graphical Kernel System (GKS).
  • Haskell 2010. Language Report. Simon Marlow (editor).

Последние новости

Случайный материал

  • В статье рассматриваются вопросы эффективной организации мониторинга процессов оказания электронных услуг. В качестве инструмента проведения мониторинга предлагается использовать автоматизированную систему, обеспечивающую адаптивную организацию процессов сбора, хранения и обработки данных. Сформулированы системные и технологические задачи организации мониторинга, раскрыты их сущность и принципы решения.
    Фролов Алексей Иванович, ФГБОУ ВПО «Госуниверситет – УНПК», г. Орел
  • В данной статье рассматриваются подходы к созданию подсистемы стабилизации температуры в барокамере экспериментальной системы контроля качества приборов. Данная подсистема позволяет управлять величиной тока, подаваемого на термоэлектрический модуль, для поддержания воздушной среды управляемого объекта – барокамеры в пределах заданной величины.
    Демина Юлия Александровна, ФГБОУ ВПО «Госуниверситет – УНПК», г. Орел
    Вереницын Андрей Игоревич, ФГБОУ ВПО «Госуниверситет – УНПК», г. Орел
    Демина Елена Григорьевна, ФГБОУ ВПО «Госуниверситет – УНПК», г. Орел
  • В данной статье рассматривается актуальность применения свободного программного обеспечения для оказания электронных услуг населению, а также выявляются проблемы при его внедрении и сопровождении.
    Стычук Алексей Александрович, ФГБОУ ВПО «Госуниверситет – УНПК», г. Орел
    Постников Максим Владимирович, ФГБОУ ВПО «Госуниверситет – УНПК», г. Орел