ЭТАПЫ ПОСТРОЕНИЯ ФОРМАЛЬНОЙ МОДЕЛИ ПРОБЛЕМНОЙ ОБЛАСТИ При построении формальной модели предметной области выделяются следующие этапы. При построении формальной модели предметной области выделяются следующие этапы. 1. Разработка концептуальной модели предметной области. 1. Разработка концептуальной модели предметной области. Она содержит классы объектов,представителей классов, разнообразные иерархические структуры, отношения между классами объектов, атрибуты классов объектов, различные описания. Она содержит классы объектов,представителей классов, разнообразные иерархические структуры, отношения между классами объектов, атрибуты классов объектов, различные описания. 2. Разработка формальной модели предметной области. 2. Разработка формальной модели предметной области. Она содержит описание концептуальной модели предметной области на выбранном языке представления знаний, аксиомы и механизмы обработки знаний. Она содержит описание концептуальной модели предметной области на выбранном языке представления знаний, аксиомы и механизмы обработки знаний. 3. Реализация формальной модели предметной области в компьюторе. 3. Реализация формальной модели предметной области в компьюторе.

Гибридная модель проблемной области В качестве формализма представления знаний предметной области предлагается использовать логическую модель, основанную на многоуровневой логике (Multi-layer logic или коротко MLL), которая была разработана Setsuo Ohsuga и Hiroyuki Yamauchi. MLL является интеграцией логического подхода и подхода, основанного на семантической сети, к построению языка В качестве формализма представления знаний предметной области предлагается использовать логическую модель, основанную на многоуровневой логике (Multi-layer logic или коротко MLL), которая была разработана Setsuo Ohsuga и Hiroyuki Yamauchi. MLL является интеграцией логического подхода и подхода, основанного на семантической сети, к построению языка представления знаний. представления знаний. Процедуры вызываются в процессе дедуктивного вывода. Они используются, например, для определения экстенсионалов отношений, нахождения значений атрибутов, реализации операций над объектами. Процедуры вызываются в процессе дедуктивного вывода. Они используются, например, для определения экстенсионалов отношений, нахождения значений атрибутов, реализации операций над объектами.

Базисные отношения в многоуровневой логике MLL можно рассматривать как интеграцию логического подхода и подхода, основанного на семантической сети, к построению языка представления знаний. Приведем описание MLL и предложим модификацию ее синтаксиса, позволяющую повысить эффективность процедуры дедуктивного вывода. MLL можно рассматривать как интеграцию логического подхода и подхода, основанного на семантической сети, к построению языка представления знаний. Приведем описание MLL и предложим модификацию ее синтаксиса, позволяющую повысить эффективность процедуры дедуктивного вывода. Объекты в MLL классифицируются на примитивные объекты и множества (классы) объектов. Приведем базисные отношения, которые используются в MLL. Фигурные скобки будем использовать как метасимволы для представления множества объектов. Так, d={b1,b2,...,bn} является множеством, где bi={a1i,a2i,...,ami}, i=1.. n, является множеством из d. Объекты в MLL классифицируются на примитивные объекты и множества (классы) объектов. Приведем базисные отношения, которые используются в MLL. Фигурные скобки будем использовать как метасимволы для представления множества объектов. Так, d={b1,b2,...,bn} является множеством, где bi={a1i,a2i,...,ami}, i=1.. n, является множеством из d.

Базисные отношения в многоуровневой логике (1) «Element of», которое обозначается х Х. (1) «Element of», которое обозначается х Х. (2) «Power set of», которое обозначается Y=*X и используется для отражения того, что Y является множеством, состоящим из всех подмножеств множества Х (не включая пустое множество). Мощность |*Х| = 2 N - 1, где |Х| =N. Х является множеством подмножеств 1-го порядка. Можно определить множество подмножеств 2-го порядка на Х, как *(*Х). Таким образом, множество подмножеств n-го порядка, обозначаемое * n Х, определяется как *(* (n-1) Х). (2) «Power set of», которое обозначается Y=*X и используется для отражения того, что Y является множеством, состоящим из всех подмножеств множества Х (не включая пустое множество). Мощность |*Х| = 2 N - 1, где |Х| =N. Х является множеством подмножеств 1-го порядка. Можно определить множество подмножеств 2-го порядка на Х, как *(*Х). Таким образом, множество подмножеств n-го порядка, обозначаемое * n Х, определяется как *(* (n-1) Х).

