ACCORDS

This report in English

CNPq/NSF - Projeto ACCORDS - Relatório Número 2

1.1 Identificação

Sigla do Projeto: ACCORDS

Título do Projeto: Automatic Configuration and Monitoring of Component-Based Distributed Systems

Homepage do projeto: http://www.ime.usp.br/~song/accords

Área do Conhecimento Predominante: Ciência da Computação

Coordenador: Siang Wun Song

Instituição: Universidade de São Paulo

Vigência total do Projeto: 01/07/1999 a 30/06/2002

Período compreendido do relatório: 01/07/2000 a 30/08/2001

1.2. Conteúdo

Resumo do projeto

A Tecnologia de Componentes tem aparecido como um enfoque para a construção de sistemas de software complexos que integram ambientes heterogêneos. Nesse projeto são investigadas políticas, técnicas e mecanismos de gerenciamento das interações entre componentes com o objetivo de aumentar a confiabilidade, robustez, flexibilidade e adaptabilidade automática da próxima geração de sistemas distribuídos.

Linhas de Pesquisas

Biblioteca de Meta-Objetos para Programação Distribuída, Monitoração e Reconfiguração, Configuração Dinâmica de Componentes, Configuração Dinâmica de Escalonadores, Monitoramente do Componentes Concorrentes e Detecção Automática de Conflitos, Monitoramento de Componentes para Sistemas Distribuídos Adaptativos.

Indicação de palavras-chaves

Reflexão Computacional, Protocolos de Meta-objetos, Orientação a objetos, Sistemas Distribuídos, Checkpointing, Estados Globais Consistentes, Monitoração e Reconfiguração, Programação Orientada a Aspectos, Programação Dinâmica, Monitoramento, Políticas para Adaptação Dinâmica, Computação Móvel, Software Adaptativo.

1.3. Introdução

Descrição sucinta do projeto:

O objetivo do projeto é buscar novas formas de apoio ao desenvolvimento de software baseado em componentes de forma a acomodar mudanças dinâmicas em ambientes que se alteram rapidamente.

Os resultados esperados são:

• Arcabouço para manter de forma explícita a representação das interações entre elementos do sistema e componentes da aplicação.

• Infra-estrutura que auxilie no reconhecimento da necessidade de reconfiguração e de como efetivar mudanças necessárias sem que aspectos como o desempenho e estabilidade sejam comprometidas.

• Avaliação do impacto do uso de middleware reflexivo nas tarefas de monitoramento e reconfiguração.

• Suporte para configuração dinâmica intra e inter-componentes e avaliação do seu uso na tarefa de decomposição de domínios para sistemas paralelos e distribuídos.

• Arcabouço orientado a objetos reflexivo para estruturação de sistemas adaptáveis e confiáveis.

1.4. Principais Resultados

Publicações da equipe

Conforme a lista de publicações (ver a seguir), foram produzidos no segundo ano do projeto um bom n™mero de trabalhos produzidos, entre publicações em periódicos, congressos internacionais e nacionais, etc.

Participação em eventos

Membros do projeto participaram no segundo ano do projeto em congressos internacionais e nacionais, conforme lista completa no relatório a seguir.

Alguns resultados principais

Na área de Adaptabilidade, a pesquisa levou ao desenho de uma arquitetura de middleware para prover suporte ao desenvolvimento de aplicações distribuídas adaptáveis. Tal arquitetura foi descrita no relatório técnico produzido durante a visita do aluno de doutorado Francisco Jose da Silva e Silva ao nosso parceiro americano: "Modeling Dynamic Adaptation of Distributed Systems" Francisco José da Silva e Silva, Markus Endler, Fábio Kon, Roy H. Campbell, M. Dennis Mikunas. University of Illinois at Urbana-Champaign. Report UIUCDCS-R-2000-2196, Dezembro de 2000; Mais recentemente, as aplicações desta arquitetura para computação móvel foram descritas em artigo publicado no Terceiro Workshop de Comunicaçao sem Fio (WCSF 2001), Recife, agosto de 2001. A arquitetura já está parcialmente implementada e será colocada em operação completa até meados de 2002. O Sr. Francisco da Silva e Silva é aluno de doutorado, orientado pelo Prof. Markus Endler e co-orientado pelo Prof. Fabio Kon.

