Диссертация (Методы и средства разработки графических предметно-ориентированных языков), страница 38

A.15: Диаграмма типов процессов для задачи «Арбитр 4 в 1».Рис. A.16: Процесс на диаграмме отображения портов.204Рис. A.17: Диаграмма отображения портов для задачи «Арбитр 4 в 1».Рис. A.18: Применение функтора «Арбитр 4 к 1».205Приложение BОписание метаязыка QRealТаблица B.1: Метаязык системы QRealВнешний видНазваниеОписаниеКорневой элемент метамодели. Можетсодержать в себе узлы Meta EditorMetamodelDiagramDiagram (метамодели языков, входящихв плагин), свойства этого элемента содержат настройки сборки редактора, такие как относительный путь к исходнымфайлам QReal.Корневой узел метамодели одного визуального языка. Может содержать в себеMeta Editorузлы Node, Edge, Enum. Для каждогоDiagramузла этого типа в метамодели редакторабудет сгенерирована своя вкладка в палитре элементов.Таблица B.1: Метаязык системы QReal (многостраничная)206НазваниеВнешний видОписаниеПакет.

Предназначен для группировки метамоделей и обеспечения переиспользования фрагментов метамоделей.Также может быть корневым элементом метамодели. Может содержать в се-Packageбе другие пакеты или узлы MetamodelDiagramDiagram. На данный момент функциональность этого узла поддерживаетсялишь частично и используется в основном для визуализации зависимостей повключению между метамоделями приимпорте их из XML-описаний.Представляет узел создаваемого языка.Может содержать в себе узлы Property,Possible Edge, Properties as Container.Свойства включают в себя имя узла,отображаемое имя узла (с первым работают генераторы и другие инструменты,отображаемое имя показывается пользователю), форму узла (форма хранит-Nodeся в виде XML-строки, для её редактирования из метаредактора открывается редактор формы фигур), некоторыесвойства, связанные с пользовательскиминтерфейсом (текст всплывающей подсказки для этого узла, может ли узелменять размер, можно ли создавать вложенные в него узлы с помощью контекстного меню).Таблица B.1: Метаязык системы QReal (многостраничная)207Внешний видНазваниеОписаниеСвойство.

Не имеет какого-либо специального графического оформления, может находиться только внутри узловNode и Edge. Для свойства возможноуказание имени, отображаемого имени,типа, значения по умолчанию. ТипомPropertyсвойства может быть один из элементарных типов (целочисленный, булевый,строковый), тип-перечисление, определённый в этой же метамодели, или ссылочный тип, указывающий на объекттипа, определённого в этой же метамодели.Возможная связь. Указывает, какие элементы мгут быть соединены связью.Задаются имя узла, из которого можетначинаться связь и имя узла, в кото-Possible Edgeром связь может заканчиваться, такжеесть возможность указать, направленнаясвязь или нет (то есть можно или нетпоменять начальный и конечый узлы местами). Может находиться внутри узлаNode.Таблица B.1: Метаязык системы QReal (многостраничная)208Внешний видНазваниеОписаниеСвойства контейнера.

Этот элемент отвечает за задание чисто визуальныхсвойств взаимодействия узла с вложенными в него узлами, например, должен ли узел автоматически располагатьвложенные узлы друго под другом встолбик, или пользователь может про-Properties asContainerизвольно располагать вложенные узлывнутри узла-контейнера. Также можнозадать расстояние между вложеннымиэлементами и расстояние от элементовдо границы контейнера, если контейнер сам отвечает за расположение вложенных узлов.

Можно указать, долженли контейнер автоматически сжиматьсяили расширяться в соответствии со своим содержимым.Связь. Задаётся имя, отображаемое имясвязи, тип линии (сплошная, пунктирная и т.д.), текст, отображаемый на линии (либо фиксированный, либо свойство связи из репозитория). Кроме того,связь может иметь свойства, так же какEdgeузел.

Также можно указать, из какоготипа портов связь может исходить и вкакой тип портов связь может входить(см. описание элемента Port). Если типыпортов не указаны, связь может бытьподключена к любому порту, если онотносится к допустимому узлу (см. описание элемента Possible Edge).Таблица B.1: Метаязык системы QReal (многостраничная)209Внешний видНазваниеОписаниеЭлемент для задания свойств начала иконца связи, вкладывается в элементEdge.

Для конца связи можно указатьAssociationимя конца и тип стрелки (открытая, закрытая, закрашенная стрелка, закрашенный и незакрашенный ромб, без стрелки).Тип-перечисление. Позволяет указатьфиксированный набор значений, кото-Enumрый можно использовать как тип какоголибо свойства. Состоит из набора элементов Value.Одно значениеValueвкладываетсявтипа-перечисления,элементEnum.Содержит только имя значения.Объявление типа порта, к которомумогут быть подключены определённыесвязи. При редактировании формы узPortла имеется возможность для каждогопорта, рисуемого на изображении узла,указать его тип, а для связи указать типпорта, к которому связь может быть подключена.Импорт элемента.

Позволяет использовать элементы одной метамодели вImportдругой метамодели. Имеется возможность переопределить имя элемента иего отображаемое имя.Таблица B.1: Метаязык системы QReal (многостраничная)210Внешний видНазваниеОписаниеСвязь, задающая допустимую вложенность между элементами. Направлена отэлемента, который может вкладыватьсяв другой, к тому элементу, в которыйон может вкладываться.

По умолчаниюэлементы не вкладываются друг в друга.Связь учитывает отношение наследова-Containerния, то есть любой потомок вкладываемого элемента может быть вложенв любой потомок элемента, в которыйисходный элемент вкладывается. Этимотношением могут быть связаны толькоузлы.Эксплозия, или отноошение раскрытия.Связывает элемент и тот элемент, в который первый элемент может раскрываться (например, узел, обозначающий подпрограмму, и диаграмму подпрограммы, в которую он раскрывается).

Связьсодержит ряд вспомогательных свойств,например, необходимо ли немедленноExplodes Toсоздать тот узел, на который ссылается исходный, или сделать ли связьпереиспользуемой (в этом случае узел,соединённый этой связью, добавляетсяна пользовательскую палитру и можетбыть добавлен в других местах диаграммы или на другие диаграммы, с сохранением связи-раскрытия). Связь такжеучитывает отношение наследования.Таблица B.1: Метаязык системы QReal (многостраничная)211Внешний видНазваниеОписаниеНаследование. Обозначает, что одинэлемент является подвидом другого элемента и может быть использован везде вместо своего предка. НаследованиеInheritanceозначает, что узел-потомок имеет всесвойства узла-предка, а также наследует все отношения вложенности и раскрытия, которыми был связан предок.Наследование может быть множественным.Таблица B.1: Метаязык системы QReal (многостраничная)212Приложение CАкты о внедрении результатов диссертационногоисследованияНиже приводятся копии актов о внедрении результатов диссертационногоисследования.213214215.