Составители:
constefeVT
se
T
=−×⊂
∈∀ )(
. (1.12)
Данный критерий [см. формулу (1.12)] позволяет выделять управляющие
входы и входы данных различных элементов для формирования ФБ ОСМВ.
Согласно формуле (1.9) поведение ФБ можно рассматривать как две
независимых операции. Преобразование данных является частью общей
функциональной декомпозиции. Функция преобразования времени является
характеристикой самого ФБ и может зависеть от конкретной реализации.
Данная функция определяет масштабы времени ФБ, время обработки входных
сигналов и соотношение входных и выходных сигналов. Введение в модель
функции f
t
позволяет учесть временные аспекты моделирования, что очень
важно для получения полной картины функционирования системы. Кроме того,
за реализацию временных параметров отвечает та часть функциональности,
которая преобразует временной атрибут события ОСМВ. В дальнейшем более
подробно будет рассмотрена функция f
t
, так как именно она определяет
характеристики распространения событий в модели.
Порт
Как было сказано выше, функционирование системы происходит с
помощью передачи событий между ФБ. Механизмом обмена событиями между
ФБ называется порт. Порт воспринимает событие, сгенерированное одним из
ФБ (для каждого порта генерировать события может только один ФБ), и
передает его на входы других ФБ, которых в общем случае может быть
несколько.
Порт предназначен для восприятия события от ФБ источника и передачи
его нескольким ФБ потребителям. Порт должен передавать как само событие,
так и его атрибуты. Порты, как и ФБ, должны быть отображены на целевые
узлы системы. Так как порт соединяется с входами/выходами ФБ, то каждый из
этих ФБ хотя бы частично должен быть “отображен” на тот же самый узел
целевой системы. Если ФБ не в состоянии воспринять распространяемое
портом событие или событие предназначается для асинхронного входа ФБ, то
задачей порта становится буферизация события. Глубина буфера порта – одно
событие. Если есть необходимость более “глубокой” буферизации событий, для
этого в модель системы необходимо вводить специальные ФБ.
Для передачи события между ФБ порт при реализации требует
определенных структурных ресурсов. Ресурсы необходимы для размещения
данных события и его атрибутов. Объем ресурсов, требуемых для размещения
события, зависит от типов элементов множеств T и V, которые составляют
событие
VvTtVTvte ∈∈×∈= ,,},{
. (1.13)
Важно рассмотреть различные способы реализации портов, описанных в
ОСМВ. На рис. 1.14 представлена часть модели целевой системы,
51
Страницы
- « первая
- ‹ предыдущая
- …
- 50
- 51
- 52
- 53
- 54
- …
- следующая ›
- последняя »
