Объектно ориентированное моделирование систем

Структура лекции
Диаграмма состояний.
Диаграмма композитной/составной структуры.
Пример.
Практические реализации:

Диаграмма состояний
Диаграмма состояний - графическое представление конечного автомата.
Конечный автомат — описывает поведение отдельной системы(объекта) в форме последовательностей состояний.

Диаграмма состояний (statechart diagram), основные принципы
Независимость состояний.
Детерминированность...
Состояний
Переходов
Разделенность переходов от состояний по временным характеристикам.
Конечность количества состояний.
Связанность структуры. (изолированные участки, тупиковые состояния).

Состояние.
Классическое представление.
UML описание.

Переход
Переход представляет отношение между 2-мя состояниями, указывает факт смены одного состояния на другое.
Событие
Сторожевое условие
Действие перехода

Специальные состояния

Диаграмма композитной структуры (Composite structure diagram)
- статическая структурная диаграмма, демонстрирует внутреннюю структуру классов и, по возможности, взаимодействие элементов (частей) внутренней структуры класса.
Капсула (part), черный ящик.
Порт.
Связь (коннектор).

Диаграмма композитной структуры

Пример использования
Описание структуры и логики конвейера ПО.
Дан конвейер, который имеет:
- 3 датчика наличия детали на конвейере, один входной(Д1), и два выходных (Д2, Д3).
- оптическую систему контроля качества (Камера).
- одно переключающие устройство, задачей которого является перенаправленные бракованных(сортированных) изделий на другую линию(ПУ).
Задача заключается в сортировке изделий, и защиты линии от блокирования изделий на конвейере.

ООМ РВ конвейера
Controler
Порт
Д1
Порт
Кам.
Порт
Д2
Порт
Д2
Порт
ПУ
Д1
Камера
Д2
Д3
П.У.

Диаграмма состояний конвейера
Ожидание
Д1
Ожидание
Камеры
Обработка
изображения
Переключение
ПУ на Д2
Переключение
ПУ на Д3
Ожидание
Д2
Ожидание
Д3
Ошибка

Пример реализации
QP(Quantum Processor)

Разъяснение обозначений
State machine — конечный автомат,
QEP UMP (Event Processor) — Программный процессор управления событиями для конечных автоматов.
QF Event-Driven Framework - каркас управления событиями
QK Preemtive Kernel … - уровень распределение ресурсов.
BSP (Base System Platform) — базовая системная платформа
Target — аппартное окружение или целевая платформа.

Пример диаграммы

Вопросы?