Общие механизмы В UML - презентация, доклад, проект скачать

Нажмите для полного просмотра!

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Общие механизмы В UML. Доклад-сообщение содержит 58 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

Описание слайда:

Слайд 2

Описание слайда:

Общие механизмы В UML имеются общие правила и механизмы, которые относятся ко всему языку в целом. Выделяют следующие общие механизмы: внутреннее представление модели; дополнения; подразделения; механизмы расширения.

Слайд 3

Описание слайда:

Внутреннее представление Модель имеет внутреннее представление Для графов используются способы представления: матрица смежности, списки смежности и др. Разработчики инструментов для моделирования на UML придумать свое (что обычно и делается). У каждого элемента модели есть «оборотная сторона», где записаны все свойства, даже те, которые в данном контексте не нужно или нельзя показывать на картинке.

Слайд 4

Описание слайда:

Внутреннее представление Внутреннее представление содержит список стандартных свойств, определенных для каждого элемента модели. Такое внутреннее представление может быть однозначно переведено во внешнее представление. Внутреннее представление может быть переведено в текст в формате XMI (конкретное приложение XML) без потери информации. Текстовое представление моделей UML используется инструментами моделирования, например, для обмена моделями.

Слайд 5

Описание слайда:

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

Слайд 6

Описание слайда:

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

Слайд 7

Описание слайда:

Подразделения Пример 1. Четко различается о чём идет речь: об общем описании некоторого множества однотипных объектов (т. е. о классе) или о конкретном объекте из некоторого множества однотипных объектов (т. е. об экземпляре класса). Это различие передается единообразно: если это конкретный объект, то его имя подчеркивается; если это класс, то оно не подчеркивается.

Слайд 8

Описание слайда:

Подразделения Пример 2. Если абстрактный интерфейс, то при записи имени используется курсивное начертание шрифта, если конкретная реализация — используется прямое начертание.

Слайд 9

Описание слайда:

Механизмы расширения Механизмы расширения — это встроенный в язык способ изменить язык. Авторы UML при унификации различных методов постарались включить в язык как можно больше различных средств (удерживая объем языка в рамках разумного), так чтобы язык оказался применимым в разных контекстах и предметных областях. Но вполне могут возникать и возникают случаи, когда стандартных элементов моделирования не хватает или они не вполне адекватны.

Слайд 10

Описание слайда:

Механизмы расширения Механизмы расширения позволяют определять новые элементы модели на основе существующих управляемым и унифицированным способом. Таких механизмов три: • помеченные значения; • ограничения; • стереотипы.

Слайд 11

Описание слайда:

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

Слайд 12

Описание слайда:

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

Слайд 13

Описание слайда:

Механизмы расширения Ограничение — это логическое утверждение относительно значений свойств элементов модели. Логическое утверждение может иметь два значения: истина и ложь, то есть задаваемое им условие либо выполняется, либо не выполняется. Указывая ограничение для элемента модели, мы расширяем его семантику, требуя, чтобы ограничение выполнялось. Ограничение может относится к отдельному элементу или к совокупности элементов модели или к совокупности элементов модели.

Слайд 14

Описание слайда:

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

Слайд 15

Описание слайда:

Механизмы расширения Стереотип — это определение нового элмента моделирования в UML на основе существующего элемента моделирования. Определение стереотипа производится следующим образом. Взяв за основу некоторый существующий элемент модели, к нему добавляют новые помеченные значения (расширяя тем самым внутреннее представление), новые ограничения (расширяя семантику) и дополнения, то есть новые графические элементы (расширяя нотацию).

Слайд 16

Описание слайда:

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

Слайд 17

Описание слайда:

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

Слайд 18

Описание слайда:

Механизмы расширения

Слайд 19

Описание слайда:

Общие свойства модели Модель в целом может обладать (или не обладать) важными свойствами, которые оказывают значительное влияние на ее практическую применимость. Исчерпывающим образом описать эти свойства во вступительном обзоре невозможно — их детализация рассредоточена по все книге, но назвать и обозначить необходимо. правильность; непротиворечивость; полнота; вариации семантики.

Слайд 20

Описание слайда:

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

Слайд 21

Описание слайда:

Общие свойства модели В некоторых случаях даже синтаксически правильная модель может содержать такие конструкции, семантика которых не определена или неоднозначна. Такая модель называется противоречивой (ill formed), а модель, в которой все в порядке и семантика всех конструкций определяется однозначно, называется непротиворечивой (well formed).

Слайд 22

Описание слайда:

Общие свойства модели Например, пусть мы определим в модели, что класс A является подклассом класса B, класс B — подкласс C, а класс C — подкласс A. Каждое из этих отношений обобщения в отдельности допустимо и синтаксически правильно, а все вместе они образуют противоречие. Ответственность за непротиворечивость модели лежит на ее авторе.

Слайд 23

Описание слайда:

Общие свойства модели Модель не создается мгновенно — она появляется в результате многочисленных итераций и на каждой из них не полна. В некоторых случаях оказывается достаточно одной диаграммы использования, а в других необходимы диаграммы всех типов, прорисованные до мельчайших деталей. Все зависит от прагматики, т. е. от того, для чего составляется модель. Полнота – критерий субъективный.

Слайд 24

Описание слайда:

