Page 124 - 4190

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

UML мови об'єктних обмежень (Object Constraint Language).
Семантика мови UML описується в основному природною мо-
вою, але може включати деякі додаткові позначення, що випливають

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

ний характер (асоціація, композиція, агрегація, співпраця, стан). З
іншого боку, кожне з цих понять допускає свою конкретизацію на рі-
вні моделі (співробітник, відділ, посада, стаж).

Складність опису семантики мови UML випливає з цієї двоїстості
понять. Тут ми повинні дотримуватися традиційних правил викладу,
оскільки розуміння семантики носить індуктивний характер і вимагає

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

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

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

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

специфікування семантики простих фраз рекомендується використа-
ти такі правила:
1. Явно вказувати в тексті екземпляр деякого метакласу. Йдеться

про те, що в природній мові ми часто опускаємо слово "приклад" або
"екземпляр", кажучи просто "клас". Так, фразу "Атрибут вік класу
співробітник має значення 30 років" слід записати точніше, а саме:

"Атрибут вік екземпляра класу співробітник має значення 30 років".
2. У кожен момент часу використовується тільки те значення сло-

124