Введение

Данная работа посвящена проблемам разработки графического интерфейса для DVM-системы. Задача построения такого интерфейса еще по существу пока не ставилась, поскольку система активно развивалась, и ее интерфейсы заметно менялись. Система базируется на новой языковой модели, в ней реализованы новые методы функциональной отладки программ и отладки эффективности. Практическое использование системы для разработки сложных параллельных программ неизбежно вносило и вносит коррективы в ее алгоритмы и интерфейсы. В настоящее время отсутствие графического интерфейса становится заметным недостатком системы. Однако построение графического интерфейса для сложной программной системы, которая находится в стадии развития, является сложной задачей, решение которой можно существенно упростить путем проектирования обобщенной, формальной модели графического интерфейса DVM-системы. Такая абстрактная модель, позволит оценивать разрабатываемые варианты интерфейса с точки зрения соответствия модели, и проектировать оптимальные интерфейсы. Данная работа предлагает новый инструмент, предназначенный для формализации проектирования новых интерфейсов. В ее рамках был разработан новый интерфейс на языке Java, и проведена его оценка в сравнении с построенной формальной моделью.