UML – унифицированный язык моделирования

языком визуального моделирования, разработанным для спецификации, визуализации, проектирования и документирования

программных систем.
Как средство проектирования программных систем язык UML предназначен для технологии объектно-ориентированного программирования. Однако используемые в нем методы описания систем могут использоваться как средства графического представления моделей.

на части, каждую из которых затем рассматривают и разрабатывают отдельно.

При этом используется либо функциональное деление системы, либо объектная декомпозиция.
При функциональном делении программной системы её структура может быть описана схемой, узлы которой обозначают выполняемые функции, а связи указывают последовательность их выполнения.

системы.
При объектной декомпозиции система разбивается на объекты или компоненты, которые

взаимодействуют друг с другом, обмениваясь сообщениями. Сообщения описывают или представляют собой некоторые события. Получение объектом сообщения активизирует его и побуждает выполнять предписанные его программным кодом действия. Как следствие, программная система перестает быть последовательностью определенных на этапе кодирования действий,

системы, но и её внешнее окружение, например, пользователи.
Объекты имеют свойства

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

быть подклассом другого класса. Из определения класса следует, что каждый

объект является экземпляром одного определенного класса.
Важной особенностью объекта является его автономность и возможность использования в качестве библиотечного компонента языка программирования. Таким образом, однажды разработанный и отлаженный программный код может многократно применяться в различных программных модулях.

и вызвать соответствующий метод.
Такая технология разработки программных модулей получила название

объектно-ориентированного программирования.
Основными принципами объектно-ориентированного программирования являются наследование, инкапсуляция и полиморфизм.

разрешается применять для более узкой категории, называется наследованием.
Принцип инкапсуляции характеризует

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

моделирования:
абстрагирование - в модель следует включать только те элементы проектируемой

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

отражает определенный аспект её поведения или структуры;
- иерархическое построение –

при описании системы используются различные уровни абстрагирования и детализации в рамках фиксированных представлений. При этом первое представление системы описывает её в наиболее общих чертах и является представлением концептуального уровня, а последующие уровни раскрывают различные аспекты системы с возрастающей степенью

UML отражает компонентный состав проектируемой системы с точки зрения ее

реализации на аппаратной и программной платформах конкретных производителей.
В UML определены четыре типа сущностей: структурные, поведенческие, группирующие и аннотационные. Сущности являются основными объектно-ориентированными элементами языка, с помощью которых создаются модели.

языке UML. Как правило, они представляют статические части модели, соответствующие

концептуальным или физическим элементам системы. Примерами структурных сущностей являются «класс», «интерфейс», «кооперация», «прецедент», «компонент», «узел», «актер».
2) Поведенческие сущности являются динамическими составляющими модели UML. Это глаголы, которые описывают поведение модели во времени и в пространстве. Существует два основных типа поведенческих сущностей:

между объектами в рамках конкретного контекста для достижения определенной цели;

автомат - алгоритм поведения, определяющий последовательность состояний, через которые объект или взаимодействие проходят в ответ на различные события.
3) Группирующие сущности являются организующими частями модели UML. Это блоки, на которые можно разложить модель. Такая первичная сущность имеется в единственном экземпляре - это пакет.

отличие от компонентов, которые реально существуют во время работы программы,

пакеты носят чисто концептуальный характер, то есть существуют только в процессе разработки.
4) Аннотационные сущности – это пояснительные части модели UML: комментарии для дополнительного описания, разъяснения или замечания к любому элементу модели. Имеется только один базовый тип аннотационных элементов - примечание.

виде неформального или формального текста.

Отношения в UML 
В языке

UML определены следующие типы отношений: зависимость, ассоциация, обобщение и реализация. Эти отношения являются основными связующими конструкциями UML и также как сущности применяются для построения моделей.

котором изменение одной из них, независимой, может повлиять на семантику

