Background Image
Previous Page  4 / 13 Next Page
Information
Show Menu
Previous Page 4 / 13 Next Page
Page Background

Здесь

V

— конечное множество вершин

(

V

=

{

ν

1

, ν

2

, . . .

}

)

;

E

— множе-

ство ребер

(

E

=

{h

ν

i

, ν

j

i|

ν

i

, ν

j

V

}

)

;

s, t

:

E

V

— целевые функ-

ции, которые каждому ребру

e

=

h

ν

i

, ν

j

i

из множества

E

ставят в

соответствие его начальную и конечную вершины

s

(

e

) =

ν

i

,

t

(

e

) =

ν

j

;

l

:

V

C

V

и

m

:

E

C

E

— разметочные функции, которые задают

метки вершин и ребер, принадлежащие множествам меток вершин

C

V

и меток ребер

C

E

.

Между парой моделей

G

= (

V, E, s, t, l, m

)

и

G

1

= (

V

1

, E

1

, s

1

, t

1

, l

1

, m

1

)

возможно бинарное несимметричное отношение метамодель–экзем-

пляр, обозначаемое символом “

.

”. Отношение

G.G

1

существует, если

(

ν

1

V

1

)

l

1

(

ν

1

)

V ,

(

e

1

E

1

)

m

1

(

e

1

)

E,

l

1

(

s

1

(

e

1

)) =

s

(

m

1

(

e

1

))

, l

1

(

t

1

(

e

1

)) =

t

(

m

1

(

e

1

))

.

Граф

G

называется метамоделью модели

G

1

. Отношение метамо-

дель–экземпляр используется в различных языках моделирования (на-

пример, Unified Modeling Language (UML) [11] и Ecore [12]) и служит

основой для стандартов разработки программного обеспечения (на-

пример, Meta Object Facility (MOF) [13]).

Перейдем к постановке задачи синхронизации моделей. Пусть да-

ны модели

G

1

,

G

2

,

G

0

1

,

G

0

2

, причем

G

0

1

.G

1

,

G

0

2

.G

2

, задано отношение

консистентности [2] между моделями, обозначаемое символом “

”.

Отношение консистентности

G

1

G

2

между моделями

G

1

,

G

2

озна-

чает, что информация, представленная в моделях

G

1

,

G

2

, семантически

адекватна с позиции метамоделей

G

0

1

,

G

0

2

.

В этом случае синхронизацией модели

G

2

с моделью

G

1

будем на-

зывать такое преобразование

P

метамодели

G

0

2

с помощью множества

правил трансформации

T

, в результате которого получается модель

G

2

, совместимая с моделью

G

1

. Такое преобразование обозначим как

P

(

G

0

2

, T

) =

G

2

и

G

1

G

2

.

Для того чтобы решить главную задачу формирования полного и

корректного множества

T

, в настоящей статье предложен путь, состо-

ящий в решении следующих подзадач.

1. Найти условия, необходимые для формирования полного мно-

жества правил трансформации

T

, которое позволяет для любой пары

метамодель–модель осуществить преобразование

P

.

2. Построить формальную стратегию получения полного и кор-

ректного множества

T

правил трансформации.

3. Доказать полноту стратегии, т.е. возможность получения всех

моделей

G

2

.

Рассмотрим решение перечисленных подзадач в указанном выше

порядке.

82 ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2015. № 3