Примітка. Слід зазначити, що семантика мета-мета-моделі не входить в опис мови UML

Слід зазначити, що семантика мета-мета-моделі не входить в опис мови UML. З одного боку, це робить мову UML більш простішою для вивчення, оскільки не вимагає знання загальної теорії формальних мов і формальної логіки. З іншого боку, наявність мета-мета-моделі надає мові UML статус науковості, що необхідна їй для того, щоб бути несуперечливою формальною мовою. Якщо ці особливості можуть бути мало цікавими для багатьох програмістів, то розробники інструментальних засобів ніяк не можуть їх ігнорувати.

Мета-модель є екземпляром або конкретизацією мета-мета-моделі. Головне завдання цього рівня – визначити мову для специфікації моделей. Даний рівень є більше конструктивним, ніж попередній, оскільки володіє більше розвинутою семантикою базових понять. Всі основні поняття мови UML – це поняття рівня мета-моделі. Приклади таких понять – клас, атрибут, операція, компонент, асоціація й багато інших. Саме розгляду семантики й графічної нотації понять рівня мета-моделі присвячені наступні розділи.

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

Конкретизація понять моделі відбувається на рівні об'єктів. У справжньому контексті об'єкт є екземпляром моделі, оскільки містить конкретну інформацію про те, чому в дійсності відповідають ті або інші поняття моделі. Прикладом об'єкта може служити наступний запис у проектованій базі даних: "Любомира Лугова, 25 років, викладач, вул. Сихівська, 10- 20, 100-0000".

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

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

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

Поиск по сайту: