Глава 7

Процессы с передачей сообщений

7.1Действия с передачей сообщений

Введённое и изученное в предыдущих главах понятие процесса допускает различные обобщения.

Одно из таких обобщений заключается в добавлении к действиям из Act некоторых параметров, т.е. рассматриваются такие процессы, у которых выполняемые действия имеют вид

(a, p)

где a Act, и p – параметр, который может иметь, например следующий смысл:

•сложность (или стоимость) выполнения действия a

•приоритет действия a по отношению к другим действиям

•момент времени, в который произошло действие a

•длительность действия a

•вероятность совершения действия a

•или что-либо другое.

166

В настоящей главе мы рассматриваем один из вариантов такого обобщения, который связан с добавлением к действиям из Act параметров, представляющих собой сообщения, передаваемые при выполнении этих действий.

Напомним, что, согласно нашей неформальной интерпретации понятия действия,

•выполнение процессом действия вида α ! заключается в передаче другому процессу объекта с именем α, и

•выполнение процессом действия вида α ? заключается в получении от другого процесса объекта с именем α.

Обобщим данную интерпретацию следующим образом. Будем считать, что к объектам, которыми обмениваются процессы, можно добавлять сообщения, т.е. действия процессов могут иметь вид

где α Names, и v – сообщение, которое может представлять собой

•число,

•символьную строку,

•банкноту,

•материальный ресурс,

•и т.п.

Выполняя действие вида α ! v или α ? v, процесс передаёт или получает вместе с объектом α сообщение v.

Напомним, что понятие передаваемого объекта, как и понятия приёма и передачи, могут иметь виртуальный характер (более подробно см. параграф 2.3).

Для формального описания процессов, которые могут выполнять действия вида (7.1), мы обобщим понятие процесса.

167