11 / 17
ответствующие описаниям процесса, ненаправленными связями – не-
направленные ребра (eo = false), а направленными стрелками — напра-
вленные ребра (eo = true), штриховой линией — вложенность фрагмен-
та метаграфа.
Фрагмент прагматики информационной системы изображен в виде
процесса (см. рис. 4), показанного метаребром me1. Процесс состоит
из элементов процесса v
1
∗
(под знаком «*» понимается произвольное
значение второго индекса). Элементы процесса соединены направлен-
ными ребрами e
1
∗
. В качестве примера для элемента процесса v
15
показаны элементы вложенного подпроцесса. Таким образом, элемент
v
15
одновременно является и элементом процесса me
1
и метаребром,
которое содержит вложенный процесс.
Данные, поступающие на вход элемента v
11
, представлены мета-
вершиной mv
1
, которая содержит вложенные вершины данных v
31
и
v
32
и ненаправленную связь e
31
между ними. Связь метавершины mv
1
с элементом процесса v
11
осуществляется с помощью ребра e
41
. При-
знаком того, что метавершина mv
1
содержит входные данные про-
цесса v
11
, моделируется с помощью атрибута ребра e
41
(вершины и
ребра могут иметь атрибуты, так как используется модель атрибу-
тивного метаграфа). В рассматриваемом случае применяется атрибут
v
11
.
in = true
. Аналогично с помощью ребер e
42
, e
43
, e
44
проводит-
ся привязка метавершин mv
2
и mv
3
к элементам процесса v
11
и v
12
в качестве входных–выходных данных. Случай, когда выходные дан-
ные предыдущего процесса являются входными данными следующего
процесса, показан на рис. 4. Такой подход используется в некоторых
моделях описания процессов, например в синергетических интерре-
презентативных сетях (Synergetic Inter-Representation Network), пред-
ложенных Дж. Португали [11]. Однако предлагаемая модель связи ме-
тавершин данных с элементами процесса носит более гибкий харак-
тер и позволяет моделировать передачу данных как через входные–
выходные метавершины данных, так и другими способами, например,
через представленный метавершиной общий контекст.
Определим прагматику информационной системы
PR=
h
GT
,
GA
i
,
GA =
{
ga
i
}
,
ga
i
=
h
g
j
,
me
k
i
,
где PR — прагматика информационной
системы; GT — структура целей в соответствии с (1); GA — множество
процессов достижения целей; ga
i
— элемент множества процессов до-
стижения целей; g
j
— цель; me
k
— метаребро метаграфа, задающее
процесс достижения цели.
Множество процессов достижения целей GA используется для свя-
зи целей системы с процессами, обеспечивающими их выполнение.
Цели системы организованы в виде частично-упорядоченного множе-
ства. Метаребра метаграфа, задающие процессы достижения целей,
позволяют определить иерархию процессов. Каждой цели ставится в
соответствие процесс ее выполнения в виде метаребра метаграфа.
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2015. № 1 93