ISSN 1812-3368. Вестник МГТУ им. Н.Э. Баумана. Сер. «Естественные науки». 2012
184
концепции конфликт доступа, возникающий, когда методы
A
и
B
вычисляют одну и ту же характеристику
A
X X
и
B
X X
,
может
быть разрешен, например, введением метода
,
C
который, получая на
входе в качестве параметров
A
X
и
B
X
,
вычисляет на их основании
искомую характеристику
,
X
устраняя тем самым не только кон-
фликт доступа к ней, но и, очевидно, возникающую неоднозначность
вычисления упомянутой характеристики. Принятая дисциплина до-
ступа к характеристикам позволяет вызывать параллельно те методы,
которые в модельном времени выполняются одновременно.
Как и всякий метод, каждый элемент имеет входные и возвраща-
емые параметры. Концепция моделирования предполагает возмож-
ность распределенного вычисления элементов, т. е. элемент, вообще
говоря, может быть найден разработчиком компоненты в Интернете,
поэтому его параметры таковы, какими их сделал его автор, и, скорее
всего, никак не согласованы с характеристиками компоненты, кото-
рые реализовал ее разработчик. Поэтому при описании компоненты
необходимо уделять внимание описанию коммутаций входных пара-
метров элементов с внутренними и внешними характеристиками
компоненты и выходных параметров элементов — с ее внутренними
характеристиками.
4.
События. Событие — это то, что нельзя пропустить при моде-
лировании динамики системы — точки синхронизации различных ее
функциональностей, представляемых процессами, т. е. моменты вре-
мени, в которые получены такие значения характеристик модели и
внешних переменных, на которые обязаны отреагировать некоторые
процессы компоненты.
Формально событие — функция значений внутренних и внешних
переменных в начале шага моделирования. С точки зрения организа-
ции имитационных вычислений, событие — метод, входными пара-
метрами которого является подмножество внутренних и внешних ха-
рактеристик компоненты, а выходной параметр один — прогнозиру-
емое время до наступления этого события. Если это время равно
нулю, значит, событие уже наступило. События управляют чередова-
нием элементов в процессе.
Если для каждой упорядоченной пары элементов процесса
{ , }
A B
возможен переход, ему обязательно соответствует метод-событие
{ , }
A B
E
,
прогнозирующий время этого перехода. Возможны также со-
бытия вида
{ , }
,
A A
E
прерывающее выполнение элемента
A
,
например,
если его еще не нужно заканчивать, но он вычислил характеристики
компоненты, которые могут повлечь смену элементов других процес-
сов. Процесс перехода должен быть однозначным. Одновременное
наступление событий
{ , }
A B
E
и
{ , }
A C
E
свидетельствует лишь о том, что