Моделирование динамические связи систем на основе моделей состояний объектов.
Динамические связи – это связи, которые формируются между экземплярами объектов в процессе работы системы.
При этом возникают задачи:
необходимо подобрать экземпляры объектов, участвующих в связи с этой стороны
подобрать экземпляры объектов, участвующих в связи с другой стороны, задать параметры связей,
и при необходимости разорвать связь.
Например, пусть существует производственная система из нескольких станков (двух), станки имеют одинаковые технологические возможности. При поступлении в систему заготовки, возникает задача назначить ее на обработку на освободившийся станок, то есть организовать динамическую связь станок-заготовка.
В моделируемой системе для организации динамической связи может быть введён дополнительный объект – определитель, определитель выполняет функции управляющего органа. Таким образом, в системе может быть установлен следующий состав объектов:
O– Определитель,
D – деталь,
S - станок.
Для определителя могут быть установлены следующие состояния.
Описание состояний объекта «определитель»
Состояние |
Значение |
Действия |
примечание |
О1 - ожидание требования от станка |
NC=null ND=null |
Нет действий |
|
O2 – ожидание требования от детали |
NC≠null ND=null |
Нет действий |
|
O3- формирование пары |
NC≠null ND≠null |
Выработка событий NC._с2(ND), ND._D2(NC)
|
|
Описание событий объекта «определитель»
Значение События |
Состояние в котором воспринимается |
Источник события |
Действия события |
Данные события |
_O2(NCС) получение требования от станка |
O1 |
C (в состоянии С1) |
Переход O1_O2 |
NCC-указатель на станок, приславший требование |
_O3(NDD) получение требования от детали |
O2 |
D (в состоянии D1) |
Переход O2_O3 |
NDD-указатель на Деталь, приславшую требование |
_O1 |
O3 |
O (Внутреннее, выражденноесобытие) |
Переход O3_O1 (переход по завершению) |
|
Описание переходов объекта «определитель»
Значение перехода |
Событие - триггер |
Действия перехода |
O1_O2 |
_O2 |
NC=NCC |
O2_O3
|
_O3 |
ND=NDD
|
O3_O1 |
Переход по завершению |
NC=null ND=null
|
Модель состояния объекта «станок».
C2 – соответствует состоянию станка, когда происходит обработка детали.
C1 – соответствует простою станка.
Для станка потребуется следующие атрибуты:
NC - указатель на деталь закреплённую за станком.
Описание состояний объекта «станок»
Состояние |
Значение |
Действия |
Примечание |
C1 Простой станка |
ND=null |
Выработка событий O._O2(this) |
Действие выполняется периодически, требуется таймер |
С2 – обработки детали |
ND≠null
|
Временная задержка соответствующая времени обработки; ND._D3; С1 |
Для реализации задержки требуется таймер |
Описание событий объекта «станок»
Событие |
Состояние в котором воспринимается |
Источник события |
Действия события |
Данные события |
_С2(NDD) Назначение детали на станок. |
C1 |
O (в состоянии O3) |
Переход С1_С2 |
NDD-указатель на деталь, назначенную на станок |
_С1 |
С2 |
С (внутреннее событие, выражденное) |
Переход С2_С1 |
|
Описание переходов объекта «станок»
Значение
|
Событие - триггер |
Действия перехода |
C1_C2 |
_C2(NDD) |
ND=NDD |
C2_C1
|
По завершению С2 |
ND=null
|
Модель состояний объекта «деталь».
В модели состояния детали можно выделить 3 состояния
D1 – появление детали в системе.
D2 – состояние обработки детали на станке
D3 – состояние готовой детали.
Описание состояний объекта D деталь
Состояние |
Значение |
Действия |
Пимечание |
D1 Появление детали в системе |
NC=null |
Выработка события O._O3(this) |
Действие периодическое – требуется таймер |
D2 Обработка заготовки на станке |
NC≠null |
Нет действий |
|
D3 |
NC≠null |
Нет действий |
Вывод детали из системы (уничтожение) |
Описание событий объекта D «Деталь»
Событие |
Состояние в котором воспринимается |
Источник события |
Действия события |
Данные события |
_D2(NCC) Назначение детали на станок. |
D1 |
O (в состоянии O3) |
Переход D1_D2 |
NCC-указатель на станок на который назначена обработка |
_D3 |
D2 |
С (в состоянии С2) |
Переход D2_D3 |
|
Описание переходов объекта «Деталь»
Значение
|
Событие - триггер |
Действия перехода |
D1_D2 |
_D2(NCC) |
NC=NCC |
D2_D3
|
_D3 |
NC=null
|