Tese

Um estudo de um protocolo de comunicação para dispositivos móveis usando Distributed Join-Calculus (2002)

• Authors:
  • Tabuti, Lucy Mari
  • Melo, Ana Cristina Vieira de (Orientador)
• Autor USP: TABUTI, LUCY MARI - IME
• Unidade: IME
• Sigla do Departamento: MAC
• Assunto: ENGENHARIA DE SOFTWARE
• Language: Português
• Abstract: 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:
  • Publisher place: São Paulo
  • Date published: 2002
• Data da defesa: 30.09.2002


---

How to cite

A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

• 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: 19 abr. 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 abr. 19 ] 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 abr. 19 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-131131/

Últimas obras dos mesmos autores vinculados com a USP cadastradas na BDPI:

• O cubo mágico no ensino da matemática e do raciocínio lógico