Базисные отношения в многоуровневой логике (3) «Product set of», которое обозначается Y=X1 x X2 x...x Xm. (3) «Product set of», которое обозначается Y=X1 x X2 x...x Xm. (4) «Component of», которое обозначается Y X и задает, что Х является компонентом Y. Если Y содержит несколько компонентов, т.е. Y X1, Y X2,..., Y XS, то специальный метасимвол « » используется для обозначения этого: ={X1,X2,...,XS}. (4) «Component of», которое обозначается Y X и задает, что Х является компонентом Y. Если Y содержит несколько компонентов, т.е. Y X1, Y X2,..., Y XS, то специальный метасимвол « » используется для обозначения этого: ={X1,X2,...,XS}. Приведем отношения, которые определяются через композицию базисных отношений. Приведем отношения, которые определяются через композицию базисных отношений. (1) «Subset of», которое обозначается X Y. Это отношение является композицией двух отношений: Z=*Y и X Z, т.е. = *. (1) «Subset of», которое обозначается X Y. Это отношение является композицией двух отношений: Z=*Y и X Z, т.е. = *. (2') «Part of», которое обозначается Y x и определяет, что х является частью Y. Это отношение является композицией двух отношений: =. (2') «Part of», которое обозначается Y x и определяет, что х является частью Y. Это отношение является композицией двух отношений: =.

ОСНОВНЫЕ ОПРЕДЕЛЕНИЯ Приведем определения: Приведем определения: 1) x y [ y x z [x z & y z]]; 1) x y [ y x z [x z & y z]]; 2) x y [x y z [z x z y]]; 2) x y [x y z [z x z y]]; 3) x y [ x y z [z x & z y]]; 3) x y [ x y z [z x & z y]]; 4) x y [ x y= z [z x (z y)]]; 4) x y [ x y= z [z x (z y)]]; 5) x y [ z [ x z y z]]; 5) x y [ z [ x z y z]]; 6) x y [ z [ x z & y z]]; 6) x y [ z [ x z & y z]]; 7) x y [ = z [x z (y z)]]; 7) x y [ = z [x z (y z)]]; 8) x Level(x) 0, при равенстве х находится на базовом уровне. 8) x Level(x) 0, при равенстве х находится на базовом уровне. 10) x y [x y Level(y)= Level(x)+1]; 10) x y [x y Level(y)= Level(x)+1]; 11) x y [x y Level(y)= Level(x)]; 11) x y [x y Level(y)= Level(x)]; 12) x y [yx Level(y)= Level(x)]. 12) x y [yx Level(y)= Level(x)].

ТЕОРЕМЫ Приведем теоремы: Приведем теоремы: 1) x y [x {y} x=y]; 1) x y [x {y} x=y]; 2) x y [y x x ]; 2) x y [y x x ]; 3) x y [x y [ u [u y P(u)] v[v x P(v)]]]; 3) x y [x y [ u [u y P(u)] v[v x P(v)]]]; 4) x y [x y [ u [u x P(u)] v[v y&P(v)]]]; 4) x y [x y [ u [u x P(u)] v[v y&P(v)]]]; 5) x y [y x [ u [u y&P(u)] v[v x&P(v)]]]; 5) x y [y x [ u [u y&P(u)] v[v x&P(v)]]]; 6) x P(x,x) y z[y=z P(y,z)]; 6) x P(x,x) y z[y=z P(y,z)]; 7) x P(x,x) y z[y=z & P(y,z)]; 7) x P(x,x) y z[y=z & P(y,z)]; 8) * m (*nX) * m+n X; 8) * m (*nX) * m+n X; 9) * m X * n Y * m+k X * n+k Y; 9) * m X * n Y * m+k X * n+k Y; 10) * m X * n Y * m X * n-1 Y, n 1; 10) * m X * n Y * m X * n-1 Y, n 1; 11) * m X * n Y X * n-m Y, n m; 11) * m X * n Y X * n-m Y, n m; 12) * m X * n Y * m-n Y Y, m n. 12) * m X * n Y * m-n Y Y, m n.

