Авторефераты по всем темам >>
Авторефераты по техническим специальностям
На правах рукописи
Степанян Карлен Багратович
Разработка и применение языка описания нотации графо-подобных диаграмм
Специальность 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
АВТОРЕФЕРАТ
диссертации на соискание ученой степени кандидата технических наук
Санкт-Петербург - 2012
Работа выполнена на кафедре Прикладной математики Санкт-Петербургского Государственного Политехнического Университета (СПбГПУ).
Научный консультант: доктор технических наук, профессор Новиков Федор Александрович
Официальные оппоненты: Тропченко Александр Ювенальевич, доктор технических наук, профессор кафедры Вычислительная техника НИУ ИТМО Макаров Владимир Алексеевич, кандидат технических наук, начальник управления инноваций Новгородского государственного университета им. Ярослава Мудрого Ведущая организация Государственный научный центр Центральный научно-исследовательский и опытно-конструкторский институт робототехники и технической кибернетики
Защита диссертации состоится 20 декабря 2012 года в 17 часов 00 минут на заседании диссертационного совета Д212.227.06 при НИУ ИТМО по адресу: 197101, Санкт-Петербург, Кронверкский пр., д. 49, Центр Интернет-образования.
С диссертацией можно ознакомиться в библиотеке НИУ ИТМО.
Автореферат разослан л19 ноября 2012 года.
Ученый секретарь диссертационного совета Лобанов Игорь Сергеевич
ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ
Актуальность темы диссертации. В современной компьютерной индустрии для представления информации широко используются графические конструкции (например, схемы или диаграммы). Большое значение в последнее время приобрели различные диаграммы, используемые при моделировании, проектировании и реализации программного обеспечения. Разнообразие применяемых при этом визуальных образов довольно велико, но при разработке программ чаще всего используются двумерные графо-подобные диаграммы. Например, нотация функционального проектирования IDEF0, блоксхемы ГОСТ 19.701-90, диаграммы унифицированного языка моделирования UML.
Изначально такие диаграммы предназначались только для рисования и чтения человеком. C развитием современных технологий диаграммы стали широко использоваться в целях повышения эффективности и автоматизации производственных процессов. Это достигается за счет интерпретации диаграмм инструментальным программным обеспечением. Ключевым моментом является то, что для интерпретации диаграммы программное обеспечение должно понимать, что нарисовано на диаграмме. То есть оперировать не на уровне графических понятий, а на уровне понятий предметной области, для которой применяется диаграмма. Для этого требуется строго формализовать как нотацию, так и семантику всех графических конструкций, используемых на диаграммах данного типа. В результате формализации нотации и семантики класс диаграмм данного типа становится визуальным языком.
Семантика специфицирует смысловую нагрузку конструкций визуального языка, а нотация Ч их графическое представление. Следовательно, нотация зависит от семантики: правила построения графических конструкций на диаграмме определяются для семантических элементов языка. Для отображения диаграммы, описанной на визуальном языке, необходима как семантика (что отображаем), так и нотация (как отображаем). Но для некоторых случаев использования диаграммы, например для генерации кода, достаточно иметь только семантическую составляющую. Семантическую составляющую визуального языка также часто называют абстрактным синтаксисом, а нотацию - конкретным синтаксисом. Предполагая, что абстрактный синтаксис задан в виде совокупности сущностей и отношений, представляемых диаграммой классов, для его обозначения используется термин семантическая модель. Такая форма определения абстрактного синтаксиса визуального языка является общепринятой на данный момент.
Существуют разнообразные современные средства, позволяющие описывать визуальные языки, однако большинство из них имеет закрытую архитектуру, либо ограничения в использовании. Это приводит к трудностям в решении, или принципиальной невозможности решить задачу визуализации семантической модели в случае, когда она уже существует и является частью какой-либо системы, либо когда на нее накладываются ограничения, несовместимые с условиями использования средства.
Исследования, направленные на решение обозначенных проблем, являются актуальными, поскольку позволяют реализовать визуализатор существующих семантических моделей.
Цели и задачи диссертационного исследования:
1. Разработка языка описания нотации графо-подобных диаграмм, позволяющего описывать нотацию в предположении, что семантическая модель является внешним входным параметром (язык DiaDeL).
2. Программная реализация визуализации диаграммы по описанию типа диаграммы на языке DiaDeL и системе объектов, построенных по соответствующей семантической модели.
3. Проведение экспериментальных исследований по визуализации представительного набора диаграмм различных типов.
4. Внедрение результатов работы в практику промышленной разработки программного обеспечения.
Методы исследования. В работе используются методы теории множеств, теории графов, математической логики, теории компиляторов, объектноориентированного моделирования и анализа, порождающего программирования и шаблоны проектирования.
Научная новизна. В работе предложен язык DiaDeL (Diagram Definition Language) описания нотации графо-подобных диаграмм, обладающий следующими характеристиками, не поддерживаемыми ранее предложенными языками.
1. Семантика диаграммы является внешним входным параметром, заданным в форме системы классов, удовлетворяющей определенным условиям.
2. Язык позволяет описывать такие графические конструкции как контейнер, рамка и произвольные декорации на ребрах.
Практическая значимость работы. Предлагаемый язык DiaDeL и заложенный в нем подход позволяет описать графо-подобное отображение для существующих семантических моделей, заданных в виде программных объектов, и построить диаграммы по описанию.
Внедрение результатов работы. Работа была выполнена в 2006Ц20годах. Результаты работы внедрены в ЗАО МОБИ.Деньги в виде базового компонента программного комплекса, что подтверждено актом о внедрении от 21.07.2010 г.
Апробация работы. Основные результаты работы представлялись на следующих конференциях и семинарах: XVI Всероссийская научнометодическая конференция "Телематика'2009", ИТМО, Санкт-Петербург (2325 июня 2009 года); XIV Всероссийская конференция "Фундаментальные исследования и инновации в национальных исследовательских университетах", СПбГПУ, Санкт-Петербург (13-14 мая 2010 года); XII международной научно-практической конференции УФундаментальные и прикладные исследования, разработка и применение высоких технологий в промышленностиФ, Санкт-Петербург (8-10 декабря 2011 года).
Публикации. По теме диссертации опубликовано 9 печатных работ, в том числе 6 статей в журналах из списка ВАК и три статьи (тезисы) в трудах конференций.
Объем и структура работы. Диссертационная работа изложена на 1страницах и состоит из введения, пяти глав, заключения, списка литературы и четырех приложений. Список литературы содержит 83 наименования. Работа иллюстрирована 24 рисунками, содержит 11 таблиц и 3 листинга.
ОСНОВНОЕ СОДЕРЖАНИЕ ДИССЕРТАЦИИ Во введении обосновывается актуальность темы диссертации, описывается предмет исследования, ставятся цель и задачи исследования, формулируются положения, выносимые на защиту.
В первой главе выполнен аналитический обзор способов спецификации визуальных языков, основанных на различных математических формализмах.
Проведен обзор существующих языков для спецификации визуальных языков и поддерживающих их программных продуктов. Вводятся понятия синтаксически-ориентированного и синтаксически-свободного редактирования.
Способы спецификации визуальных языков классифицируются на четыре основных типа - спецификации, основанные на алгебраических структурах, спецификации, основанные на логических исчислениях, спецификации, основанные на порождающих грамматиках и системах подстановок и спецификации, основанные на программных моделях. Спецификации, основанные на алгебре, используют самые простые геометрические примитивы и отношения между ними. Это позволяет охватить более широкий спектр языков, чем графо-подобные, но значительно усложняет их спецификацию и делает невозможным описать сложные конструкции графо-подобных языков.
Спецификации, основанные на логике и на грамматиках, часто применяются для распознавания принадлежности нарисованной диаграммы описанному визуальному языку. Спецификации, основанные на системах подстановки, хорошо подходят для описания редактирования семантической модели языка, но накладывают ограничения на допустимые конструкции нотации. Последний класс спецификаций, основывающихся на программных моделях, представляет собой спецификации визуальных языков, строящиеся на частных реализациях модели графических конструкций и отношений. Этот класс спецификаций является наиболее гибким.
Обзор языков спецификации визуальных языков и поддерживающих их программных продуктов включает в себя следующие современные продукты:
TIGER, GMF, Microsoft DSL Tool, MetaEdit+ и Moses. Продукты проанализированы с точки зрения предоставления возможностей для решения актуальных задач по отображению диаграмм (Таблица 1).
Таблица 1 Результаты анализа рассмотренных продуктов и их языков Возможности Использование внешнего абстрактного - Ц - Ц - синтаксиса Отображение вложенных друг в друга + + - Ц + сущностей (фигура-контейнер) Отображение обрамления вокруг одной - Ц - Ц - или нескольких конструкций (рамка) Описание произвольных декораций для - Ц - + - вершин и ребер Все рассмотренные продукты предполагают определение абстрактного синтаксиса своими специфическими средствами. Таким образом, эти продукты не могут быть использованы в том случае, когда абстрактный синтаксис уже существует или разрабатывается с использованием других инструментов.
Продукты Microsoft DSL Tool и MetaEdit+ не допускают визуального представления вложенности одной или нескольких сущностей в другую, что является серьезным недостатком на сегодняшний день, так как многие современные визуальные языки используют визуальную вложенность конструкций для отображения связи между их сущностями (например, диаграмма состояний или диаграмма развертывания унифицированного языка моделирования UML). Ни один из рассмотренных продуктов не предполагает описание конструкции, обрамляющей другие конструкции, что также используется в ряде популярных языков (IDEF0, UML). Продукты TIGER, GMF и Microsoft DSL Tool позволяют описывать декорации для ребер только из ограниченного набора (стрелки, ромбик). Это, в частности, не позволяет описать нотацию такого языка, как ERD в варианте CrowТs Foot.
Проведенный анализ позволяет утверждать, что на данный момент не существует языка для описания нотации графо-подобных диаграмм, который бы поддерживал все описанные возможности. В диссертации предложен язык DiaDeL, который преодолевает указанные недостатки.
Вторая глава посвящена описанию языка DiaDeL. Язык является декларативным и основывается на синтаксически-ориентированном подходе к редактированию. Т.е. подразумевает, что семантическая модель является первичной для построения изображения, визуальное представление описывается для конкретных сущностей модели, на диаграмме могут присутствовать только описанные типы конструкций.
Tool л Meta Edit+ л GMF л Moses л MS DSL л TIGER Семантическая модель должна отвечать ряду требований. Эти требования обусловлены необходимостью извлекать из семантической модели информацию, используемую для построения и обновления диаграммы. Ниже приведен полный список требований.
1. Модель должна представлять собой набор классов или интерфейсов.
2. Среди классов должен быть выделен корневой класс, который соответствует диаграмме в целом. Система объектов, которая используется для построения отображения, должна содержать единственный объект данного класса.
3. Классы модели должны быть связаны таким образом, чтобы из объекта корневого класса можно было осуществить навигацию к любому другому объекту, используемому для построения отображения диаграммы.
4. Один класс семантической модели может быть представлен с помощью одного и только одного типа графической конструкции. Один и тот же тип графических конструкций может являться представлением нескольких разных классов модели.
5. Классы модели должны позволять извлекать информацию об объектах, отображение которых зависит от отображения текущего объекта.
Возможны два варианта использования языка DiaDeL. Система автоматического построения диаграмм (Рис. 1) состоит из компилятора языка DiaDeL и визуализатора диаграмм. Компилятор создает из описания конкретного синтаксиса диаграммы ее синтаксическую модель. Визуализатор, используя синтаксическую модель и систему объектов семантической модели, создает экземпляр диаграммы. Данный вариант использования языка практически наиболее востребован.
Автоматическое построение диаграмм Семантическая Визуализатор диаграмм Диаграмма модель Синтаксическая модель DiaDeL DiaDeL компилятор программа Рис. 1 Схема работы системы автоматического построения диаграмм Синтезатор визуализаторов диаграмм (Рис. 2) работает по аналогичной схеме, только вместо визуализатора диаграмм в ней находится синтезатор визуализаторов, который на вход получает саму семантическую модель, а на выходе строит синтезированный код визуализатора.
Синтез визуализаторов диаграмм Семантическая Синтезатор Визуализатор Диаграмма модель визуализаторов диаграмм Синтаксическая Семантическая модель модель DiaDeL DiaDeL интерпретатор программа Рис. 2 Схема работы системы синтезирующей визуализаторы диаграмм Спецификация DiaDeL разбита на две части: описание метамодели - абстрактного синтаксиса языка, и описание конкретного синтаксиса. Описание метамодели включает описание классов конструкций, их свойств, допустимых отношений и семантических мостов. В DiaDeL выделены следующие основные классы графических конструкций - метка, декорация, простая фигура, составная фигура, фигура-контейнер, рамка, линия. Фигуры предназначены для представления на диаграмме вершин, линии - ребер, связывающих вершины. Метки - для отображения текстовой информации.
Декорации - для отображения дополнительной семантики сущностей. Метки и декорации связываются с фигурами и линиями с помощью отношения прикрепления, которое определяет их расположение относительно родительских фигур. Все конструкции имеют присущий им набор атрибутов, позволяющий указывать такие детали отображения, как цвет, толщина линий, шрифт, выравнивание и т.д. Метамодель также содержит описание сущностей для определения связей между графическими конструкциями и элементами заданной семантической модели, которые называются семантическими мостами.
На Рис. 3 представлен фрагмент метамодели, описывающий класс двумерных графических конструкций (FlatConstruction) и класс конструкций метка (Text). Метка является прикрепляемой сущностью, поэтому она наследуется от Attachable. Любая двумерная конструкция может иметь прикрепления, поэтому сущность FlatConstruction наследуется от сущности AttachmentHost.
Двумерные конструкции на диаграмме представляются графическим примитивом определяемым атрибутом shapeType. Это может быть прямоугольник, прямоугольник со скругленными углами, эллипс, ломаная и замкнутая ломаная.
Attachable GraphicalFeature AttachmentHost Text FlatConstruction +value : string +shapeType : ShapeType +font : TextFont +points : Point[] +color : Color +size : Size +horAlign : Alignment +minsize : Size +vertAlign : Alignment +pen : Pen +wordWrap : boolean +brush : Brush Рис. 3 Метка и двумерная конструкция в метамодели На Рис. 4 представлены декорация (Decoration), диаграмма (Diagram) и различные классы фигур: простая фигура (Figure), составная фигура (CompoundFigure) и фигура-контейнер (ContainerFigure). Декорация является прикрепляемой сущностью, поэтому она наследуется от Attachable. Для составной фигуры обязательно должны быть определены ее части, что отображает направленная ассоциация с концом parts. Сущность InstanceSpecification обозначает экземпляр конструкции. При создании конкретной графической конструкции описываемой CompoundFigure, автоматически будут созданы все ее части.
Рис. 3 и Рис. 4 демонстрируют определение небольшой части метамодели языка. В диссертации подобным образом определены и остальные сущности метамодели, в частности линия (Line), семантические мосты (SemanticModelBridge, LineSemanticModelBridge, FigureSemanticModelBridge - некоторые из них), сущности для описания прикрепления (Attachment, AttachmentHost, AttachmentPoint) сущности для управления отображением (Statement, CompoundStatement, Condition, Assignment - некоторые из них) и другие элементы необходимые для построения отображения. Общий объем метамодели составляет 9 диаграмм, описывающих 53 сущности и отношений.
Attachable FlatConstruction Decoration Figure Container picture : string +frame : boolean {ordered, subsets ownedElements} +parts InstanceSpecification CompoundFigure ContainerFigure Diagram 1..* +layout : Layout +layout : Layout Рис. 4 Декорация, фигура, составная фигура, фигура-контейнер и диаграмма Конкретный синтаксис DiaDeL имеет текстовый формат, поскольку он является наиболее привычным для основной категории пользователей DiaDeL - разработчиков программного обеспечения. Для описания правил грамматики языка используется расширенная форма Бекуса - Наура.
Третья глава содержит математическую формализацию графических конструкций языка DiaDeL, включающую классификацию конструкций, имманентно присущие им свойства и допустимые отношения.
Классификация конструкций основывается на двух множествах: V - множество двумерных конструкций, которые располагаются на диаграмме контекстно-независимо (вершины); E - множество линий, которые располагаются на диаграмме в зависимости от расположения инцидентных им двумерных конструкций (ребра). Они дополнены множеством меток T - множество конструкций, отображающих текст. Множество V разбивается на следующие подмножества:
множество декораций D V - множество конструкций предназначенных для отображения статических элементов, например, таких как значки на концах линии;
множество фигур F V - множество конструкций отображающих сущности диаграммы, содержащее в том числе o подмножество составных фигур CF F - фигуры, которые содержат в себе другие конструкции для составления сложной геометрической композиции, представляющей на диаграмме одну сущность;
o подмножество фигур-контейнеров K F - фигуры, которые могут содержать в себе другие конструкции, представляющие на диаграмме отдельные сущности;
o подмножество рамок Fr F - фигуры, которые всегда отображаются поверх других вершин и предназначены для отображения дополнительной семантики с помощью визуального обрамления других конструкций.
Перечисленные множества формируют допустимые в DiaDeL классы конструкций. В качестве примера применения используемого формализма рассмотрим формализацию оператора прикрепления метки к вершине.
Формально контекстом прикрепления метки к вершине для оператора являются следующие параметры (R - множество действительных чисел):
( ) - точка прикрепления родительской вершины в ее системе координат;
( ) - точка прикрепления метки в системе координат метки.
( ) Тогда для любой вершины v имеющей координаты ( ) и ( ) размеры ( ) оператор прикрепления TAV применяется для вычисления положения прикрепленной метки по ее размерам:
( ) ( ) ( ) ( ) ( ), ( ) где - размер метки, вычисленный по тексту, который необходимо отобразить;
( ) - вычисленное положение метки на диаграмме;
- множество точек плоскости, на которой отображается диаграмма;
- множество всевозможных размеров элементов по ширине и высоте;
Z - множество чисел, которые используются для представления координат, или размеров элементов диаграммы.
Подобным образом в диссертации определены все перечисленные множества конструкций и их свойства.
Четвертая глава содержит описание архитектуры и реализации системы автоматического построения диаграмм по описанию нотации на DiaDeL.
Система состоит из компилятора и визуализатора диаграмм. С целью удобства и экономии трудозатрат, реализация выполнена на платформе Eclipse.
огически алгоритм работы системы можно разбить на три основных шага:
1) компиляция - преобразование описания на языке DiaDeL в экземпляр метамодели DiaDeL; 2) построение конкретных графических объектов по экземпляру метамодели и переданной системе объектов семантической модели;
3) отображение графических объектов на экране.
Поскольку переданную на вход систему объектов можно представить в виде связного графа, то алгоритм, выполняемый на втором шаге, базируется на алгоритме обхода графа в ширину. Он посещает все объекты системы, начиная с корневого объекта, соответствующего диаграмме, находит для каждого посещенного объекта подходящее описание представления и строит конкретные графические конструкции для отображения на диаграмме. На основе наложенных на модель ограничений, в диссертации доказана корректность алгоритма, т.е. показано, что алгоритм гарантирует построение визуальных конструкций для всех объектов, для которых определено отображение.
Пятая глава посвящена описанию применения языка DiaDeL и системы автоматического построения диаграмм. С целью демонстрации графической выразительности языка в главе приводятся примеры различных диаграмм, построенных по описаниям на языке DiaDeL. Здесь приведены два примера - диаграмма сущность-связь в варианте CrowТs Foot (Рис. 5) и диаграмма классов UML (Рис. 6).
Рис. 5 Пример диаграммы сущность-связь построенной системой автоматической визуализации диаграмм по описанию на языке DiaDeL Рис. 6 Пример диаграммы классов UML построенной системой автоматической визуализации диаграмм по описанию на языке DiaDeL В главе приведено описание внедрения языка DiaDeL и системы автоматического построения диаграмм в компании ЗАО МОБИ.Деньги. На основе визуализатора DiaDeL Ц, компонента системы, создан компонент, позволяющий строить отображение денежных потоков между счетами клиентов в виде графо-подобной диаграммы. Диаграммы денежных потоков используются аналитиками для определения мошеннических операций. Ниже приведен фрагмент описания нотации диаграммы денежных потоков на языке DiaDeL.
Листинг 1. Описание нотации диаграммы денежных потоков на DiaDeL // описание диаграммы diagram cash_flow_diagram { // объявление конструкций, которые будут // отображаться на диаграмме contain = {cash_node, cash_edge};
} // связь диаграммы с классом ARoot из модели bridge
// метод getNodes() возвращает счета для отображения children := model.getNodes();
} // описание фигуры для отображения счета figure cash_node { shape = ellipse; // представляем счет на диаграмме // в виде эллипса // начальный размер конструкции 100х80 пикселей size = (100, 80);
// эллипс отображается сплошной черной // линией толщиной в 2 пикселя pen.style = styles.solid;
pen.width = 2;
pen.color = colors.black;
...
} // связь фигуры для отображения счета с классом ACashNode представляющим счет в модели bridge
// метод getEdges() возвращает денежные потоки, // которые должны отображаться инцидентно данному счету edges := model.getEdges();
refresh() { // присвоение номера счета из модели метке по умолчанию text.value = model.getNodeId();
...
} } // описание декорации в виде стрелки для обозначения // направления у денежного потока decoration arrow { size = (20,15);
// стрелка описывается в виде замкнутого многоугольника // с тремя вершинами:
// в левом верхнем углу, левом нижнем углу // и на середине правой стороны shape = polygon((0%,0%),(0%,100%), (100%,50%));
...
} // описание линии для отображения денежного потока line cash_edge { pen.style = styles.solid;
pen.color = colors.black;
// определение допустимых инцидентных конструкций links = {(cash_node,cash_node)};
// прикрепление к концу линии декорации в виде стрелки attachments[100%] = (:arrow)[100%,50%];
...
}...
Из приведенного выше примера видно, что в языке DiaDeL используются два схожих по синтаксису, но разных по смыслу оператора - оператор присвоения значения, обозначается как знак равно С=Т, и оператор связи, обозначается как двоеточие равно С:=Т. Оператор присвоения значения носит классический смысл. Оператор связи используется только в семантических мостах для обозначения связи конструкции с элементом из семантической модели или его свойством/методом, возвращающим необходимые данные для построения отображения. Т.е. в отличие от оператора присвоения, который указывает, какое значение необходимо присвоить левой части, оператор связи указывает, откуда необходимо извлечь значение для присвоения.
Пример диаграммы, построенной по этому описанию, приведен на Рис. 7.
Рис. 7 Пример диаграммы денежных потоков построенной системой автоматической визуализации диаграмм по описанию на языке DiaDeL В конце главы проводится анализ полученных результатов. Делается вывод о том, что язык описания диаграмм DiaDeL позволяет решить поставленные в работе задачи, а именно описать конкретный синтаксис графо-подобных диаграмм в предположении, что абстрактный синтаксис задан изначально и удовлетворяет обозначенным ограничениям. Указанные характеристики в совокупности позволяют эффективно решать задачу визуализации существующих моделей, что продемонстрировано на примере внедрения результатов работы.
В заключении перечисляются основные результаты диссертационной работы, выносимые на защиту.
1. Язык описания графо-подобных диаграмм DiaDeL, позволяющий описывать конкретный синтаксис и его связь с внешней семантикой заданной в виде программных объектов.
2. Система автоматического построения диаграмм DiaDeL, которая позволяет автоматически визуализировать диаграммы различных типов.
3. Формализованное описание сложных графических конструкций, в том числе конструкций фигура-контейнер, рамка, и создание композитных декораций для ребер и вершин.
Разработанное программное обеспечение внедрено для решения задачи построения отображения денежных потоков в компании ЗАО МОБИ.Деньги.
Публикации автора по теме диссертации [1] Степанян К.Б. Язык описания диаграмм // Научно технические ведомости СПбГПУ. № 6-1. 2006. C. 36Ц41 (список ВАК).
[2] Новиков Ф.А., Степанян К.Б. Язык описания диаграмм // Информационно-управляющие системы. 2007, №4, с. 28Ц(список ВАК).
[3] Новиков Ф.А., Степанян К.Б. Использование порождающего программирования при реализации языка описания диаграмм // Информационно-управляющие системы. 2008, №6, с. 32Ц(список ВАК).
[4] Степанян К.Б. Использование языка описания диаграмм // Информационно-управляющие системы. 2009, №1. с. 25Ц(список ВАК) [5] Степанян К.Б. Использование языка описания диаграмм при моделировании программного обеспечения / Труды XVI Всероссийской научно-методической конференции Телематика'2009. Том 2. СПб. 2009, с. 428Ц4[6] Степанян К.Б. Использование языка описания диаграмм при моделировании программного обеспечения // Дистанционное и виртуальное обучение. 2009, № 12(30), с. 42Ц50 (список ВАК) [7] Степанян К.Б. Формализация двумерных графо-подобных диаграмм / Фундаментальные исследования и инновации в национальных исследовательских университетах: материалы XIV Всероссийской конференции. Том 1. СПб. 2010, с. 132Ц1[8] Степанян К.Б. Формализация двумерных графо-подобных диаграмм // Компьютерные инструменты в образовании. 2010, № 3, с. 8Ц18 (список ВАК).
[9] Степанян К.Б. Решение задачи оптимизации обновления графоподобной диаграммы в распределенной системе с помощью языка DiaDeL // Высокие технологии, фундаментальные исследования, экономика: Сборник статей двенадцатой международной научнопрактической конференции Фундаментальные и прикладные исследования, разработка и применение высоких технологий в промышленности 8-10 декабря 2011 г. Том 1. СПб. 2011, с. 135Ц 136.
Авторефераты по всем темам >>
Авторефераты по техническим специальностям