Унифицированный язык моделирования UML (Unified Modeling Language) — это графический язык моделирования общего назначения, предназначенный для спецификации, визуализации, проектирования и документирования всех артефактов, создаваемых при разработке программных систем.

Главными в разработке UML были следующие цели:

1. Предоставить пользователям готовый к использованию выразительный язык визуального моделирования, позволяющий разрабатывать осмысленные модели и обмениваться ими;
2. Предусмотреть механизмы расширяемости и специализации для расширения базовых концепций; обеспечить независимость от конкретных языков программирования и процессов разработки;
3. Обеспечить формальную основу для понимания этого языка моделирования (язык должен быть одновременно точным и доступным для понимания, без лишнего формализма);
4. Стимулировать рост рынка объектно-ориентированных инструментальных средств;
5. Интегрировать лучший практический опыт.

Общая структура UML 

Семантика – раздел языкознания, изучающий значение единиц языка, прежде всего его слов и словосочетаний.

Синтаксис – способы соединения слов и их форм в словосочетания и предложения, соединения предложений в сложные предложения, способы создания высказываний как части текста.

Таким образом, применительно к UML, семантика и синтаксис определяют стиль изложения (построения моделей), который объединяет естественный и формальный языки для представления базовых понятий (элементов модели) и механизмов их расширения.

Нотация представляет собой графическую интерпретацию семантики для ее визуального представления.

В UML определено три типа сущностей:

- структурная – абстракция, являющаяся отражением концептуального или физического объекта;

- группирующая – элемент, используемый для некоторого смыслового объединения элементов диаграммы;

- поясняющая (аннотационная) – комментарий к элементу диаграммы.

Отношения в UML, используются на диаграммах для указания связей между сущностями.

Механизмы расширения, применяются для уточнения семантики сущностей и отношений.

Диаграмма представляет собой группировку элементов нотации для отображения некоторого аспекта разрабатываемой информационной системы. Диаграммы представляют собой, как правило, связный граф, в котором сущности являются вершинами, а отношения – дугами.