ОСНОВНЫЕ СТРУКТУРЫ В MLL определены две структуры: иерархическая абстракция и иерархическая структура. В MLL определены две структуры: иерархическая абстракция и иерархическая структура. Определение 1. Иерархической абстракцией называется семантическая сеть, вершинами которой являются объекты, ребрами – базисные отношения и отношения «Part of» и «Subset of». Определение 1. Иерархической абстракцией называется семантическая сеть, вершинами которой являются объекты, ребрами – базисные отношения и отношения «Part of» и «Subset of». Определение 2. Иерархической структурой называется семантическая сеть, вершинами которой являются объекты, ребрами – отношения «Component of», « Element of» и «Part of». Определение 2. Иерархической структурой называется семантическая сеть, вершинами которой являются объекты, ребрами – отношения «Component of», « Element of» и «Part of». Иерархическая структура строится с учетом того, что отношение «Part of» является композицией базисных отношений. Иерархическая структура является стандартной формой в MLL. Она состоит из уровней, которые в ней выделяются в соответствии с принципом наследования свойств. Объекты, находящиеся в отношении «Element of», располагаются в иерархической структуре на различных уровнях. Иерархическая структура строится с учетом того, что отношение «Part of» является композицией базисных отношений. Иерархическая структура является стандартной формой в MLL. Она состоит из уровней, которые в ней выделяются в соответствии с принципом наследования свойств. Объекты, находящиеся в отношении «Element of», располагаются в иерархической структуре на различных уровнях.

Гибридная модель проблемной области Для представления IS-A и Part-of иерархий в MLL используется иерархическая абстракция и иерархическая структура. Примеры иерархической абстракции и иерархической структуры представлены на рис. 11 и 12. Атрибуты классов объектов или их представителей (объектов) и отношения между классами объектов, исключая структурные отношения, в иерархической абстракции могут быть описаны как отдельными предикатами, так и правильно-построенными формулами (ППФ). Когда некоторая ППФ или предикат описывают класс объектов (или объекты) в иерархической абстракции, то они соединяются с соответствующей ему вершиной. Для представления IS-A и Part-of иерархий в MLL используется иерархическая абстракция и иерархическая структура. Примеры иерархической абстракции и иерархической структуры представлены на рис. 11 и 12. Атрибуты классов объектов или их представителей (объектов) и отношения между классами объектов, исключая структурные отношения, в иерархической абстракции могут быть описаны как отдельными предикатами, так и правильно-построенными формулами (ППФ). Когда некоторая ППФ или предикат описывают класс объектов (или объекты) в иерархической абстракции, то они соединяются с соответствующей ему вершиной.