Общие свойства модели В описании семантики UML определено некоторое количество точек вариации семантики. По сути авторы стандарта говорят: «мы понимаем это так-то и так-то, но допускаем, что другие могут это понимать иначе». При реализации языка в конкретном инструменте разработчики в точке вариации семантики вправе выбрать альтернативный вариант, если он не противоречит семантике остальной части языка. Рядовому пользователю точки вариации семантики не заметны и он может о них не думать.

Слайд 25

Описание слайда:

Слайд 26

Описание слайда:

Слайд 27

Описание слайда:

Слайд 28

Описание слайда:

Слайд 29

Описание слайда:

Слайд 30

Описание слайда:

Слайд 31

Описание слайда:

Слайд 32

Описание слайда:

Слайд 33

Описание слайда:

Диаграмма состояний Конечный автомат (state machine) - модель для спецификации поведения объекта в форме последовательности его состояний, которые описывают реакцию объекта на внешние события, выполнение объектом действий, а также изменение его отдельных свойств. Вершинами графа конечного автомата являются состояния. Дуги графа служат для обозначения переходов из состояния в состояние.

Слайд 34

Описание слайда:

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

Слайд 35

Описание слайда:

Состояние На диаграммах состояний применяется всего один тип сущностей — состояния, и всего один тип отношений — переходы. Совокупность состояний и переходов между ними образует машину состояний. Машина состояний — термин, принятый в англоязычной литературе, но обозначающий тоже самое, что конечный автомат.

Слайд 36

Описание слайда:

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

Слайд 37

Описание слайда:

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

Слайд 38

Описание слайда:

Состояние Простое состояние имеет следующую структуру: имя; действие при входе; действие при выходе; внутренняя активность.

Слайд 39

Описание слайда:

Пример состояния с действиями

Слайд 40

Описание слайда:

Состояние Имя состояния является обязательным. Все остальные составляющие простого состояния не являются обязательными.

Слайд 41

Описание слайда:

Состояние Действие при входе (обозначается при помощи ключевого слова entry) — это указание атомарного действия , которое должно выполняться при переходе автомата в данное состояние. Действие при выходе (обозначается при помощи ключевого слова exit) — это указание атомарного действия, которое должно выполняться при переходе автомата из данного состояние. Действие при выходе выполняется до всех других действий, предписанных переходом, выводящим автомат из данного состояния.

Слайд 42

Описание слайда:

Состояние Внутренняя активность (обозначается при помощи ключевого слова do) — это указание деятельности, которая начинает выполняться при переходе в данное состояние после выполнения всех действий, предписанных переходом, включая действие на входе. Внутренняя активность либо заканчивается по завершении, либо прерывается в случае выполнения перехода (в том числе и внутреннего перехода). В классической модели конечный автомат, находясь в некотором состоянии, ничего не делает: он находится в состоянии ожидания перехода.

Слайд 43

Описание слайда:

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

Слайд 44

Описание слайда:

Переход Прочие составляющие — событие перехода, сторожевое условие и действия на переходе не являются обязательными. Если они присутствуют, то изображаются в виде текста в определенном синтаксисе рядом со стрелкой, изображающей переход. Синтаксис описания перехода следующий: Событие [ Сторожевое условие ] / Действие

Слайд 45

Описание слайда:

Событие перехода — это тот входной символ (стимул), который вкупе с текущим состоянием автомата определяет следующее состояние. Событие перехода — это тот входной символ (стимул), который вкупе с текущим состоянием автомата определяет следующее состояние. UML допускает наличие переходов без событий — такой переход называется переходом по завершении.

Слайд 46

Описание слайда:

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

Слайд 47

Описание слайда:

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

Слайд 48

Описание слайда:

Линия перехода может быть разбита на части, называемые сегментами. Линия перехода может быть разбита на части, называемые сегментами. Сегменты перехода — части, на которые может быть разбита линия перехода. Разбивающими элементами являются следующие фигуры: переходное состояние (изображается в виде небольшого кружка); ветвление (изображается в виде ромба).

Слайд 49

Описание слайда:

Слайд 50

Описание слайда:

Слайд 51

Описание слайда:

Составное состояние Составное состояние — это состояние, в которое вложена машина состояний. Глубина вложенности в UML неограниченна, т. е. состояния вложенной машины состояний также могут быть составными.

Слайд 52

Описание слайда:

Составное состояние Рассмотрим все известный прибор: светофор. Он может находится в двух основных состояниях: Off — вообще не работает — выключен или сломался, как слишком часто бывает; On — работает. Но работать светофор может по-разному: Blinking — мигающий желтый, дорожное движение не регулируется; Working — работает по-настоящему и регулирует движение.

Слайд 53

Описание слайда:

Составное состояние В последнем случае у светофора есть 4 видимых состояния, являющихся предписывающими сигналами для участников дорожного движения: Green — зеленый свет, движение разрешено; GreenYellow — состояние перехода из режима разрешения в режим запрещения движения (это настоящее состояние, светофор находится в нем заметное время); Red — красный свет, движение запрещено; RedYellow — состояние перехода из режима запрещения в режим разрешения движения (это состояние отличное от GreenYellow, светофор подает несколько иные световые сигналы и участники движения обязаны по другому на них реагировать).

Слайд 54

Описание слайда:

Составное состояние

Слайд 55

Описание слайда:

Составное состояние

Слайд 56

Описание слайда:

Слайд 57

Описание слайда:

Слайд 58

Описание слайда:

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

Теги Общие механизмы

Похожие презентации