A investigação proposta neste projeto envolve estender o uso de componentes de forma a representar explicitamente dependências e fornecer uma base para adaptação dinâmica. Até agora esta investigação foi bem sucedida, já que o grupo de pesquisadores da UIUC desenvolveu um arcabouço (ComponentConfigurators), implementou-o utilizando a tecnologia CORBA e realizou experimentos para avaliar o potencial de uso para tolerância a falhas. Estes resultados foram estendidos pelo grupo de pesquisadores brasileiros, de forma a incluir também referência explícita a alternativas de componentes. Esta extensão foi implementada utilizando a tecnologia RMI e foi aplicada a um protótipo de um Serviço de Informações sobre o Trânsito implementado no IME-USP. Este trabalho foi descrito no artigo "Adaptive Directory Services for Highly Dynamic Environments" a ser apresentado como trabalho em andamento na conferência ACM/IFIP Middleware'2001 em novembro na Alemanha. Atualmente, dois novos alunos de mestrado (Ricardo Koji Ushizaki e Marcelo Vinagreiro) identificaram possibilidades de estender as funcionalidades deste protótipo incluindo o uso de um banco de dados para armanezamento das informações e o aumento das possibilidades de reconfiguração dinâmica.

Conhecimentos adquiridos:

Através da interação entre pesquisadores proporcionada pelo projeto foi possível que conhecimento fosse disseminado na equipe, com relação aos seguintes problemas:

• experiência no uso de reflexão para lidar com exceções;
• inter-relacionamento entre adaptação dinâmica e a confiabilidade do sistema;
• técnicas para configuração com interposição de mensagens através de reflexão;
• arquiteturas reflexivas para construção de middleware
• ganhos oriundos de configuração dinâmica para tolerância a falhas.

Aplicabilidade

Os resultados obtidos até agora fornecem fortes indícios da aplicabilidade imediata dos arcabouços já implementados no desenvolvimento de sistemas distribuídos em que componentes faltosos são dinamicamente substituídos por alternativas que ofereçam o mesmo serviço.

Efeito multiplicador

Os resultados e a experiência oriunda deste projeto vem sendo diretamente utilizada em outros projetos de pesquisa. Novos alunos de mestrado e doutorado estão encontrando seus tópicos de pesquisa dentre as importantes questões que estão surgindo no escopo deste projeto e que não haviam sido previstas inicialmente.

Incorporação de técnicas

Os resultados já obtidos indicam a possibilidade da incorporação em modelos de componentes disponíveis comercialmente do enfoque adotado neste projeto para representação explícita de dependências e separação das atividades de configuração. A arquitetura para adaptabilidade que estamos implementando é baseada no padrão CORBA adotado por uma parte significativa da indústria, o que facilitará uma posterior transferência desta tecnologia para a empresas desenvolvedoras de software.

Geração de produtos e processos

Bibliotecas e protótipos que exploram configuração dinâmica e adaptabilidade estão em fase adiantada de desenvolvimento. Todo o código-fonte desenvolvido no contexto deste projeto está disponível nas páginas dos integrantes do grupo.

Formação de recursos humanos

No segundo ano do projeto, foram realizadas várias visitas por membros da equipe.

Um resultado marcante na formação de recursos humanos foi a conclusão do Ph. D. na Universidade de Illinois do participante Fabio Kon, que acabou sendo classificado em primeiro lugar num processo seletivo na USP e hoje é docente do Instituto de Matemática e Estatística da USP, reforçando a equipe brasileira.

A seguir, relacionam-se os doutorados e mestrados concluÌdos no perÌodo:

Doutorados concluídos no período:

• Henrique Mongelli (orientador: Siang Wun Song).

Mestrados concluídos no período:

• Emmanuel Kayembe Ilunga (orientador Siang Wun Song).
• Uir· Kulesza (orientadora Dilma Menezes da Silva).
• ClÛvis Seragiotto J™nior (orientadora Dilma Menezes da Silva).
• Ana Paula Gladcheff (orientadora Dilma Menezes da Silva).
• Maria do Carmo Garcia Noronha (orientadora Dilma Menezes da Silva).
• Jorge Chaves Randel Bittencourt (orientadora Dilma Menezes da Silva).
• Marco Aurelio M. de Moura (orientador Markus Endler)