Гибридная модель проблемной области С другой стороны, любая ППФ, задающая некоторое описание предметной области, должна использовать в качестве термов классы объектов (или объекты), с которыми она соединена в иерархической абстракции. Иногда существует необходимость представлять в ППФ не только объекты, с которыми описание связано непосредственно, но и классы объектов (или объекты), с которыми описание связано косвенно. Эти классы объектов (или объекты) расположены на более низких уровнях от вершины, которой соответствует описание, в иерархической абстракции. Пример такой ППФ представлен на рис.11. С другой стороны, любая ППФ, задающая некоторое описание предметной области, должна использовать в качестве термов классы объектов (или объекты), с которыми она соединена в иерархической абстракции. Иногда существует необходимость представлять в ППФ не только объекты, с которыми описание связано непосредственно, но и классы объектов (или объекты), с которыми описание связано косвенно. Эти классы объектов (или объекты) расположены на более низких уровнях от вершины, которой соответствует описание, в иерархической абстракции. Пример такой ППФ представлен на рис.11. «Существует некоторая программная компонента в функциональной системе #S такая, что все ее результирующие данные поступают на принтер». «Существует некоторая программная компонента в функциональной системе #S такая, что все ее результирующие данные поступают на принтер».

Гибридная модель проблемной области Рис.11. Абстрактная структура

Гибридная модель проблемной области Рис. 12. Иерархическая абстрактная структура

