НОВЫЕ ТЕХНОЛОГИИ РЕАЛИЗАЦИИ АЛГОРИТМА ЭЛЕМЕНТАРИЗАЦИИ СТРУКТУРЫ УПРАВЛЯЮЩИХ (КОНЕЧНЫХ) АВТОМАТОВ

А. Ю. Бережок, И. Я. Зеленева

Доклад был представлен на конференции "Информационные технологии" 2006 года, ДонНТУ.

Донецкий национальный технический университет

Стадии течения любого проекта сводятся к следующему: сбор требований и имеющихся сведений, технический дизайн, написание кода и тестирование. Суть технического дизайна заключается в написании поясняющего текста и кода, на основе собранных сведений и требований по техническому заданию. На стадии написания кода система реализуется для целевой программно-аппаратной платформы в соответствии с техническим заданием. Тестирование показывает соответствие реализации проекта требованиям.

Семантический разрыв передачи знаний между стадиями технического дизайна и написания кода заключается в том, что разработчик реализует систему в соответствии со своим пониманием технического задания [1].

UML ( Unified Modeling Language ) – предлагает различные средства для уменьшения «разрыва». Но описание только статической части программы с помощью диаграмм классов, не в полной мере, а зачастую, фактически, не решет сложившуюся проблему.

В последнее время сформировалась и развивается идея запускаемого UML , что привело к появлению такого направления в программной инженерии как «проектирование на базе моделей» (Model-Driven Design) . Основной идеей такого подхода является независимое рассмотрение моделей, создаваемых при проектировании системы, от деталей их реализации на конкретной программно-аппаратной платформе. Проектирование на базе моделей должно привести к появлению универсальных графических языков п рограммирования [1] .

Одной из таких разработок является исполняемый графический язык на основе SWITCH -технологий и UML -нотации – UniMod , который описывает поведение с помощью графов переходов структурных конечных автоматов с нотацией, а графы переходов строятся с помощью нотации диаграммы состояний UML .

Инструмент для создания указанных диаграмм является встраиваемым модулем ( plug-in ) для платформы Eclipse . Данный язык рассматривается как пример для решения задачи по реализации запускаемого UML и является указателем платформы, на которой можно реализовать проект. Этой платформой является Eclipse . Также этой теме посвящена еще одна существующая разработка – UMLet – также реализованная на платформе Eclipse .

Почему именно Eclipse ?

Платформа Eclipse представляет собой фундамент для построения и запуска интегрированных инструментов разработки сквозного программного обеспечения [2].

Основные преимущества Eclipse в сравнении с другими платформами для разработки программных модулей:

•  Eclipse предоставляет согласованный набор функций на большинстве платформ.

•  Eclipse предоставляет открытый исходный код и представляет собой бесплатный продукт, к тому же с полной поддержкой.

•  Он полностью расширяемый и настраиваемый.

•  Полностью подходит для работы на предприятиях.

Принципиальная роль Платформы Eclipse состоит в обеспечении поставщиков инструментов механизмами и правилами, использование которых и следование которым приведет к бесшовной интеграции инструментов. Эти механизмы представляются через четко определенные интерфейсы, классы и методы в API. Платформа также обеспечивает полезные встроенные блоки и каркасы, которые облегчают разработку новых инструментов [3].

Рисунок 1 . Компоненты платформы Eclipse .

Подключение (plug-in) - наименьшая единица функциональности Платформы Eclipse, которая может быть разработана и поставлена отдельно. Обычно небольшой инструмент пишется как одно подключение, тогда как функциональность сложного инструмента разносится по нескольким подключениям. За исключением небольшого ядра, называемого Средой Выполнения Платформы (Platform Runtime Environment), вся функциональность Платформы Eclipse находится в подключениях.

Standard Widget Toolkit (SWT) обеспечивает общий, независимый от ОС API для элементов и графики, реализованный таким образом, что он допускает тесную интеграцию с оконной системой базовой платформы. Весь UI Платформы Eclipse и инструменты, которые подключены к нему, используют SWT для представления информации пользователю.

JFace включает обычные компоненты UI реестров изображений и шрифтов, каркасы диалогов, настроек и мастеров и индикаторы хода выполнения для длинных операций. Два из его наиболее интересных свойств - действия и просмотрщики. Разработанный на Java -платформе Eclipse , передает свою кросс-платформенность всем своим приложениям, что обеспечивает их совместимость с любой операционной системой.

Следовательно, из всего выше рассмотренного Eclipse , как среда разработки предоставляет возможность реализовать алгоритмы элементаризации структуры упрвляющих автоматов. И обеспечивает независимость приложения от аппаратуры и системы, что полностью соответствует принципу новоц и развивающейся технологии «проектирование на базе моделей» (Model-Driven Design) , а запускаемая UML -диаграмма являющаяся входными данными для приложения решает проблему «разрыва предачи данных между стадиями технического дизайна», что так остро стоит в настоящее время.

Литература

•  Гуров В.С., Мазин М.А., Нарвский А.С., Шалыто А.А. «UniMod: метод и средство разработки реактивных объектно-ориентированных программ с явным выделением состояний», Вторая Всероссийская научная конференция 5-7 октября 2005 г ., Москва.

•  Марк Эриксон, Ангус Макинтаир, «Что такое платформа Eclipse и как ее использовать?», http://www-128.ibm.com/developerworks/ru/opensource/library

•  Технический обзор Платформы Eclipse , http://khpi-iip.mipk.kharkiv.edu.