другой, зависимой.
2) Ассоциация (association) - структурное отношение, описывающее совокупность смысловых или логических связей между объектами.
3) Обобщение (generalization) - это отношение, при котором объект специализированного элемента (потомок) может быть подставлен вместо объекта обобщенного элемента

(child) наследует структуру и поведение своего предка (parent).
4) Реализация (realization)

является семантическим отношением между классификаторами, при котором один классификатор определяет обязательство, а другой гарантирует его выполнение. Встречаются в двух случаях: между интерфейсами и реализующими их классами или компонентами; между прецедентами и реализующими их кооперациями.

так называемые, общие механизмы:
спецификации (specifications);
дополнения (adornments);
деления (common

divisions);
расширения (extensibility mechanisms).
UML является не только графическим языком. За каждым графическим элементом его нотации стоит спецификация, содержащая текстовое представление соответствующей конструкции языка.

и поведение, хотя визуально, на диаграмме, пиктограмма часто отражает только

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

визуальное представление самых важных его характеристик. Нотация сущности «класс» содержит

его имя, атрибуты и операции. Спецификация класса может содержать и другие детали, например, видимость атрибутов и операций, комментарии или указание на то, что класс является абстрактным. Многие из этих деталей можно визуализировать в виде графических или текстовых дополнений к стандартному прямоугольнику, который изображает класс.

существует деление на классы и объекты. Класс - это абстракция,

а объект - конкретное воплощение этой абстракции. В графическом представлении для объекта принято использовать тот же символ, что и для класса, а название подчеркивать.
Во-вторых, существует деление на интерфейс и его реализацию.

и обеспечивает точное следование объявленной семантике. В связи с этим,

почти все конструкции UML характеризуются двойственностью «интерфейс/реализация». Например, прецеденты реализуются кооперациями, а операции - методами.
UML является открытым языком, то есть допускает контролируемые расширения, чтобы отразить особенности моделей предметных областей.

на основе существующих элементов языка создавать новые, ориентированные для решения

конкретной проблемы;
помеченные значения (tagged value) - расширяют свойства основных конструкций UML, позволяя включать дополнительную информацию в спецификацию элемента;
ограничения (constraints) - расширяют семантику конструкций UML, позволяя создавать новые правила.

конструкциями, но для удобства можно разделить их на несколько представлений.
На

самых высоких уровнях абстракции различают три основных представления: структурная классификация, динамическое поведение и управление моделью.
Структурная классификация описывает системные сущности и их отношения между собой. В число классификаторов, имеющихся в моделях UML, входят классы, варианты использования, компоненты и узлы.

представлениям классификации относятся статическое представление, представление вариантов использования и представление

программной реализации.
Динамическое поведение описывает поведение системы во времени. Представления моделей динамического поведения включают в себя представление конечных автоматов, представление деятельности и представление взаимодействия.

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

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

языка UML определены следующие их  виды:
диаграмма вариантов использования или прецедентов

(use case diagram)
диаграмма классов (class diagram)
диаграммы поведения (behavior diagrams)
диаграмма состояний (statechart diagram)
диаграмма деятельности (activity diagram)
диаграммы взаимодействия (interaction diagrams) 

(implementation diagrams)
диаграмма компонентов (component diagram)
диаграмма развертывания (deployment diagram)

При этом, диаграмма вариантов использования представляет концептуальную модель системы, которая является исходной для построения всех остальных диаграмм.

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

динамические аспекты её функционирования. Диаграммы реализации служат для представления компонентов системы и относятся к ее физической модели.
В качестве самостоятельных представлений используются следующие диаграммы: вариантов использования, классов, состояний, деятельности, последовательности, кооперации, компонентов и развертывания.

важны с точки зрения заключенной в них информации:
связи, которые представляются

различными линиями на плоскости;
текст, содержащийся внутри границ отдельных геометрических фигур;
графические символы, изображаемые вблизи визуальных элементов диаграмм.