Page 123 - 4190

декларативній або концептуальній семантиці, опускаючи деталі кон-
кретної фізичної реалізації моделей. При цьому окремі реалізації, що
використовують цю логічну метамодель, мають бути погоджені з її
семантикою, а також підтримувати можливості імпорту і експорту

окремих логічних моделей.
У той самий час, логічна метамодель може бути реалізована різ-
ними способами для забезпечення необхідного рівня продуктивності і

надійності відповідних інструментальних засобів. У цьому полягає
недолік логічної моделі, яка не містить на рівні семантики вимог,
обов'язкових для її ефективної подальшої реалізації. Проте узгодже-
ність метамоделі з конкретними "моделями реалізації є обов'язковою

для усіх розробників програмних засобів, що забезпечують підтримку
мови UML.
Метамодель мови UML має досить складну структуру, яка вклю-

чає близько 90 метакласів, більше 100 метаасоціацій і майже 50 сте-
реотипів, число яких зростає з появою нових версій мови. Щоб впо-
ратися з цією складністю мови UML, усі його елементи організовані в

логічні пакети. Тому розгляд мови UML на метамо-дельном рівні по-
лягає в описі трьох його найбільш загальних логічних блоків або па-
кетів: основні елементи, елементи поведінки і загальні механізми.

Специфіка опису метамоделі мови UML

Метамодель мови UML описується на деякій напівформальній
мові з використанням трьох видів представлень:

1. Абстрактного синтаксису
2. Правил правильної побудови виразів
3. Семантики

Абстрактний синтаксис є моделлю для опису деякої частини мо-
ви UML, призначеної для побудови діаграм класів на основі описів
систем природною мовою. Можливості абстрактного синтаксису в
мові UML досить обмежені і мають відношення тільки до інтерпрета-

ції позначень окремих компонентів діаграм, зв'язків між компонента-
ми і допустимих додаткових позначень. До елементів абстрактного
синтаксису відносяться деякі ключові слова і значення окремих атри-

бутів базових понять рівня метамоделі, які мають фіксоване позна-
чення у вигляді тексту на природній мові.
Правила правильної побудови виразів використовуються для за-
вдання додаткових обмежень або властивостей, які повинні мати ті

або інші компоненти моделі. Оскільки початковим поняттям ТОП є

123