Диаграммы состояний и деятельности языка UML.

— диаграммы поведения системы (behavior diagrams):

· диаграммы состояний(statechart diagrams) для моделирования поведения объектов системы при переходе из одного состояния в другое;

· диаграммы деятельностей(иногда называют диаграммами активности) (activity diagrams) для моделирования поведения системы в рамках различных вариантов использования или деятельностей;

— диаграммы реализации (implementation diagrams):

· диаграммы компонентов (component diagrams)для моделирования иерархии компонентов (подсистем) системы;

· диаграммы размещения(deployment diagrams, иногда называют диаграммами поставки, развертывания, топологии) для моделирования физической архитектуры системы.

Диаграмма состояний (Statechart diagram) показывает автомат, фокусируя внимание на потоке управления от состояния к состоянию. Автомат (State machine) -это описание последовательности состояний, через которые проходит объект на протяжении своего жизненного цикла, реагируя на события, - в том числе описание реакций на эти события. Состояние (State) - это ситуация в жизни объекта, на протяжении которой он удовлетворяет некоторому условию, осуществляет определенную деятельность или ожидает какого-то события. Событие (Event) - это спецификация существенного факта, который происходит во времени и пространстве. В контексте автоматов событие - это стимул, способный вызвать срабатывание перехода. Переход (Transition) - это отношение между двумя состояниями, показывающее, что объект, находящийся в первом состоянии, должен выполнить некоторые действия и перейти во второе состояние, как только произойдет определенное событие, и будут выполнены заданные условия. Деятельность (Activity) -это продолжающееся неатомарное вычисление внутри автомата. Действие (Action) - это атомарное вычисление, которое приводит к смене состояния или возврату значения. Диаграмма состояний изображается в виде графа с вершинами и ребрами.

Методология функционального моделирования (IDEF0).

Процесс создания IDEFO-модели

Процесс моделирования в IDEF0 включает в себя:

- сбор информации об исследуемом объекте;

- документирование полученной информации и представление ее в виде модели;

- уточнение модели посредством итеративного рецензирования.

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

Можно назвать следующие способы получения сведений об изучаемой системе:

- чтение документации;

- наблюдение за работой системы;

- опрос с помощью анкет большой группы специалистов;

- беседа с экспертами, обладающими соответствующим опытом и необходимыми сведениями о системе;

- использование той информации, которой уже владеет автор;

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

Построение IDEF0-модели

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

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

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

Цель определяет назначение модели и выявляет причину ее создания (функциональная спецификация, инструмент проектирования и т. д.).

Отправной точкой для любого анализа является ограничение контекста. Аналитику необходимо решить, что будет центральным (главным) элементом, прежде чем будет создан самый верхний блок. Следует остерегаться "дрейфа" из этой тщательно выбранной стартовой области. Каждый шаг должен сверяться с данной стартовой целью. Те данные, которые ей не соответствуют, могут быть отложены для последующего моделирования [2, c. 367].

Моделирование начинается с создания диаграммы А-0. Затем рисуется одиночный блок, содержащий название функции, которая охватывает полные возможности (контекст) описываемой системы, с использованием входных, управляющих и выходных дуг для представления данных и объектов системы, реализующих интерфейс с окружающей ее средой. Эта одноблочная диаграмма ограничивает контекст для полной модели и формирует основание для дальнейшей декомпозиции. Цель и точка зрения записываются на А-0 контекстной диаграмме.