Alexandre Jorge Matos Pinto


Concretização e Avaliação de uma Plataforma de Suporte à Composição e Execução de Protocolos


Tese submetida para provas de mestrado em Informática Departamento de Informática Faculdade de Ciências da Universidade de Lisboa, Setembro de 2004.

Sumário

O desenvolvimento de protocolos de comunicação pode ser simplificado através do uso de plataformas de suporte à composição e execução adequadas. Esta dissertação descreve a concretização de uma plataforma de suporte à composição e execução de protocolos concreta, o Appia, e faz a avaliação das suas diversas facetas. Nomeadamente, avalia a expressividade e eficácia dos mecanismos de suporte à composição assim como o desempenho do ambiente de execução.

Para suportar a avaliação, foi desenvolvida uma concretização de um serviço de comunicação em grupo com requisitos de composição complexos, os Grupos Ligeiros. A concretização deste serviço na plataforma Appia exigiu o desenvolvimento prévio de um sistema completo de comunicação em grupo oferecendo sincronia na vista, o qual é também descrito na dissertação. Para facilitar uma análise comparativa, e de modo a extrair ensinamentos que foram aplicados no desenvolvimento do Appia, o serviço de Grupos Ligeiro foi também concretizado sobre uma outra plataforma de suporte à composição e execução, em particular, sobre a plataforma Ensemble. A dissertação apresenta uma análise dos dois protótipos resultantes, extraindo indicações para o desenvolvimento de plataformas futuras.


Publicações

Concretização e Avaliação de uma Plataforma de Suporte à Composição e Execução de Protocolos
A.Pinto
Tese de Mestrado. Departamento de Informática Faculdade de Ciências da Universidade de Lisboa
Setembro, 2004.
Available BibTeX, thesis (pdf).
Configuring the Communication Middleware to Support Multi-user Object-Oriented Environments.
S. Teixeira, P. Vicente, A. Pinto, H. Miranda, L. Rodrigues, J. Martins, A. Rito-Silva
In Proceedings of the International Symposium on Distributed Objects and Applications (DOA), October 2002, Irvine (CA), USA.
Available BibTeX, abstract (html) and extended report(gzip postscript), (pdf).
Light-Weight Groups: an implementation in Ensemble
Alexandre Pinto, Hugo Miranda, Luís Rodrigues
in Proceedings of the Ersads 2001, European Research Seminar on Advances in Distributed Systems, 14-18 May 2001, Bertinoro (Forlì), Italy.
Available BibTeX, abstract (html) and extended report(gzip postscript), (pdf).
Appia, a flexible protocol kernel supporting multiple coordinated channels
Hugo Miranda, Alexandre Pinto, Luís Rodrigues
in Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS-21) April 16-19, 2001, pp 707-710. Phoenix, Arizona, USA (Poster session).
Available BibTeX, abstract (html) and extended report(gzip postscript), (pdf).

Localização actual

O Alexandre Pinto é Assistente do Departamento de Informática da FCUL. Veja a sua página para mais pormenores.


Luís Rodrigues