Гибридная модель проблемной области Слэшем называется некоторый разделитель, который используется в префиксе формулы. Так, простой слэш (Qx/X) используется для обозначения, что х является элементом множества Х (x X), простой "жирный" слэш (Qx/X) обозначает, что х определен на множестве, элементами которого являются компоненты объекта Х (X x), двойной слэш (Qx// X) обозначает, что х определен на множестве, элементами которого являются части объекта Х (X x), где Q {, }. Слэшем называется некоторый разделитель, который используется в префиксе формулы. Так, простой слэш (Qx/X) используется для обозначения, что х является элементом множества Х (x X), простой "жирный" слэш (Qx/X) обозначает, что х определен на множестве, элементами которого являются компоненты объекта Х (X x), двойной слэш (Qx// X) обозначает, что х определен на множестве, элементами которого являются части объекта Х (X x), где Q {, }.

СЕМАНТИКА MLL Отметим, что: Отметим, что: ( x/X) P(x) x (Element_of(x,X) P(x)) ( x/X) P(x) x (Element_of(x,X) P(x)) ( x/X) P(x) x (Element_of(x,X) &P(x)) ( x/X) P(x) x (Element_of(x,X) &P(x)) ( x/X) P(x) x (Component_of(x,X) P(x)) ( x/X) P(x) x (Component_of(x,X) P(x)) ( x/X) P(x) x (Component_of (x,X) & P(x)) ( x/X) P(x) x (Component_of (x,X) & P(x)) ( x//X) P(x) x (Part_of(x,X) P(x)) ( x//X) P(x) x (Part_of(x,X) P(x)) ( x//X) P(x) x (Part_of(x,X) &P(x)) ( x//X) P(x) x (Part_of(x,X) &P(x)) Таким образом, семантика MLL совпадает с семантикой логики 1-го порядка. Приведем эквивалентные выражения в MLL: Таким образом, семантика MLL совпадает с семантикой логики 1-го порядка. Приведем эквивалентные выражения в MLL: ( x/{a}) P(x) P(a); ( x/{a}) P(x) P(a); ( x/X) P(x) ( x/ ) P(x); ( x/X) P(x) ( x/ ) P(x); ( x//X) P(x) ( y/X) ( x/y) P(x); ( x//X) P(x) ( y/X) ( x/y) P(x); ( x//X) P(x) ( y/X) ( x/y) P(x). ( x//X) P(x) ( y/X) ( x/y) P(x). Примечание. В 5) и 6) переменная y не имеет вхождения в Р. Примечание. В 5) и 6) переменная y не имеет вхождения в Р.

Гибридная модель проблемной области Если объект Y имеет в качестве компонент несколько объектов, то для того, чтобы задать нужную компоненту Х объекта Y, необходимо использовать селектор, который представляется предикатом F(X,Y). Поэтому, чтобы определить свойства х Х, который является частью объекта Y, необходимо написать формулу : Если объект Y имеет в качестве компонент несколько объектов, то для того, чтобы задать нужную компоненту Х объекта Y, необходимо использовать селектор, который представляется предикатом F(X,Y). Поэтому, чтобы определить свойства х Х, который является частью объекта Y, необходимо написать формулу : ( X/ #Y)(Qx/X) [ F(X,Y) & G( x ) ], ( X/ #Y)(Qx/X) [ F(X,Y) & G( x ) ], которая может быть преобразована к стандартной форме : которая может быть преобразована к стандартной форме : (Qx//#Y) [ F(х,Y) & G( x ) ], (Qx//#Y) [ F(х,Y) & G( x ) ], где, #- -обозначение константы, G(x) - описывает свойства х. где, #- -обозначение константы, G(x) - описывает свойства х. Нами развит синтаксис MLL за счет введения расширения, которое позволяет заменить селектор, используемый для нахождения нужной компоненты некоторого объекта, на композицию префикса логической формулы. Нами развит синтаксис MLL за счет введения расширения, которое позволяет заменить селектор, используемый для нахождения нужной компоненты некоторого объекта, на композицию префикса логической формулы.

Гибридная модель проблемной области Пусть объект #Y имеет в качестве компонент несколько объектов, т.е. Тогда префикс может содержать запись вида: Пусть объект #Y имеет в качестве компонент несколько объектов, т.е. Тогда префикс может содержать запись вида: ((Qx/Xi)//#Y) (1) ((Qx/Xi)//#Y) (1) где #- -обозначение константы. задает сортность х. #Y будем называть - предком для х по иерархии Part of. где #- -обозначение константы. задает сортность х. #Y будем называть - предком для х по иерархии Part of. Запись (1) содержательно означает, что х определена на объединении частей #Y, которые имеют сортность. Запись (1) содержательно означает, что х определена на объединении частей #Y, которые имеют сортность. Преимущества такого подхода заключаются в том, что : Преимущества такого подхода заключаются в том, что : во-первых - не затрачивается время на унификацию предиката- селектора, а расширенный нами синтаксис префикса логической формулы позволяет сделать означивание термов по структурам проблемной области и далее осуществить проверку значений переменных на удовлетворение условию, задаваемому матрицей логической формулы; во-первых - не затрачивается время на унификацию предиката- селектора, а расширенный нами синтаксис префикса логической формулы позволяет сделать означивание термов по структурам проблемной области и далее осуществить проверку значений переменных на удовлетворение условию, задаваемому матрицей логической формулы; во-вторых - не затрачивается память на хранение многочисленных фактов проблемной области для означивания переменных в предикате- селекторе. во-вторых - не затрачивается память на хранение многочисленных фактов проблемной области для означивания переменных в предикате- селекторе.

МОДИФИЦИРОВАННЫЙ СИНТАКСИС MLL Из вышерассмотренного следует, что предложенное модифицированный синтаксис MLL повышает эффективность дедуктивного вывода по памяти и быстродействию. Из вышерассмотренного следует, что предложенное модифицированный синтаксис MLL повышает эффективность дедуктивного вывода по памяти и быстродействию. Модифицированный синтаксис MLL имеет следующий вид. Модифицированный синтаксис MLL имеет следующий вид. Алфавит : Алфавит : (1) константы: а,b,c,...,X,Y,Z (константные множества),... (1) константы: а,b,c,...,X,Y,Z (константные множества),... (2) переменные: x,y,z,... (2) переменные: x,y,z,... (3) функциональные символы: f,g,h,... (3) функциональные символы: f,g,h,... (4) предикатные символы: P,Q,R,... (4) предикатные символы: P,Q,R,... (5) кванторы:, (5) кванторы:, (6) отрицание: (6) отрицание: (7) логические связки: &, V, (7) логические связки: &, V, (8) вспомогательные символы: #,*,/, /,//,{,},(,) (8) вспомогательные символы: #,*,/, /,//,{,},(,)

МОДИФИЦИРОВАННЫЙ СИНТАКСИС MLL Так, модифицированные правила образования ППФ имеют следующий вид. Так, модифицированные правила образования ППФ имеют следующий вид. F1. Если Р является n-местным предикатным символом и t1,t2,...,tn есть термы, то P ( t1,t2,...,tn ) является ППФ (атомарной формулой). F1. Если Р является n-местным предикатным символом и t1,t2,...,tn есть термы, то P ( t1,t2,...,tn ) является ППФ (атомарной формулой). F2. Если F и G ППФ, то (F), (F&G), (F G), (F G) являются ППФ. F2. Если F и G ППФ, то (F), (F&G), (F G), (F G) являются ППФ. F3. Если F ППФ, θ {, }, х – переменная, а y – константа или переменная, то: F3. Если F ППФ, θ {, }, х – переменная, а y – константа или переменная, то: 1) (θ x y)F – ППФ, где {/, /, //}; 1) (θ x y)F – ППФ, где {/, /, //}; 2) (θ (x/Z)//y)F – ППФ, где Z есть константное множество. 2) (θ (x/Z)//y)F – ППФ, где Z есть константное множество. F4. Других правил образования ППФ нет. F4. Других правил образования ППФ нет. Преимущества модифицированных правил построения ППФ заключаются в следующем: Преимущества модифицированных правил построения ППФ заключаются в следующем: не затрачивается время на унификацию предиката-селектора; не затрачивается время на унификацию предиката-селектора; не затрачивается память на хранение многочисленных фактов проблемной среды для означивания переменных в предикате- селекторе. не затрачивается память на хранение многочисленных фактов проблемной среды для означивания переменных в предикате- селекторе.

ПРИМЕР Отметим, что: Отметим, что: ( (x/X)//#Y) G(x) ( X/#Y)( x/X) F(X,Y)&G(x) ( x//#Y) F(x,Y)&G(x) x y (Part_of(x,y)&F(x,y) G(x)) и ( (x/X)//#Y) G(x) ( X/#Y)( x/X) F(X,Y)&G(x) ( x//#Y) F(x,Y)&G(x) x y (Part_of(x,y)&F(x,y) G(x)) и ( (x/X)//#Y) G(x) ( X/#Y)( x/X) F(X,Y)&G(x) ( x//#Y) F(x,Y)&G(x) x y (Part_of(x,y)&F(x,y) G(x)). ( (x/X)//#Y) G(x) ( X/#Y)( x/X) F(X,Y)&G(x) ( x//#Y) F(x,Y)&G(x) x y (Part_of(x,y)&F(x,y) G(x)). Представим некоторое утверждение на естественном языке в виде формулы MLL и формулы многосортной логики (MSL). Представим некоторое утверждение на естественном языке в виде формулы MLL и формулы многосортной логики (MSL). Пример 1. Программная подсистема х, входящая в состав интеллектуальной системы поддержки принятия решений (ИСППР) #Р, обеспечивает посадку самолета у, приписанного к аэропорту #А, если имеется : Пример 1. Программная подсистема х, входящая в состав интеллектуальной системы поддержки принятия решений (ИСППР) #Р, обеспечивает посадку самолета у, приписанного к аэропорту #А, если имеется : ЭВМ t, на которой функционирует х; ЭВМ t, на которой функционирует х; радиолокационная станция (РЛС) s, соединенная с ЭВМ t; радиолокационная станция (РЛС) s, соединенная с ЭВМ t; поток информации #I1, содержащий поток сообщений, принимаемый РЛС s и содержащий класс сообщений, описывающий самолет y и обрабатываемый x; поток информации #I1, содержащий поток сообщений, принимаемый РЛС s и содержащий класс сообщений, описывающий самолет y и обрабатываемый x; поток информации #I2, содержащий поток сообщений, передающийся РЛС s, в который входит класс сообщений, содержащий сведения, необходимые для посадки самолета y, вырабатываемый x и принимаемый у. поток информации #I2, содержащий поток сообщений, передающийся РЛС s, в который входит класс сообщений, содержащий сведения, необходимые для посадки самолета y, вырабатываемый x и принимаемый у.

ПРИМЕР Иерархические структуры представлены на рис. 21 и 22. Иерархические структуры представлены на рис. 21 и 22. Запись в MSL: Запись в MSL: (#А/Аэропорт)(#Р/ИСППР)( x/программная_подсистема)( y/самолет) ( s/РЛС)( t/ЭВМ)(#I1/поток_информации)(#I2/поток_информации) ( r1/поток_сообщений)( m1/класс_сообщений)( r2/поток_сообщений) ( m2/класс_сообщений)[Содержит(#Р,х)&Содержит(#A,y)&Содержит(#А,s)&Содер жит(#A,t)& Функционирует(x,t) & Соединена(s,t) & Содержит(#I1,r1) & Принимает_РЛС(s,r1) & Содержит(r1,m1) & Описывает(m1,y) & Обрабатывает(x,m1) & Содержит(#I2,r2) & Передает_РЛС(s,r2)&Содержит(r2,m2)&Вырабатывает(x,m2) & Принимает_самолет(y,m2) Обеспечивает_посадку(х,y)] (#А/Аэропорт)(#Р/ИСППР)( x/программная_подсистема)( y/самолет) ( s/РЛС)( t/ЭВМ)(#I1/поток_информации)(#I2/поток_информации) ( r1/поток_сообщений)( m1/класс_сообщений)( r2/поток_сообщений) ( m2/класс_сообщений)[Содержит(#Р,х)&Содержит(#A,y)&Содержит(#А,s)&Содер жит(#A,t)& Функционирует(x,t) & Соединена(s,t) & Содержит(#I1,r1) & Принимает_РЛС(s,r1) & Содержит(r1,m1) & Описывает(m1,y) & Обрабатывает(x,m1) & Содержит(#I2,r2) & Передает_РЛС(s,r2)&Содержит(r2,m2)&Вырабатывает(x,m2) & Принимает_самолет(y,m2) Обеспечивает_посадку(х,y)] Запись в MLL: Запись в MLL: ( (x/программная_подсистема)//#Р)( (y/самолет)//#О)( (s/РЛС)//#А) ( (t/ЭВМ)//#А)( (r1/поток_сообщений)//#I1)( (m1/класс_сообщений)//r1) ( (r2/поток_сообщений)//#I2)(m2/класс_сообщений)//r2) ( (x/программная_подсистема)//#Р)( (y/самолет)//#О)( (s/РЛС)//#А) ( (t/ЭВМ)//#А)( (r1/поток_сообщений)//#I1)( (m1/класс_сообщений)//r1) ( (r2/поток_сообщений)//#I2)(m2/класс_сообщений)//r2) [Функционирует(x,t)&Соединена(s,t)&Принимает_РЛС(s,m1)& Описывает(m1,y) & Обрабатывает(x,m1) & Передает_РЛС(s,m2) & Вырабатывает(x,m2)& Принимает_самолет(y,m2) Обеспечивает_посадку(х,y)] [Функционирует(x,t)&Соединена(s,t)&Принимает_РЛС(s,m1)& Описывает(m1,y) & Обрабатывает(x,m1) & Передает_РЛС(s,m2) & Вырабатывает(x,m2)& Принимает_самолет(y,m2) Обеспечивает_посадку(х,y)]

MF 13 MF 12 MF 11 MC 113 MC 112 MC 111 отношение «Component-of» ( ) -Отношение «Element of» ( ) - отношение Part-of ( )... #P Программная подсистема P3P3 P2P2 P1P1 #A РЛС ЭВМ Pentium 133SUN 10000SUN 1000 РЛС 3 РЛС 2 РЛС 1 #I 1 Поток_сообщений (MF) #I 2 Класс_сообщений (MC) MF 23 MF 22 MC 213 MC 212 MC 211 #O Самолет IL86 TU154 AN74 …