Um outro resultado que merece destaque é a conquista de Primeiro Lugar (Melhor Dissertação de Mestrado) no Concurso de Teses e Dissertações de 2001, promovido pela Sociedade Brasileira de Computação, pelo participante do projeto, o estudante Alessandro Fabrício Garcia, orientado pela Professora Cecília Mary Fischer Rubira, do IC/Unicamp.

Interação com o parceiro americano

A interação com o parceiro americano foi bastante intensa, conforme mostrado nas visitas efetuadas. Em particular merece destaque o papel de ligação e catálise do Prof. Fábio Kon que concluiu seu doutorado na Universidade de Illinois e hoje atua no grupo brasileiro.

O Professor Luiz Eduardo Buzato visitou o Systems Software Reseach Group da Universidade de Illinois em abril de 2001. Durante a visita o pesquisador apresentou e discutiu sobre os resultados obtidos recentemente em relação a protocolos eficientes para a computação de visões progressivas e a aplicação desses protocolos no sistema 2K da Universidade de Illinois e sistema Guraná/MOLDS do Instituto de Computação da Unicamp.

O Professor Siang Wun Song visitou a IBM Watson Research Center em março de 2001. Além de conhecer os projetos em andamento naquele centro, como o projeto K42 (sistema de micro-kernel para sistemas multiprocessadores de 64 bits) e projeto Blue Gene (computação de alto desempenho), foi possível identificar possibilidades de colaboração.

Dois alunos de doutorado brasileiros visitaram o parceiro norte-americano como descrito no item Engajamento de bolsistas abaixo.

Interação no Brasil (inter e intra-institucional)

A interação no Brasil deu-se de modo informal através de visitas entre participantes das duas instituições (USP e Unicamp), palestras individuais, além de um workshop Accords havido em 2000.

1.5. Equipe Técnica

• Siang Wun Song (coordenador)
• Cecília Mary Fischer Rubira
• Dilma Menezes da Silva
• Fabio Kon
• Hernán Astudillo
• Luiz Eduardo Buzato
• Markus Endler

Alunos de Pós-Graduação:

• Alessandro Fabrício Garcia
• Alexandre Oliva
• Delano Medeiros Beder
• Francisco J. da Silva e Silva
• Gerson Mizuta Weiss
• Gisele Rodrigues Ferreira
• Gustavo M. D. Vieira
• Islene Calciolari Garcia
• Jorge Euler Vieira
• Marcelo Vinagreiro
• Marco Aurélio de Moura
• Paulo Astério de Castro Guerra
• Ricardo Koji Ushizaki
• Uirá Kulesza

Melhoria do nível de qualificação

As visitas já ocorridas serviram de modo bastante satisfatório para o avanço do presente projeto. No caso da visita dos alunos Paulo Astério de Castro Guerra e Francisco Silva e Silva, as visitas serviram também para a discussão dos seus projetos de doutorado com os parceiros americanos.

Participação em eventos técnicos - científicos e similares

• Nome do Participante: Siang Wun Song
  Evento: Proceedings 13th International Conference on Parallel and Distributed Computing and Systems. Anaheim, California, USA, August 21 - 24, 2001.
• Nome do Participante: Markus Endler
  Evento: 3rd. IEEE International Conference in Mobile and Wireless Communication Networks (MWCN2001), Recife, Agosto 2001.
• Nome do Participante: Markus Endler
  Evento: 3o. Workshop de Comunicacao sem Fio e Computacao Movel (WCSF2001), Recife, Agosto 2001.
• Nome do Participante: Fabio Kon
  Evento: XXI Congresso da Sociedade Brasileira da Computação, VIII Simpósio de Computação Musical, Fortaleza, julho de 2001.
• Nome do Participante: Siang Wun Song
  Evento: XXI Congresso da Sociedade Brasileira da Computação, Jornada de Atualização em Informática, Fortaleza, julho de 2001.
