Especificação de um Protocolo de Comunicação Comercial em Join-Calculus
Resumo
A proposta deste trabalho é fazer um estudo de caso utilizando o distributed join-calculus (linguagem de especificação baseada em técnicas de desenvolvimento formal) para especificar um protocolo de comunicação comercial (WAP) e verificar seus resultados e características em relação à mobilidade (agentes móveis). O join-calculus é um modelo formal de concorrência com conceitos de mobilidade e distribuição. O distributed join-calculus é uma extensão do join-calculus com locations explícitas e primitivas para mobilidade.
Palavras-chave:
pi-calculus, join-calculus, especificação formal, mobilidade, protocolos de comunicação
Referências
R. M. Amadio e S. Prasad. Modelling IP Mobility. IFCPAR 1502-1. CONCUR 98. Junho 1998.
G. Bruns e S. Anderson. The formalization and Analysis of a Communications Protocol. Technical Report. University of Edinburgh. 1990.
J.C.M.Baeten, editor. Applications of Process Algebra. Cambridge University Press. 1990.
C. E. Perkins e P. Bhagwat. A Mobile Networking System Base on Internet Protocol. IEEE Personal Communications. 1:32-41. 1994.
G. Boudol. Asynchrony and the Pi-calculus. Technical Report 1702, INRIA Sophia-Antipolis, Maio 1992.
S. Conchon e F. L. Fessant. Jocaml: Mobile Agents for Objective-Caml. INRIA Rocquencourt. Maio 1999.
P. Ernberg, L. Fredlund e B. Jonsson. Specifications and Validation of a Simple Overtaking Protocol in LOTOS. In. Proc. 4th International Conference on Formal Description Techniques. 1991.
C. Fournet e G. Gonthier. The Reflexive Chemical Abstract Machine and the Join-calculus. In 23rd ACM Symposium on Principles of Programming Languages, POPL'96, 1996.
C. Fournet, G. Gonthier, J.-J. Lévy, L. Maranget e D. Rémy. A Calculus of Mobile Agents. In 7th International Conference on Concorrency Theory, CONCUR'96, 1996, LNCS 1119.
A. Harter e F. Bennett. Low Bandwidth Infra-Red Networks and Protocols for Mobile Communications Devices. Technical Report. Olivetti Research Ltd. 1993.
J. Ioannidis. Protocols for mobile Internetworking. Technical Report. Columbia University. 1993.
R. Milner. Communication and Concurrency. Prentice Hall, 1989.
R. Milner. The Polyadic Pi-calculus: a tutorial. Technical Report ECS-LFCS-91-180, University of Edinburgh, UK, Outubro 1991.
R.Milner, J.Parrow e D. Walker. A Calculus of Mobile Processes (Partes I e II). Information and Computation, 100:1-77, 1992.
J. P. Mello e P. Wauner. Wireless Mobile Communications. Byte. 147-153. 1993.
"Wireless Aplication Architecture Specification", WAP Forum, Abril 1998. URL: http://www.wapforum.org/.
G. Bruns e S. Anderson. The formalization and Analysis of a Communications Protocol. Technical Report. University of Edinburgh. 1990.
J.C.M.Baeten, editor. Applications of Process Algebra. Cambridge University Press. 1990.
C. E. Perkins e P. Bhagwat. A Mobile Networking System Base on Internet Protocol. IEEE Personal Communications. 1:32-41. 1994.
G. Boudol. Asynchrony and the Pi-calculus. Technical Report 1702, INRIA Sophia-Antipolis, Maio 1992.
S. Conchon e F. L. Fessant. Jocaml: Mobile Agents for Objective-Caml. INRIA Rocquencourt. Maio 1999.
P. Ernberg, L. Fredlund e B. Jonsson. Specifications and Validation of a Simple Overtaking Protocol in LOTOS. In. Proc. 4th International Conference on Formal Description Techniques. 1991.
C. Fournet e G. Gonthier. The Reflexive Chemical Abstract Machine and the Join-calculus. In 23rd ACM Symposium on Principles of Programming Languages, POPL'96, 1996.
C. Fournet, G. Gonthier, J.-J. Lévy, L. Maranget e D. Rémy. A Calculus of Mobile Agents. In 7th International Conference on Concorrency Theory, CONCUR'96, 1996, LNCS 1119.
A. Harter e F. Bennett. Low Bandwidth Infra-Red Networks and Protocols for Mobile Communications Devices. Technical Report. Olivetti Research Ltd. 1993.
J. Ioannidis. Protocols for mobile Internetworking. Technical Report. Columbia University. 1993.
R. Milner. Communication and Concurrency. Prentice Hall, 1989.
R. Milner. The Polyadic Pi-calculus: a tutorial. Technical Report ECS-LFCS-91-180, University of Edinburgh, UK, Outubro 1991.
R.Milner, J.Parrow e D. Walker. A Calculus of Mobile Processes (Partes I e II). Information and Computation, 100:1-77, 1992.
J. P. Mello e P. Wauner. Wireless Mobile Communications. Byte. 147-153. 1993.
"Wireless Aplication Architecture Specification", WAP Forum, Abril 1998. URL: http://www.wapforum.org/.
Publicado
04/10/2000
Como Citar
TABUTI, Lucy Mari; MELO, Ana Cristina V..
Especificação de um Protocolo de Comunicação Comercial em Join-Calculus. In: WORKSHOP DE TESES E DISSERTAÇÕES EM ENGENHARIA DE SOFTWARE - SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 14. , 2000, João Pessoa/PB.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2000
.
p. 35-38.
DOI: https://doi.org/10.5753/sbes_estendido.2000.24201.
