Um estudo de um protocolo de comunicação para dispositivos móveis usando Distributed Join-Calculus (2002)
- Autores:
- Autor USP: TABUTI, LUCY MARI - IME
- Unidade: IME
- Sigla do Departamento: MAC
- Assunto: ENGENHARIA DE SOFTWARE
- Idioma: Português
- Resumo: Esta dissertação de mestrado especifica os aspectos de mobilidade de um protocolo de comunicação para computação móvel usando o Ditributed Join-Calculus. A especificação foi utilizada para a verificação das características do protocolo com relação à mobilidade. Além disso, estudamos como o uso do Distrubuted Join-Calculus pode ajudar numa melhor visão e compreensão do comportamento de agentes móveis. O Join-Calculus é um modelo formal de concorrência, com conceitos de mobilidade e distribuição, que pode ser visto de duas formas: como um cálculo de processos e como uma linguagem de programação baseada em técncas de desenvolvimento formal. O formalismo utilizado foi o Distributed Join-Calculus, uma extensão do Join-Calculus com primitivas para mobilidade e localidades explícitas. O protocolo escolhido para a especificação foi o RDP (Result Delivery Protocol). Implementando o modelo para RDP, no Distributed Join-Calculus, em relação às características de mobilidade, analisamos e verificamos se algumas das propriedades esperadas pelo protocolo RDP são atendidas. Além disso, analisamos o uso do Distributed Join-Calculus com relação à especificação do protocolo e às dificuldades de se especificar um protocolo de mobilidade. Para isso, o nosso trabalho foi dividido em três fases: a especificação de um modelo simples e restrito das características de mobilidade do protocolo RDP, para um melhor entendimento do seu funcionamento e das propriedades queanalisamos; a especificação deste protocolo de forma global; e a análise final com a verificação de algumas propriedades
- Imprenta:
- Data da defesa: 30.09.2002
-
ABNT
TABUTI, Lucy Mari. Um estudo de um protocolo de comunicação para dispositivos móveis usando Distributed Join-Calculus. 2002. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2002. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-131131/. Acesso em: 29 mar. 2024. -
APA
Tabuti, L. M. (2002). Um estudo de um protocolo de comunicação para dispositivos móveis usando Distributed Join-Calculus (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-131131/ -
NLM
Tabuti LM. Um estudo de um protocolo de comunicação para dispositivos móveis usando Distributed Join-Calculus [Internet]. 2002 ;[citado 2024 mar. 29 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-131131/ -
Vancouver
Tabuti LM. Um estudo de um protocolo de comunicação para dispositivos móveis usando Distributed Join-Calculus [Internet]. 2002 ;[citado 2024 mar. 29 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-131131/
Como citar
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas