Mestre

Um Estudo de um Protocolo de Comunicação para Dispositivos Móveis Usando Distributed Join-Calculus

Lucy Mari Tabuti

[e-mail]

Departamento de Ciência da Computação
Faculdade IBTA

Resumo

Este artigo apresenta parte de um trabalho de mestrado que especifica os aspectos de mobilidade de um protocolo de comunicação para computação móvel usando o Distributed Join-Calculus [FGMLR96]. A especificação foi utilizada para a verificação das características do protocolo com relação à mobilidade. Além disso, estudamos a adequação do uso do Distributed Join-Calculus na especificação e análise de agentes móveis.

O protocolo escolhido para a especificação foi o RDP (Result Delivery Protocol) [ESO98]. Implementando o modelo para o RDP, no Distributed Join-Calculus, em relação às características de mobilidade, vamos analisar e verificar se algumas das propriedades inerentes ao protocolo RDP são atendidas. No presente trabalho apresentamos a especificação inicial do RDP que lida com os aspectos de mobilidade.

Palavras-chave: join-calculus, distributed join-calculus, especificação formal, mobilidade, protocolos de comunicação.

Abstract

This paper presents part of a mastership dissertation that specifies the mobility aspects of a communication protocol using the Distributed Join-Calculus [FGMLR96]. The specification will be used to verify mobility properties of the protocol. Besides that, we will study the applicability of the Distributed Join-Calculus to the specification and analysis of mobile agents.

The protocol RDP (Result Delivery Protocol) [ESO98] is initially specified, in Distributed Join-Calculus, to be analyzed and verified for some mobility properties. This paper presents the initial specification of the RDP responsible for mobility aspects.

Key words: join-calculus, distributed join-calculus, formal specification, mobility, communication protocols.

1. Introdução

Este trabalho tem como objetivo a especificação