Каналы взаимодействия процессов

Данными в моделях Керка могут быть только состояния процессов. Поэтому необходимо иметь логические устройства ввода, которые снабжают процессы правильными данными в нужный момент времени. Логическое устройство ввода будем называть каналом.

Канал между процессом производителем и процессом потребителем обозначим , где упорядоченная пара, а – множество каналов, необходимых для осуществления взаимодействий в системе.

Для разных типов взаимодействий требуются разные типы каналов.

Нулевой канал не передает информацию, но гарантирует работу процессов и на одном множестве пусковых моментов, то есть .

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

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

Асинхронный канал передает информацию как и синхронный канал, но связывает процессы, выполняющиеся на разных множествах пусковых моментов.

В общем случае допускается ввод других типов каналов, поэтому для перечисленной совокупности типов каналов должно выполняться условие .

Канал , связывающий процессы и , можно определить как отображение

,

где – (value) область изменения значений состояний процесса ;

– (domain) область определения входных данных процесса .

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