Особенности моделирования поведения объектов в форме диаграммы конечного автомата. Понятие состояния и перехода, их графическая нотация. Спецификация внутренних действий простого состояния. Последовательные и параллельные композитные состояния. Исторические состояния глубокой и неглубокой истории, их семантика. Описание реакции объекта на асинхронные внешние события в форме диаграммы конечного автомата. Примеры построения диаграмм конечного автомата.
Особенности графического представления диаграмм деятельности в нотации языка UML 2. Понятие узла деятельности и узла объекта. Потоки управления и объектов. Ветвление и распараллеливание потока управления с помощью специальных символов. Центральный буфер и хранилище данных. Особенности графического изображения диаграммы деятельности с дорожками. Использование диаграмм деятельности для моделирования бизнес-процессов. Примеры построения диаграмм деятельности.
Диаграмма последовательности как логическое представление поведения разрабатываемой системы. Понятие линии жизни классов и сообщений, их графическая нотация. Представление времени на диаграмме последовательности. Комбинированные фрагменты, их нотация и семантика. Особенности использования логических условий в комбинированных фрагментах языка UML 2. Временные ограничения и их запись. Примеры построения диаграмм последовательности в проектах UML 2.
Диаграммы композитной структуры, коммуникации и пакетовDEVTYPE
Особенности представления внутренней структуры классов в UML 2. Основные элементы диаграммы композитной структуры и их графическая нотация. Классы и интерфейсы на диаграмме композитной структуры. Порты и соединители. Интегрированное представление элементов структуры и поведения на диаграмме коммуникации. Нотация линий жизни и связей между ними. Графическое изображение сообщений, посылаемых и принимаемых линиями жизни. Особенности представления архитектуры сложной программной системы в форме диаграммы пакетов. Нотация пакетов и отношений между ними в языке UML 2.Примеры построения диаграмм композитной структуры, диаграмм и пакетов коммуникации.
Особенности графического представления диаграмм деятельности в нотации языка UML 2. Понятие узла деятельности и узла объекта. Потоки управления и объектов. Ветвление и распараллеливание потока управления с помощью специальных символов. Центральный буфер и хранилище данных. Особенности графического изображения диаграммы деятельности с дорожками. Использование диаграмм деятельности для моделирования бизнес-процессов. Примеры построения диаграмм деятельности.
Диаграмма последовательности как логическое представление поведения разрабатываемой системы. Понятие линии жизни классов и сообщений, их графическая нотация. Представление времени на диаграмме последовательности. Комбинированные фрагменты, их нотация и семантика. Особенности использования логических условий в комбинированных фрагментах языка UML 2. Временные ограничения и их запись. Примеры построения диаграмм последовательности в проектах UML 2.
Диаграммы композитной структуры, коммуникации и пакетовDEVTYPE
Особенности представления внутренней структуры классов в UML 2. Основные элементы диаграммы композитной структуры и их графическая нотация. Классы и интерфейсы на диаграмме композитной структуры. Порты и соединители. Интегрированное представление элементов структуры и поведения на диаграмме коммуникации. Нотация линий жизни и связей между ними. Графическое изображение сообщений, посылаемых и принимаемых линиями жизни. Особенности представления архитектуры сложной программной системы в форме диаграммы пакетов. Нотация пакетов и отношений между ними в языке UML 2.Примеры построения диаграмм композитной структуры, диаграмм и пакетов коммуникации.
Диаграмма компонентов как модель представления физической структуры разрабатываемой системы. Понятие компонента программной системы и его графическая нотация. Семантика компонента в контексте реализации классов логической модели. Порты, интерфейсы и соединители на диаграмме компонентов. Особенности построения диаграммы компонентов в качестве модели архитектуры разрабатываемой программной системы. Примеры построения диаграмм компонентов.
Диаграмма развертывания как модель представления физической архитектуры распределенной информационной системы. Понятия узла, устройства и среды выполнения, их графическая нотация. Основные отношения на диаграмме развертывания и их графическое представление. Различные способы представления отношения развертывания. Пути коммуникации и аннотирования манифестов. Представление физических аспектов материальных ресурсов, задействованных в реализации системы. Примеры построения диаграмм развертывания.
РАЗРАБОТКА ПО С ИСПОЛЬЗОВАНИЕМ FINITE STATE MACHINE.Pavel Tsukanov
Мы расскажем что такое конечный автомат (Finite State Machine - FSM) и как его использовать при разработке ПО. Поделимся опытом использования, расскажем как улучшить дизайн программы или её отдельные части при помощи FSM. Рассмотрим некоторые реализации FSM.
Cтатический анализ кода (на примере DDD-фреймворка)ngrebnev
Они расскажут как при разработке бизнес-приложений в модели Domain-driven design они предупреждают ошибки программиста с помощью статического анализа кода и доменной модели. А именно: возможности ORM-платформы по статическому анализу, преимущества широкого использования Linq, декларативных ограничений, модель состояний и формальной верификации элементов доменной модели.
Они разберут, в чем заключается удобство разработчика по использованию статического анализа и простота применения механизмов для задания формальных ограничений на модель предметной области. Интеграция средств статического анализа ORM в среду разработки, невозможность игнорирования ошибок, гарантия прохождения всех статических проверок до первого запуска программы. Ограниченные возможности запросов Linq к модели предметной области по сравнению с Linq to Objects и пути их преодоления.
Они расскажут, как обстоят дела с аналогичными механизмами в других ORM-системах и почему они решили реализовать собственную платформу для поддержки разработки в рамках DDD.
Метапрограммирование: строим конечный автомат. Сергей Федоров ➠ CoreHard Aut...corehard_by
Реализовывать конечные автоматы руками с помощью switch case или наследования с виртуальными функциями очень трудоёмко и подвержено ошибкам. На докладе я расскажу о библиотеке конечных автоматов AFSM (Another Finite State Machine), которая позволяет воспользоваться декларативным языком для описания машины состояний. Также я расскажу о небольших трюках и хитростях метапрограммирования на примерах из кода этой библиотеки.
Диаграмма компонентов как модель представления физической структуры разрабатываемой системы. Понятие компонента программной системы и его графическая нотация. Семантика компонента в контексте реализации классов логической модели. Порты, интерфейсы и соединители на диаграмме компонентов. Особенности построения диаграммы компонентов в качестве модели архитектуры разрабатываемой программной системы. Примеры построения диаграмм компонентов.
Диаграмма развертывания как модель представления физической архитектуры распределенной информационной системы. Понятия узла, устройства и среды выполнения, их графическая нотация. Основные отношения на диаграмме развертывания и их графическое представление. Различные способы представления отношения развертывания. Пути коммуникации и аннотирования манифестов. Представление физических аспектов материальных ресурсов, задействованных в реализации системы. Примеры построения диаграмм развертывания.
РАЗРАБОТКА ПО С ИСПОЛЬЗОВАНИЕМ FINITE STATE MACHINE.Pavel Tsukanov
Мы расскажем что такое конечный автомат (Finite State Machine - FSM) и как его использовать при разработке ПО. Поделимся опытом использования, расскажем как улучшить дизайн программы или её отдельные части при помощи FSM. Рассмотрим некоторые реализации FSM.
Cтатический анализ кода (на примере DDD-фреймворка)ngrebnev
Они расскажут как при разработке бизнес-приложений в модели Domain-driven design они предупреждают ошибки программиста с помощью статического анализа кода и доменной модели. А именно: возможности ORM-платформы по статическому анализу, преимущества широкого использования Linq, декларативных ограничений, модель состояний и формальной верификации элементов доменной модели.
Они разберут, в чем заключается удобство разработчика по использованию статического анализа и простота применения механизмов для задания формальных ограничений на модель предметной области. Интеграция средств статического анализа ORM в среду разработки, невозможность игнорирования ошибок, гарантия прохождения всех статических проверок до первого запуска программы. Ограниченные возможности запросов Linq к модели предметной области по сравнению с Linq to Objects и пути их преодоления.
Они расскажут, как обстоят дела с аналогичными механизмами в других ORM-системах и почему они решили реализовать собственную платформу для поддержки разработки в рамках DDD.
Метапрограммирование: строим конечный автомат. Сергей Федоров ➠ CoreHard Aut...corehard_by
Реализовывать конечные автоматы руками с помощью switch case или наследования с виртуальными функциями очень трудоёмко и подвержено ошибкам. На докладе я расскажу о библиотеке конечных автоматов AFSM (Another Finite State Machine), которая позволяет воспользоваться декларативным языком для описания машины состояний. Также я расскажу о небольших трюках и хитростях метапрограммирования на примерах из кода этой библиотеки.
Statements in VHDL - Sequential Statementsvitaliykulanov
The lecture is about statements in VHDL - classification and principles of work. Sequential statements (operators) in VHDL: principles, operators, examples
The document discusses the benefits of exercise for mental health. Regular physical activity can help reduce anxiety and depression and improve mood and cognitive function. Exercise causes chemical changes in the brain that may help protect against mental illness and improve symptoms.
Точечная оценка. Определение
Пример 1
Свойства точечных оценок
Несмещенность
Пример 2
Состоятельность
Эффективность
Асимптотическая нормальность
Робастность
Описательная статистика, цели. Вариационный ряд
Полигон частот
Гистограмма
Гистограмма, пример. Выбор числа интервалов
Выборочные характеристики
Характеристики положения и рассеяния
Выборочные характеристики двумерной выборки
Основные задачи математической статистики. Примеры задач
Выборка.Выборочное пространство. Примеры
Простой случайный выбор. Реальные виды выборов
Функция распределения выборки
Эмпирическая вероятностная мера
Теорема Гливенко-Кантелли
This document defines continuity and uniform continuity of functions. A function f is continuous on a set S if small changes in the input x result in small changes in the output f(x). A function is uniformly continuous if the same relationship holds for all inputs and outputs simultaneously, not just for a fixed input. Several examples are provided to illustrate the difference. The key difference is that a continuous function may depend on the specific input point, while a uniformly continuous function does not. Functions that satisfy a Lipschitz inequality are proven to be uniformly continuous.
This document discusses algorithms for solving the coin change problem of finding the minimum number of coins needed to make a given monetary value. It describes greedy, recursive, and dynamic programming approaches. The greedy algorithm works optimally for coin denominations of 10, 5, 1 by always selecting the highest value coin first. However, the greedy approach does not always give the optimal solution in general. Dynamic programming improves on the recursive solution by storing intermediate results in an array to avoid recomputing the same subproblems.
The document discusses recurrences and methods for solving them. It covers:
1) Divide-and-conquer algorithms can often be modeled with recurrences. Examples include merge-sort and matrix multiplication.
2) Common methods for solving recurrences are substitution, iteration/recursion trees, and the master method. The master method provides a general solution for recurrences of the form T(n) = aT(n/b) + nc.
3) Strassen's matrix multiplication algorithm improves on the naive O(n^3) time by using a recurrence with a=7 to achieve O(n^2.81) time via the master method. Changing variables can sometimes simplify recurrences.
Диаграммы Юнга, плоские разбиения и знакочередующиеся матрицыDEVTYPE
Сколько есть способов разбить натуральное число в сумму нескольких слагаемых, если суммы, отличающиеся только порядком слагаемых, считаются одинаковыми? Оказывается, что на этот, казалось бы, элементарный вопрос нет простого ответа. Зато теория, начинающаяся с этого вопроса, оказывается очень интересной, а ее результаты находят применение в самых разных разделах математики и математической физики.
Настоящая брошюра написана по материалам лекций, прочитанных автором на летней школе «Современная математика» в Дубне в июле 2013 года. Она рассчитана на старшеклассников и студентов младших курсов.
This document introduces asymptotic notation used to analyze the runtime of algorithms. Big O notation describes upper bounds on function growth, while Ω notation describes lower bounds. Functions are asymptotically equivalent (Θ) if they have matching upper and lower bounds. Limits can be used to establish relationships between asymptotic classes in some cases, but not always - examples show membership in a class does not necessarily imply limits exist.
Опечатки в слайдах на видео: в псевдокоде алгоритма решения непрерывной задачи о рюкзаке предметы должны сортироваться по убыванию (а не возрастанию) удельной стоимости.
- Определение чисел Фибоначчи, скорость роста
- Общая формула, экспоненциальная скорость роста
- Наивный алгоритм и анализ его времени работы
- Более быстрый алгоритм и анализ его времени работы, заключение
- Более детальный анализ алгоритма вычисления чисел Фибоначчи
- Определения O(⋅), преимущества и недостатки их использования для оценки времени работы алгоритмов
- Определения Ω(⋅),Θ(⋅),o(⋅), общие правила сравнения скорости роста стандартных функций
- Графики нескольких часто используемых функций
- Скорости часто используемых функций на практике, заключение
1. Учебный курс
Язык UML в анализе и проектировании
программных систем и бизнес-процессов
Лекция 5
Диаграмма конечного автомата
Автор:
Леоненков Александр Васильевич
кандидат технических наук,
старший научный сотрудник
2. Диаграмма конечного автомата
- является графом, который представляет некоторый конечный
автомат
Конечный автомат (state machine) представляет собой некоторый
формализм для моделирования поведения отдельных элементов
модели или системы в целом
Поведение (behavior) является спецификацией того, как экземпляр
классификатора изменяет значения отдельных характеристик в
течение своего времени жизни
Состояние (state) – элемент модели поведения, предназначенный
для представления ситуации, в ходе которой поддерживается
некоторое условие инварианта
Переход (transition) является направленным отношением между
двумя состояниями, одно из которых является вершиной
источником (source vertex), а другое – целевой вершиной (target
vertex)
5. Простое состояние (simple state)
- называется состояние, которое не имеет внутренних
регионов и подсостояний
На диаграмме конечного автомата допускается изображать
состояния без имени, которые называются анонимными
состояниями
Все анонимные состояния считаются различными
На одной диаграмме нежелательно показывать одно и то же
именованное состояние дважды, поскольку это может
привести к недоразумению
Ожидание
ввода
пароля
entry/установитьсимволыневидимыми
exit/установитьсимволывидимыми
символ/обработатьсимвол
помощь/открытьокнопомощи
НаборПароляОткрытиесчета
7. Секция внутренней деятельности
entry - эта метка специфицирует поведение, которое также
называют входным поведением. Это поведение выполняется
всякий раз, когда происходит вход в данное состояние
независимо от перехода, позволившего достичь это состояние
(действие на входе)
exit - эта метка специфицирует поведение, которое также
называют выходным поведением. Это поведение
выполняется всякий раз, когда происходит выход из данного
состояния независимо от перехода, который выводит из этого
состояния (действие на выходе)
do - эта метка специфицирует поведение, которое
выполняется до тех пор, пока моделируемый элемент
находится в данном состоянии, или до тех пор, пока не
закончится выполнение деятельности, специфицированной
соответствующим выражением (ду деятельность)
9. Внутренние переходы и отложенные
события
Внутренний (internal) переход выполняется без выхода из
состояние и без повторного входа в состояние, в котором он
определен
Событие, которое не инициирует никаких переходов в
текущем состоянии, не может быть обработано. Однако, если
его тип совпадает с одним из типов в множестве отложенных
событий этого состояния, то оно остается в пуле событий.
Отложенные события сохраняются до тех пор, пока не будет
достигнуто другое состояние, в котором эти события смогут
инициировать некоторый переход
Отложенное событие представляется отдельной строкой
текста в соответствии с рассмотренным ранее формальным
синтаксисом для триггера, после которой следует
разделитель “/” (обратный слэш) и ключевое слово defer
10. Спецификация перехода
Событие (event) является спецификацией некоторых
условий, которые оказывают влияние на поведение
моделируемой сущности
Триггер (trigger) устанавливает отношение события с
поведением, которое может оказывать влияние на экземпляр
классификатора
11. Спецификация перехода
Переход может быть помечен строкой текста, синтаксис которой
определяется следующим выражением (БНФ):
<переход>:: = <триггер> [‘,’<триггер>]* [‘[‘<сторожевое-
ограничение>’]’] [‘/’<выражение-деятельности>]
Здесь <триггер> представляет собой имя триггерного события,
вернее, его типа. В качестве имени триггера могут использоваться
имена операций с параметрами или без них.
Терм <сторожевое-ограничение>, которое в прежних версиях
языка UML 1.х называется сторожевым условием (guard condition),
является логическим выражением, записанным в терминах
параметров триггерного события, атрибутов и связей объекта
контекста.
Терм <выражение-деятельности>, который иногда называют
выражением поведения, выполняется, если и только если переход
срабатывает
12. Составной переход (compound transition)
- является производным семантическим понятием, которое
представляет “семантически полный” путь, совершаемый
одним или несколькими переходами.
Передача сигнала является действием, которое имеет
специальную графическую нотацию, описанную ранее при
рассмотрении диаграмм деятельности
Прием сигнала, который также называют приемом триггера,
является действием, которое имеет специальную
графическую нотацию, описанную ранее при рассмотрении
диаграмм деятельности
Синтаксис приема сигнала:
<прием-сигнала>:: = <триггер> [‘,’ <триггер>]*
[‘[‘<сторожевое-условие>‘]’]
14. Конфликтующие переходы
Два и более разрешенных перехода называются
конфликтующими (conflicting), если все они выходят из
одного и того же состояния, или, более точно, пересечение
множеств их состояний источников не является пустым
Пример конфликта переходов и вариант устранения
конфликта
поступилзапрос
[обычныйзапрос]
Ожидание
запроса
Обработка
запроса
Формирование
отчета
поступилзапрос
[запроснаотчет]
[else]
Ожидание
запроса
Обработка
запроса
Формирование
отчета
[запроснаотчет]
поступилзапрос
15. Псевдосостояния (pseudo state)
– абстрактный элемент модели, который включает в себя
различные типы вспомогательных вершин в графе конечного
автомата
Начальное псевдосостояние (initial pseudo state)
представляет вершину графа конечного автомата, которая по
умолчанию является состоянием источником для начального
перехода моделируемого поведения
Узел завершения (terminate node) является
псевдосостоянием, вход в который означает завершение
выполнения поведения конечного автомата в контексте его
объекта
Финальное состояние (final state) – специальный вид
состояния, предназначенное для моделирования завершения
конечного автомата или региона, в котором оно содержится
16. Начальное псевдосостояние, узел
завершения и пример их использования
Принят
stm Заказ
Отменен
заполнить
Оплачен
Отгружен Закрыт
Заполнен
оплатить
отменить
отменить
отгрузить закрыть
удалить
удалить
17. Выбор и соединение
Псевдосостояние выбора (choice pseudo state)
предназначено для моделирования нескольких
альтернативных ветвей при реализации поведения конечного
автомата
Псевдосостояние соединения (junction pseudo state) является
вершиной со свободной семантикой, которая используется
для соединения вместе нескольких переходов
[Id>=10]
[Id<10]
[>=10]
[<10]
Id
[else]
[Id>10]
[Id<10]
e2[b>0]
Состояние1
[a<0]
Состояние2
Состояние3 Состояние5Состояние4
e1[b>0]
[a=5]
[else]
18. Разделение и слияние
Вершина разделения (fork vertex) – псевдосостояние,
предназначенное для разделения входящего перехода на два
или более перехода, которые имеют в качестве своих целей
вершины в ортогональных регионах композитного состояния.
Вершина слияния (join vertex) – псевдосостояние,
предназначенное для соединения нескольких переходов,
которые имеют в качестве своих источников вершины из
различных ортогональных регионов композитного состояния.
stm Процесс
A1 A2
B1 B2
Обработка
Установка Очистка
19. Точки входа и выхода
Точка входа (entry point) – псевдосостояние, предназначенное
для моделирования входа в некоторый конечный автомат или
композитное состояние
Точка выхода (exit point) – псевдосостояние, предназначенное
для моделирования выхода из некоторого конечного автомата
или композитного состояния
Выборсуммы
суммавведена
Вводдругой
суммы
выбордругой
суммы
отмена
stm ВводсуммыATM
отмена
суммавыбрана
повторныйввод отменен
20. Композитные состояния и регионы
Композитное состояние (composite state) – состояние,
содержащее в своем составе один регион или несколько
ортогональных регионов.
Регион (region) – специальный элемент модели, который
содержит состояния и переходы, и является частью
композитного состояния или конечного автомата.
Ортогональное (orthogonal) композитное состояние –
композитное состояние, содержащее более одного региона,
которые в этом случае называются ортогональными
регионами (orthogonal regions)
21. Обозначение простого композитного
состояния
Любое состояние, заключенное в регион композитного
состояния, называется подсостоянием (substate) этого
композитного состояния
Оно называется прямым подсостоянием (direct substate),
если оно не содержится в никаком другом состоянии; в
противном случае оно называется непрямым подсостоянием
(indirect substate).
22. Пример композитного состояния с регионом
и нотация ортогональных регионов
Дозвондоабонента
наборцифры(n)
[номерполный]
entry/номер.добавить(n)
Наборномера
entry/начатьтонвызов
exit/остановитьтонвызов
Начало
наборцифры(n)
[номерполный]
Имя
Ортогональный
регион1
Ортогональный
регион2
отменен
23. Вход в простое композитное состояние
Вход по умолчанию. Графически это изображается
некоторым входящим переходом, который оканчивается на
границе символа данного композитного состояния
24. Вход в простое композитное состояние
Явный вход. Если переход входит в некоторое подсостояние
простого композитного состояния, то такое подсостояние
становится активным, а его входное действие выполняется
после выполнения входного действия композитного
состояния.
25. Вход в простое композитное состояние
Вход в точку входа. Если переход входит в простое
композитное состояние через точку входа, то выполняется
входное поведение композитного состояния до действия,
ассоциированного с тем внутренним переходом, который
выходит из этой точки входа.
Выборсуммы
суммавведена
Вводдругой
суммы
выбордругой
суммы
отмена
stm ВводсуммыATM
отмена
суммавыбрана
повторныйввод отменен
26. Выход из простого композитного состояния
Выход по умолчанию. Графически это изображается
некоторым выходящим переходом, который берет начало на
границе символа простого композитного состояния и не
содержит имени триггерного события.
27. Выход из простого композитного состояния
Явный выход. Графически это также изображается
выходящим переходом, который берет начало на границе
символа простого композитного состояния и содержит имя
некоторого триггерного события. Такой переход также
называют внешним (external) переходом.
При этом выполняются выходные действия композитного
состояния после выполнения выходных действий
подсостояния источника. Это правило применяется
рекурсивно, если переход выходит из транзитивно
вложенного композитного состояния.
28. Выход из простого композитного состояния
Выход по верхнеуровневому переходу. Если переход
выходит из некоторого подсостояния и пересекает границу
простого композитного состояния, то срабатывание такого
перехода приводит к выходу из этого композитного
состояния и делает активным целевое состояние этого
перехода. Такой переход называется верхнеуровневым
переходом
29. Выход из простого композитного состояния
Выход из точки выхода. Если в простом композитном
состоянии происходит выход через точку выхода, то
выходные действия композитного состояния выполняются
перед действиями, ассоциированными с переходом,
выходящим из этой точки выхода.
Набортекста
[ошибокнет]
Проверка
правописания
наборзакончен
прерывано
Редактированиетекста
H
[ошибкиесть]
Внесение
исправлений
исправления
внесены
entry/перевестиредакторвактивныйрежим
exit/перевестиредакторвпассивныйрежим
проверказакончена
прерывание
31. Псевдосостояние неглубокой истории
(shallow pseudo state)
- предназначено для представления самого последнего
активного подсостояния композитного состояния после
выхода из него
Набортекста
[ошибокнет]
Проверка
правописания
наборзакончен
прерывано
Редактированиетекста
H
[ошибкиесть]
Внесение
исправлений
исправления
внесены
entry/перевестиредакторвактивныйрежим
exit/перевестиредакторвпассивныйрежим
проверказакончена
прерывание
32. Вход в простое композитное состояние
Вход в неглубокую историю. Если переход оканчивается на
псевдосостоянии неглубокой истории, то активным
подсостоянием становится наиболее последнее активное
подсостояние до этого входа, за исключением, когда
наиболее последним активным подсостоянием является
финальное состояние или если это есть первый вход в
данное композитное состояние.
Вход в глубокую историю. Правило здесь такое же, что и для
неглубокой истории, за исключением того, что это правило
применяется рекурсивно ко всем уровням в этой
конфигурации активных состояний, начиная от уровня
рассматриваемого псевдосостояния глубокой истории и
ниже.
33. Псевдосостояние глубокой истории
(deep pseudo state)
- предназначено для представления последней активной
конфигурации композитного состояния после выхода из него
[ошибокнет]
Проверка
правописания
вводзакончен
прерывано
Редактированиетекста
H*
[ошибкиесть]
Внесение
исправлений
исправления
внесены
entry/перевестиредакторвактивныйрежим
exit/перевестиредакторвпассивныйрежим
проверказакончена
прерывание
Набортекста
Ввод
символов
Формати-
рование
форматирование
закончено
34. Ортогональное композитное состояние
– композитное состояние, содержащее более одного региона,
которые в этом случае называются ортогональными
регионами (orthogonal regions)
36. Вход и выход в ортогональном композитном
состоянии
Вход в ортогональное композитное состояние и выход из него
осуществляются в соответствии с рассмотренными ранее
правилами входа и выхода простого композитного состояния, с
учетом наличия в нем нескольких ортогональных регионов.
Лабораторная
работа1
Обучение
выполнена Лабораторная
работа1
Курсовойпроект
выполнен
выполнена
Экзамен
сдан
Неудовлетво-
рительное
Успешное
несдан
stm Прохождениекурса
38. Передача и прием сигнала
Передача сигнала является действием, которое имеет
специальную графическую нотацию, аналогичную
используемой на диаграммах деятельности
Прием сигнала, который также называют приемом триггера,
является действием, которое имеет специальную
графическую нотацию, используемую также на диаграммах
деятельности
Синтаксис приема сигнала:
<прием-сигнала>:: = <триггер> [‘,’ <триггер>]*
[‘[‘<сторожевое-условие>‘]’]
39. Пример диаграммы конечного автомата с
символами приема сигнала и передачи
сигнала
[обычныйзапрос] [срочныйзапрос]
Ожидание
запроса
Запрос
срочный
Запрос
обычный
обычныйЗапрос:=id; срочныйЗапрос:=id;
Выполнение
запроса
запрос(id)
40. Композитные состояния с пиктограммой
скрытой декомпозиции
Композитное состояние может явно иметь секцию
декомпозиции
Эта секция содержит вложенную диаграмму, которая
показывает структуру внутреннего поведения в терминах
регионов, состояний и перехода
Редактированиетекста
entry/перевестиредакторвактивныйрежим
exit/перевестиредакторвпассивныйрежим
Имяскрытогокомпозита
41. Самостоятельное задание №6
Выполнить текущее тестирование: вопросы 24-29
Разработать диаграмму конечного автомата для ATM
Изобразить следующие состояния: Ожидание карточки,
Ожидание ввода ПИН-кода, Возврат карточки,
Блокирование карточки, Проверка ПИН-кода, Ожидание
выбора типа транзакции, Обработка транзакции.
Изобразить переходы между состояниями.
Детализировать композитное состояние: Обработка
транзакции