Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
13 FO R M A L I S M O S E PA R A D I G M A S U S A N D O T R O C A
D E M E N S AG E N S
(este capítulo será completamente reestruturado)
Este Capítulo apresenta brevemente alguns formalismos e paradigmas baseados nas
primitivas descritas no Capítulo 12.
13.1 communicating sequential processes e mensagens
síncronas
Processos sequenciais comunicantes ou CSP (Communicating Sequantial Processes) são um
formalismo teórico para descrição de processos concorrentes usando troca síncrona de
mensagens.
O trabaho original de Tony Hoare assemelhava-se a uma linguagem de programação
[47] (embora nunca tenha sido implementada naquela forma). Versões posteriores
evoluiram para a formula de um Cálculo de Processos [48] – um formalismo que permite
analisar e demonstrar propriedades de programas ou protocolos que envolvem processos
concorrentes e que se comunicam de forma síncrona.
13.1.1 Motivação: problemas com objetos
Como mencionado por Peter Welch [49], há diversos problemas na abordagem comum
para programação orientada a objetos. Por exemplo, suponha que as duas linhas de
código Java a seguir são parte de um método de um objeto A. Não há como saber o valor
da variável saldo após a execução destas linhas.
Versão Preliminar
saldo = 0;
umObjeto . fazAlgo ();
[ 27 de outubro de 2010 at 15:47 ]
279