|
|
Technical Report: DCC-98-7
Um Ambiente para Computações Distribuídas, Concorrência e
Mobilidade de Código
Álvaro Figueira*, Fernando Silva*, Luís Lopes* e Vasco Vasconcelos**
* DCC-FC & LIACC, Universidade do Porto
** Dep. Informática, Universidade de Lisboa
Novembro 1998
Resumo
Este artigo apresenta uma arquitectura para implementar o sistema
DiTyCO, isto é, o Distributed TyCO. O TyCO é um cálculo de processos
baseado no "lambda-calculus" assíncrono e com a adição de estruturas de
escolha em que os componentes básicos são mensagens e objectos. A
expansão do cálculo para um sistema distribuído é a forma natural de
introduzir concorrência "pura" através de vários utilizadores em
várias máquinas. A arquitectura apresentada é suficientemente
independente da linguagem para servir de suporte a outras linguagens.
|