• Nome do Participante: Siang Wun Song
  Evento: The 2001 International Conference on Computational Science, San Francisco, May 28-30, 2001.
• Nome do Participante: Fabio Kon
  Evento: ACM OOPSLA Conference, Minneapolis, EUA, outubro de 2000.
• Nome da Participante: Fabio Kon
  Evento: 9th IEEE International Symposium on High Performance Distributed Computing, Pittsburgh, EUA, agosto de 2000.
• Nome do Participante: Siang Wun Song
  Evento: IFIP World Computer Congress 2000 - International Conference on Software: Theory and Practice. Beijing, China, August 21 - 25, 2000.

Publicações geradas pela equipe

Segundo Ano do Projeto

• Dehne, F., Ferreira, A., Cáceres, E., Song, S. W., and Roncato, A. Efficient Parallel Graph Algorithms For Coarse Grained Multicomputers and BSP. Algorithmica. To appear.
• A. Garcia, C. M. F. Rubira, A. Romanovsky & J. Xu. A Comparative Study of Exception Handling Mechanisms for Building Dependable Object-Oriented Software. Journal of Systems and Software, Elsevier, North-Holland, April 2002, ISSN 0164-1212. To appear.
• A. Garcia, D. Beder & C. M. F. Rubira. A Unified Meta-Level Software Architecture for Sequential and Concurrent Exception Handling. Computer Journal, Vol. 44, Issue 4, Oxford University Press, September 2001, ISSN 0010-4620. To appear.
• A. Garcia & C. M. F. Rubira. An Architectural-based Reflective Approach to Incorporating Exception Handling into Dependable Software. chapter 4, p. 189-206, In the book Advances in Exception Handling Techniques. 289 p. Editors: A. Romanovsky, C. Dony, J. L. Knudsen, A. Tripathi. Springer-Verlag, LNCS-2022, April 2001. (ISSN 0302-9743. ISBN 3-540-41952-7).
• Song, S. W. Editorial: Design of Efficient and Scalable Parallel Algorithms. Parallel and Distributed Computing Practices, Vol. 3, 2001. To appear.
• Song, S. W. Parallel Graph Algorithms for Coarse-Grained Multicomputers. Models for Parallel and Distributed Computation: Theory, Algorithmic Techniques and Applications. Applied Optimization Book Series. Kluwer. To appear.
• Dilma Menezes da Silva and Fabio Kon, Adaptive Directory Services for Highly Dynamic Environments. ACM/IFIP Middleware'2001 WIP Heidelberg, Germany, November, 2001.
• G. R. M. Ferreira, C. M. F. Rubira & R. de Lemos. Explicit Representation of Exception Handling in the Development of Dependable Component-Based Systems. In Proceedings of the 6th IEEE International Symposium on High Assurance Systems Engineering (HASE'01), October 24-26 , 2001, Boca Raton, Florida, USA, IEEE Computer Society Press.
• Mongelli, H. and Song, S. W. Efficient Two-Dimensional Parallel Pattern Matching with Scaling. Proceedings 13th International Conference on Parallel and Distributed Computing and Systems. August 21 - 24, 2001, pp. 360-364.
• Rocha, R. C. A. and Endler, M. MobiCS: An environment for prototyping and simulating distributed protocols for mobile networks , Proc. 3rd. IEEE International Conference in Mobile and Wireless Communication Networks (MWCN2001), Recife, 44-51, Brazil, August 2001.
• Nagamuta, V. e Endler. M. Simulando um Protocolo para NotificaÁ“o Confi·vel baseado em Proxies MÛveis. Proc. of the 3rd. Brazilian Workshop on Wireless Communication and Mobile Computing (WCSF2001), 18-26, Recife, Agosto 2001.
• Silva, F. S. e Endler, M. Desenvolvendo Software Adapt·vel para Computacao Movel. Proc. of the 3rd. Brazilian Workshop on Wireless Communication and Mobile Computing (WCSF2001), 93-101, Recife, Agosto 2001.
• Ribeiro, M. F. e Endler, M. Um protocolo indireto para Multicast Atomico em Computacao MÛvel. Proc. of the 3rd. Brazilian Workshop on Wireless Communication and Mobile Computing (WCSF2001), 84-91, Recife, Agosto 2001.
• Manuel Román and Fabio Kon and Roy Campbell. Reflective Middleware: From Your Desk to Your Hand. IEEE Distributed Systems Online, Vol. 2, No. 5, July, 2001.
• Cáceres, E. N. and Mongelli, H. and Song, S.W. Algoritmos Paralelos usando CGM/PVM: Uma Introdução, texto preparado para o XXI Congresso da Sociedade Brasileira da Computação, Jornada de Atualização em Informática, Fortaleza, julho de 2001, pp. 219-278.
• Mongelli, H. and Song, S.W. Parallel String Matching with Scaling. Proc. 2001 International Conference on Parallel and Distributed Processing Techniques and Applications, Vol. 2, June 25-28, 2001, pp. 605-609.
• Cáceres, E.N. and Song, S. W. and Szwarcfiter, J. L. A Parallel Unrestricted Depth Search Algorithm. Proc. 2001 International Conference on Parallel and Distributed Processing Techniques and Applications, Vol. 1, June 25-28, 2001, pp. 521-526.
• D. M. Beder, B. Randell, A. Romanovsky, & C. M. F. Rubira. On Applying Coordinated Atomic Actions and Dependable Software Architectures for Developing Complex Systems. In Proceedings of the 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'2001), Magdeburg, Germany, May 2-4, 2001, pp. 103-112, IEEE Computer Society Press.
• Caceres, E.N., Song, S. W. and Szwarcfiter, J. L. A Coarse-Grained Parallel Algorithm for Maximal Cliques in Circle Graphs. The 2001 International Conference on Computational Science. Lecture Notes in Computer Science, Vol. 2074, V. Alexandrov, J. Dongarra, K. Tan (eds), Springer-Verlag. San Francisco, May 28-30, 2001, pp. 638-647.
• Nagamuta, V. e Endler, M. Coordinating Mobile Agents through the Broadcast Channel, Anais do Simposio Brasileiro de Redes de Computadores (SBRC-2001), CD-ROM, Florianopolis, May 2001.
• Islene C. Garcia, Gustavo M. D. Vieira e Luiz E. Buzato. RDT-Partner: An Efficient Checkpointing Protocol that Enforces Rollback-Dependency Trackability, Anais do Simposio Brasileiro de Redes de Computadores (SBRC-2001), CD-ROM, Florianopolis, May 2001.
• Islene Calciolari Garcia e Luiz Eduardo Buzato. On the Minimal Characterization of Rollback-Dependency Trackability Property, Proceedings of the 21th IEEE Int. Conf. on Distributed Computing Systems, Phoenix, Arizona, EUA, April, 2001.

• Gustavo Maciel Dias Veira, Islene Calciolari Garcia e Luiz Eduardo Buzato. Systematic Analysis of Index-Based Checkpointing Algorithms using Simulation, IX Simpósio de Computação Tolerante a Falhas, Florianópolis, Santa Catarina, March 2001.

• Mongelli, H. and Song, S. W. Parallel Pattern Matching with Scaling. Parallel Processing Letters. Vol. 11, pp. 125-138, March 2001.
• Fabio Kon, Tomonori Yamane, Christopher Hess, Roy Campbell and M. Dennis Mickunas. Dynamic Resource Management and Automatic Configuration of Distributed Component Systems. Proceedings of the 6th USENIX Conference on Object-Oriented Technologies and Systems (COOTS'2001), San Antonio, Texas, February, 2001.
• Fabio Kon, Roy H. Campbell and Klara Nahrstedt. Using Dynamic Configuration to Manage a Scalable Multimedia Distribution System. Computer Communications Journal (Special Issue on QoS-Sensitive Distributed Systems and Applications), Vol. 24, Elsevier Science Publisher, January, 2001, pp. 105-123.
• Francisco JosÈ da Silva e Silva, Markus Endler, Fabio Kon, Roy H. Campbell, and M. Dennis Mikunas. Modeling Dynamic Adaptation of Distributed Systems. University of Illinois at Urbana-Champaign. Report UIUCDCS-R-2000-2196, December, 2000.
• A. Garcia, D. M. Beder & C. M. F. Rubira. An Exception Handling Software Architecture for Developing Fault-Tolerant Software. In Proceedings of the 5th IEEE International Symposium on High Assurance Systems Engineering (HASE'00), November 15-17, 2000, Albuquerque, New Mexico, USA, pp. 311-320, IEEE Computer Society Press.
• Fabio Kon, Jalal Al-Muhtadi, Roy H. Campbell and M. Dennis Mickunas. My Dream of Jini. OOPSLA'2000 Workshop on the Jini Pattern Language, Minneapolis, October, 2000.
• Fabio Kon, Christopher Hess, Manuel Roman, Roy H. Campbell and M. Dennis Mickunas. A Flexible, Interoperable Framework for Active Spaces. OOPSLA'2000 Workshop on Pervasive Computing, Minneapolis, October, 2000.
• Dilma M. Silva, Fabio Kon and Roy Campbell. Dynamic Configuration of a Directory Service Using the ComponentConfigurator Framework. Proceedings of the Project SIDAM Workshop, Sao Paulo, September, 2000.
• Okuda, K. and Song, S. W. Revisiting Hamiltonian Decomposition of the Hypercube. SBCCI2000 - XIII Symposium on Integrated Circuits and System Design. Manaus, Brazil, September 18-24, 2000, pp. 55-60.
• Saukas, E. L. G. and Song, S. W. Parallel Programming Techniques for Distributed Memory Computers. IFIP World Computer Congress 2000 - International Conference on Software: Theory and Practice. Beijing, China, August 21 - 25, 2000, pp. 760-763.
• Islene Calciolari Garcia e Luiz Eduardo Buzato. Using Common Knowledge to Improve Fixed-Dependency-After-Send, Workshop de Testes e Tolerância a Falhas, Curitiba, July, 2000.

• Ferreira, A., Goldman, A. and Song, S. W. Broadcasting in bus interconnected networks. Journal of Interconnection Networks, Vol. 1, No. 2, June 2000, pp. 73-94.
• Mongelli, H. and Song, S. W. Parallel Range Minima on Coarse Grained Multicomputers. International Journal of Foundations of Computer Science. Vol. 10, No. 4, December 1999, pp. 375 - 389.

Engajamento de bolsistas que retornaram de treinamento

O Sr. Paulo Astério de Castro Guerra, aluno de doutorado da UNICAMP orientado da Professora Cecília Mary Fischer Rubira, realizou um estágio de treinamento durante o período de 29 de abril a 22 de maio de 2000 junto à Universidade de Illinois.

Durante as duas primeiras semanas da viagem, esteve em contato com pesquisadores do System Research Group (SRG) e do Real-Time Systems Laboratory (RTSL), ambos da Universidade de Illinois em Urbana-Champaign. Durante esse período foram trocadas informações sobre os projetos 2K, desenvolvido pelo SRG, Simplex, desenvolvido pelo RTSL, e o seu projeto de doutorado (Um Ambiente para Desenvolvimento de Sistemas Tolerantes a Falhas usando Componentes de Software). Durante esse período foi ainda elaborado, em conjunto com Dulcineia Carvalho, do SRG, um projeto para dotar o sistema operacional 2K de mecanismos básicos de tolerância a falhas, que está sendo descrito num relatório técnico intitulado "Design Framework for Reliable Environments in 2K".

Após essas duas semanas em Urbana, o Bolsista ainda visitou o Software Engineering Institute (SEI) e o departamento de Electrical e Computing Engineering (ECE) da Universidade de Carnegie-Mellon, ambos em Pittsburgh. Durante a visita ao SEI, no dia 15/05, o bolsista esteve em contato com pesquisadores do grupo de Product Line Practice, tendo oportunidade de apresentar o seu projeto de pesquisa, colhendo opiniões valiosas, e conhecer os projetos do grupo em andamento. No ECE houve também discussão sobre o projeto Ballista, quanto aos aspectos relacionados com COTS e uso de "wrappers" para adaptação de componentes.

O doutorando (orientado do Prof. Markus Endler) Francisco José da Silva e Silva visitou a Universidade de Illinois em Urbana-Champaign por um mês em agosto de 2000. As atividades da visita incluíram a apresentação para o grupo de Illinois dos trabalhos de modelagem já realizados no Brasil. Os comentários e sugestões dos pesquisadores americanos foram muito proveitosos e levantaram uma série de novas questões que influenciaram no desenho atual da arquitetura.

1.6. Conclusões

Análise dos resultados obtidos em função da proposta inicial

Os resultados parciais indicam que a incorporação de mecanismos para adaptação dinâmica realmente aumenta a flexibilidade do sistema. As linhas de investigação bem sucedidas até o momento apresentam custo (degradação de desempenho) razoável, e são compatíveis com as tecnologias de objetos distribuídos mais populares. A proposta inicial enfatiza o uso de reflexão computacional na derivação de mecanismos mais gerais para configuração automática. Nosso trabalho com reflexão computacional focou-se em tolerância a falhas e na construçã de sistemas de middleware reconfigurável. O trabalho sendo desenvolvido pelo aluno de doutorado Francisco Silva e seus orientadores, Markus Endler e Fabio Kon, vai demonstrar uma arquitetura integrada para sistemas adaptativos baseada em princípios de reflexão computacional.

Contribuição relevante para o desenvolvimento da área prioritária

O desenvolvimento de componentes configuráveis dinamicamente é essencial para a construção de sistemas que executem (com o desempenho e confiabilidade esperados) em ambientes como a Internet ou grandes redes corporativas.

Facilidades/dificuldades encontradas

Uma facilidade importante foi a experiência anterior de toda a equipe com aspectos (muitas vezes complementares) do desenvolvimento de sistemas distribuídos e adaptáveis.

Uma dificuldade inerente de um projeto como este é a integração dos artefatos de software, já que não há necessariamente uma homogeneidade nos ambientes e tecnologias empregadas. É nosso objetivo a curto prazo concentrar esforços na integração de nossos resultados e implementações.

1.7. Referências bibliográficas

• Brent Agnew, Christine Hofmeister, and James Purtilo. ``Planning for change: A reconfiguration language for distributed systems''. Proc. of the Second International Workshop in Configurable Distributed Systems, pages 15--22. IEEE Computer Society Press, May 1994.
• L.E. Buzato, C.M.F. Rubira, and M.L.B. Lisboa. `` A reflective object-oriented architecture for developing fault-tolerant software''. Journal of Brazilian Computer Society, 4(2):39--48, november 1997.
• Roy Campbell et al. ``2K: A component-based network-centric operating system for the next millennium'' http://choices.cs.uiuc.edu/2k/, 1998.
• Michael J. Fischer, Nancy D. Griffeth, and Nancy A. Lynch. ``Global States of a Distributed System'' IEEE Transactions on Software Engineering, SE-8(3):198--202, may 1982.
• P. G. S. Florissi and Y. Yemini. ``Management of application quality of service'' Proc. of the 5th IEEE International Workshop on Distributed Systems: Operations and Management, 1994.
• M. Jones. ``Interposition agents: Transparently interposing user code at the system interface'' Operating System Review, 27(5):69--79, December 1993. Proc. 14th ACM Symp. on Operating Systems Principles.
• L.L.Ferreira and C.M.F.Rubira. ``Reflective design patterns to implement fault tolerance'' Proc. OOPSLA'98 Workshop on Reflective programming in C++ and Java, pages 39--48, Vancouver,Canada, October 1998. IEEE Computer Society.
• N.H. Minsky. ``Governing Distributed Systems: from Protocols to Laws'', In B.D. Shriver, editor, Proc. of the 24th Hawaii International Conference on System Sciences, pages 418--427. IEEE Computer Society Press, January 1991.
• Alexandre Oliva and Luiz Eduardo Buzato. ``Composition of meta-objects in Guaraná'' Workshop on Reflective Programming in C++ and Java, OOPSLA'98, Vancouver, Canada, October 1998.
• Beth Schroeder, ``On-line monitoring: A tutorial'', IEEE Computer, Vol. 29, No. 6, pg 72-78, 1995.
• Fabio Kon and Roy H. Campbell, ``Dependence Management in Component-Based Distributed Systems'', IEEE Concurrency, Vol.8, No. 1, pg 26-36