Взаимодействующие последовательные процессы

Взаимодействующие последовательные процессы (CSP) также являются процессной алгеброй. Ее автор — Тони Хоаре 16]. Сначала CSP были опубликованы как программно-языковые элементы, а затем в последующие годы формализованы под влиянием Робина Мильнера [7]. В отличие от CCS, сначала в CSP нет различия между отправкой и получением. Если процессы соединяются операторами, то и события с одинаковыми именами из связанных процессов объединяются.

На рис. 14.17 описан процесс подачи запроса на командировку в CSP. У сотрудника возможно событие «запрос служебной командировки», а затем событие «отказ» или «утверждено/одобрепо». Событие «SKIP» описывает то, что процесс завершен. В процессе «начальник» также возможно событие «запрос командировки», а затем соответствующие события-последствия. Если процесс «сотрудник» соединяется с процессом «начальник» через оператора || (см. последнюю строчку), то оба процесса имеют одинаковое начальное событие, и в обоих процессах производится соответствующий переход (символ стрелки в строчках 1 и 2).

На более широком уровне CSP возможно проведение событий в операциях отправки и получения, которые проходят через порты и могут передавать данные. Поэтому в CSP есть предикаты «отправить» и «получить», а также объекты (сообщения), с помощью которых могут производиться эти простые предикаты.

Рис. 14.17. Описание запроса на командировку в нотации CSP.

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