WikiDer > Расчет коммуникационных систем

Эта статья нужны дополнительные цитаты для проверка. Пожалуйста помоги улучшить эту статью к добавление цитат в надежные источники. Материал, не полученный от источника, может быть оспорен и удален Найдите источники: «Расчет коммуникационных систем» – Новости · газеты · книги · ученый · JSTOR (Ноябрь 2011 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

В расчет коммуникационных систем (CCS) это процесс исчисления представлен Робин Милнер около 1980 года и название книги, описывающей математические вычисления. Его действия моделируют неделимое общение ровно между двумя участниками. Формальный язык включает примитивы для описания параллельной композиции, выбора между действиями и ограничения области действия. CCS полезен для оценки качественной правильности свойств системы, таких как тупик или же лайвлок.^[1]

По словам Милнера, «нет ничего канонического в выборе базовых комбинаторов, хотя они были выбраны с большим вниманием к экономии. Наше исчисление характеризует не точный выбор комбинаторов, а выбор интерпретации и математической основы. ".

Выражения языка интерпретируются как маркированная переходная система. Между этими моделями двойное сходство используется как семантическая эквивалентность.

Синтаксис

Учитывая набор имен действий, набор процессов CCS определяется следующими Грамматика BNF:

${ Displaystyle P :: = 0 , , , | , , , a.P_ {1} , , , | , , , A , , , | , , , P_ {1} + P_ {2} , , , | , , , P_ {1} | P_ {2} , , , | , , , P_ { 1} [b / a] , , , | , , , P_ {1} { backslash} a , , ,}$

Части синтаксиса в указанном выше порядке

неактивный процесс

неактивный процесс ${ displaystyle 0}$ это действующий процесс CCS

действие

процесс ${ displaystyle a.P_ {1}}$ может выполнить действие ${ displaystyle a}$ и продолжайте как процесс ${ displaystyle P_ {1}}$

идентификатор процесса

записывать ${ Displaystyle A { overset { underset { mathrm {def}} {}} {=}} P_ {1}}$ использовать идентификатор ${ displaystyle A}$ сослаться на процесс ${ displaystyle P_ {1}}$ (который может содержать идентификатор ${ displaystyle A}$ самого себя, т.е. разрешены рекурсивные определения)

выбор

процесс ${ displaystyle P_ {1} + P_ {2}}$ может продолжаться либо как процесс ${ displaystyle P_ {1}}$ или процесс ${ displaystyle P_ {2}}$

параллельная композиция

${ displaystyle P_ {1} | P_ {2}}$ говорит, что процессы ${ displaystyle P_ {1}}$ и ${ displaystyle P_ {2}}$ существуют одновременно

переименование

${ Displaystyle P_ {1} [б / а]}$ это процесс ${ displaystyle P_ {1}}$ со всеми названными действиями ${ displaystyle a}$ переименован в ${ displaystyle b}$

ограничение

${ displaystyle P_ {1} { backslash} a}$ это процесс ${ displaystyle P_ {1}}$ без действий ${ displaystyle a}$

Связанные исчисления, модели и языки

• Связь последовательных процессов (CSP), разработанная Тони Хоар, является формальным языком, возникшим одновременно с CCS.
• В Алгебра коммуникационных процессов (ACP) был разработан Ян Бергстра и Ян Виллем Клоп в 1982 г. и использует аксиоматический подход (в стиле Универсальная алгебра), чтобы рассуждать о том же классе процессов, что и CCS.
• В пи-исчисление, разработан Робин Милнер, Джоахим Парроу и Дэвид Уокер в конце 80-х расширили CCS с помощью мобильности каналов связи, позволив процессам сообщать имена каналов связи сами.
• PEPA, разработан Джейн Хиллстон вводит время активности с точки зрения экспоненциально распределенных скоростей и вероятностного выбора, позволяя оценивать показатели производительности.
• Обратимые коммуникационные параллельные системы (RCCS), представленные Винсент Данос, Жан Кривини др., вводит (частичную) обратимость в выполнении процессов CCS.

Некоторые другие языки на основе CCS:

• Расчет систем вещания
• Язык спецификации временного упорядочивания (LOTOS)
• Расчет процессов для пространственно-явных экологических моделей (PALPS) - это расширение CCS с вероятностным выбором, местоположениями и атрибутами местоположений^[2]
• Механизм интерпретатора языка Java Orchestration (Джоли)^[3]

Модели, которые использовались при исследовании CCS-подобных систем:

• Исторический моноид
• Актерская модель

Рекомендации

• Робин Милнер: Расчет взаимодействующих систем, Springer Verlag, ISBN 0-387-10235-3. 1980.
• Робин Милнер, Коммуникация и параллелизм, Прентис Холл, Международная серия компьютерных наук, ISBN 0-13-115007-3. 1989