PI-calculo

1 INTRODUÇÃO

Linguagens de descrição de processos são muito usadas para especificar e estudar sistemas distribuídos concorrentes. Dentre estas linguagens, destaca-se o cálculo-π, introduzido por Milner, Parrow e Walker (MILNER; PARROW, 1992), como uma linguagem para descrever sistemas concorrentes com características tais como mobilidade, dependência de parâmetros e reconfiguração dinâmica, que não podem ser expressos em CCS (MILNER, 1989).
Basicamente, o cálculo-π estende o CCS, apenas acrescentando a ele facilidades para gerar novos nomes de canais de comunicação, e para trocar nomes de canais entre processos concorrentes. Nos últimos anos, o cálculo-π vem sendo utilizado com sucesso em várias aplicações, desde a modelagem de protocolos de telecomunicações, até a modelagem de linguagens orientadas à objetos.

2 DEFINIÇÃO

O cálculo-π é um cálculo para processos que é capaz de descrever mudanças na estrutura de processos concorrentes. O cálculo- π é uma extensão do CCS com a ideia de mobilidade de canais de comunicação, preservando todas as propriedades algébricas do CCS.
O passo computacional básico do cálculo-π é a transferência de um canal de comunicação entre dois processos. Assim o processo receptor poderá usar o novo canal para futuras interações com outros processos, aos quais não teria acesso antes de receber o novo nome.

3 SINTAXE

Assume-se aqui um conjunto infinito e contável N de nomes a, b, x, y, ..., representando os canais de comunicação, variáveis e valores do cálculo, e também um conjunto de identificadores de agentes representados por A, B... . Os agentes do cálculo-π são definidos conforme a gramática da Figura x e possuem o seguinte significado intuitivo (as metavariáveis P, Q, ... são usadas para representar agentes):
1. O agente nulo 0, representa um agente vazio e que não pode realizar nenhuma ação.
2. Um agente α.P, é um agente na forma prefixa.