УДК 004.94

ГЕНЕРАЦИЯ ПРОМЕЖУТОЧНЫХ СОСТОЯНИЙ АДАПТИВНОЙ ПРОГРАММНОЙ СИСТЕМЫ В ПРОЦЕССЕ ВЫПОЛНЕНИЯ

Евсеева Юлия Игоревна1, Гудков Алексей Анатольевич1
1Пензенский государственный университет

Аннотация
В статье приведено описание способа расчета промежуточных состояний адаптивной программной системы на основе трехмерной графики, разработанной с помощью совместного применения технологии моделирования изменчивости и методов морфологического анализа.

Ключевые слова: адаптивное программное обеспечение, модели характеристик, морфологический анализ и синтез


GENERATION OF INTERMEDIATE STATES OF ADAPTIVE SOFTWARE SYSTEMS IN RUNTIME

Evseeva Julia Igorevna1, Gudkov Alexei Anatolyevich1
1Penza State University

Abstract
The article describes the method of calculation of intermediate states of adaptive software system based on three-dimensional graphics, developed through a modeling variability technology and morphological analysis methods.

Рубрика: 05.00.00 ТЕХНИЧЕСКИЕ НАУКИ

Библиографическая ссылка на статью:
Евсеева Ю.И., Гудков А.А. Генерация промежуточных состояний адаптивной программной системы в процессе выполнения // Современные научные исследования и инновации. 2016. № 10 [Электронный ресурс]. URL: http://web.snauka.ru/issues/2016/10/72537 (дата обращения: 19.11.2016).

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

Графически модель характеристик представляется в виде диаграммы характеристик, узлами которой являются различные компоненты программы (например, трехмерные модели). Каждое состояние адаптивной программной системы описывается как конфигурация исходной диаграммы, т.е. определенное подмножество ее характеристик. Степень совместимости характеристик друг с другом и формируемой конфигурацией определяют отношения между характеристиками [1,2].

На рисунке 1 представлен фрагмент диаграммы характеристик. Данная диаграмма описывает приложение-тренажер, содержащее модели различных компонентов автомобиля. Цветом выделены компоненты программы, составляющие конфигурацию исходной диаграммы, описывающую определенное состояние адаптивной системы.

Рисунок – Диаграмма характеристик

При формализации составленного описания используется аппарат теории графов и гиперграфов. Исходная диаграмма представляется как ориентированный гиперграф, а ее конфигурации – как подграфы. Порядок смены состояний системы в процессе выполнения задается с помощью матрицы переходов.

Таким образом, синтез адаптивной программной системы на основе трехмерной графики с помощью используемой техники можно представить как последовательность следующих этапов:

1. Этап морфологического анализа адаптивной программной системы, на котором осуществляется составление морфологического множества системы в форме диаграммы характеристик.

2. Этап теоретико-множественного преобразования структуры системы, результатом которого является гиперграфовое представление полученного на предыдущем этапе морфологического множества.

3. Этап генерации состояний системы, на котором составляются конкретные конфигурации исходной диаграммы.

4. Этап верификации системных конфигураций, на котором осуществляется поиск и исправление ошибок в составленных конфигурациях.

5. Этап определения взаимосвязей между состояниями системы.

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

Рассмотрим более подробно процедуру генерации промежуточных состояний адаптивной программной системы. Пусть X и Y — два состояния программной системы, которым соответствуют определенные множества вершин гиперграфа (подмножества характеристик исходной диаграммы).

Введем понятие расстояния между состояниями системы

Оно обладает следующими свойствами:

Тогда для генерации состояния Z, промежуточного по отношению к X и Y, необходимо, чтобы выполнялось условие

Если потребуется сгенерировать N промежуточных состояний, то для данных состояний должны выполняться условия

Таким образом, промежуточные состояния будут расположены равномерно между состояниями X и Y.


Библиографический список
  1. Baresi, L. Dynamically evolving the structural variability of dynamic software product lines / L. Baresi,  C. Quinton // Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. — New York: ACM, 2015. — P. 57-63.
  2. Dinkelaker, T. A dynamic software product line approach using aspect models at runtime  / T. Dinkelaker [et al.] // In 1st Workshop on Composition and Variability. Proceedings of the 1st Workshop on Composition and Variability. — Washington: IEEE Computer Society, 2010. — P. 23-32.


Все статьи автора «Юлия Евсеева»


© Если вы обнаружили нарушение авторских или смежных прав, пожалуйста, незамедлительно сообщите нам об этом по электронной почте или через форму обратной связи.

Связь с автором (комментарии/рецензии к статье)

Оставить комментарий

Вы должны авторизоваться, чтобы оставить комментарий.

Если Вы еще не зарегистрированы на сайте, то Вам необходимо зарегистрироваться:
  • Регистрация