ACCORDS

This report in English

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

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/1999 a 30/06/2000

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 serã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, Programação Distribuída, 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 ``reflective ORBS'' 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/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 31 trabalhos, entre publicações em periódicos, congressos internacionais e nacionais, etc.

Participação em eventos

Membros do projeto participaram em um total de 16 congressos internacionais e nacionais, conforme lista completa no relatório a seguir.

Alguns resultados principais

Na área de Ambientes de Computação Móvel, pesquisas já iniciadas levaram ao preparo do seguinte documento de trabalho. "Adaptabilidade em Ambientes de Computação Móvel", Francisco Jose da Silva e Silva, Documento de Trabalho, DT-SIDAM-8-99.2 Documento Final. O Sr. Francisco da Silva e Silva é aluno de doutorado do Prof. Markus Endler.

Um outro resultado importante, também na área de Computação Móvel, é a produção de um documento preliminar intulado "Project SIDAM: Overview and Preliminary Results", Markus Endler, Dilma M. da Silva, Francisco Silva e Silva, Ricardo C. A. da Rocha, Marcos A. de Moura, Documento de Trabalho DT-SIDAM-0-00.1. Esse trabalho foi publicado 2o. Workshop de Comunicação sem Fio (WCSF), DCC/ICEx/UFMG, em maio de 2000.

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.

Em relação aos objetivos de suporte para reconhecimento automático de necessidades de configuração, foram derivados mecanismos para automatizar a substituição de componentes (por alternativas previamente registradas) na presença de falhas. No momento a pesquisa tem como objetivo generalizar este suporte, de forma a incluir aspectos mais genéricos de substituição de compontes.

Os resultados parciais do projeto estão sendo aplicados em no protótipo que implementa uma aplicação altamente distribuída. Resultados iniciais indicam que a estrutura de configuradores de componentes, sendo desenvolvida neste projeto, é muito útil na decomposição de domínios paralelos/distribuídos.

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;
• configuração no nível do 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.

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 .

Geração de produtos e processos

Bibliotecas e protótipos que exploram configuração dinâmica estão em fase adiantada de desenvolvimento.

Formação de recursos humanos

No primeiro ano do projeto, foram realizadas duas visitas ao grupo de pesquisa junto à Universidade de Illinois. As visitas foram realizadas pela Professora Dilma Menezes da Silva e pelo aluno de doutorado Paulo Astério de Castro Guerra. As visitas serviram de modo basta satisfatório no avanço do presente projeto. No caso da visita de Paulo Astério de Castro Guerra, a visita serviu também para discussão do seu projeto de doutorado com especialistas tanto da Universidade de Illinois como da Universidade de Carnegie Mellon e do Software Engineering Institute (SEI).

Um membro da equipe do lado americano, Fábio Kon, concluiu seu doutorado na Universidade de Illinois. Planeja-se solicitar uma bolsa FAPESP para o seu pós-doutorado junto à equipe brasileira, na USP.

Interação com o parceiro americano

Durante o primeiro ano do projeto foram realizadas duas visitas científicas do grupo brasileiro junto ao grupo americano. A Professora Dilma Menezes da Silva realizou uma visita no período de 11 de janeiro a 17 de fevereiro de 2000. O aluno de doutorado Paulo Astério de Castro Guerra realizou uma visita no período de 29 de abril a 22 de maio de 2000.

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

Foi realizado um Workshop Accords no dia 5 de janeiro de 2000, no Instituto de Computação da UNICAMP, reunindo os participantes da USP e UNICAMP e um membro pela Universidade de Illinois. A programação completa encontra-se em http://choices.cs.uiuc.edu/2k/Events/ACCORDSWorkshop2000.html e inclui palestras relatando os progressos parciais seguindas de discussão.

Note-se que o referido Workshop não acarretou em nenhum custo para o projeto. O encontro foi de um dia apenas, sem necessidade de pernoite. Quanto ao transporte, os participantes da USP foram ao encontro de carro e o participante Fábio Kon encontrava-se no País naquele período.

1.5. Equipe Técnica

• Siang Wun Song (coordenador)
• Cecília Mary Fischer Rubira
• Dilma Menezes da Silva
• 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
• Marco Aurélio de Moura
• Paulo Astério de Castro Guerra
• Uirá Kulesza

Melhoria do nível de qualificação

As visitas já ocorridas serviram de modo basta satisfatório no avanço do presente projeto. No caso da visita de Paulo Astério de Castro Guerra, a visita serviu também para discussão do seu projeto de doutorado com especialistas tanto da Universidade de Illinois como da Universidade de Carnegie Mellon e do Software Engineering Institute (SEI).

Está programada uma visita do aluno de doutorado Francisco J. da Silva e Silva para o segundo semestre de 2000. Espera-se que a visita contribuirá tanto para o projeto como para o trabalho de doutorado do bolsista.

Um membro da Universidade de Illinois (Fábio Kon) do projeto Accords concluiu recentemente o seu doutorado naquela universidade. Está sendo planejado um pós-doutorado com bolsa da FAPESP para continuar seus trabalhos do projeto Accords no grupo brasileiro, junto ao Departamento de Ciência da Computação do IME/USP.

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

• Nome do Participante: Alexandre Oliva
  Evento: Fifth USENIX Conference on Object-Oriented Technologies and Systems (COOTS), San Diego, California, USA, May, 3-5, 1999.

• Nome da Participante: Dilma Menezes da Silva
  Evento: Simpósio Brasileiro de Redes de Computadores e Terceiro Workshop em Sistemas de Tempo Real. Salvador, 20 a 23 de mario de 1999.

• Nome da Participante: Dilma Menezes da Silva
  Evento: Congresso da Sociedade Brasileira de Computação, Rio de Janeiro, 19 a 23 de julho de 1999.

• Nome da Participante: Dilma Menezes da Silva
  Evento: OOPSLA'99 - Conference on Object Oriented Programming, Systems and Languages, Denver (Estados Unidods), 1 a 5 de novembro de 1999.

• Nome da Participante: Dilma Menezes da Silva
  Evento: Workshop in Real Time Linux, Viena (Áustria), 13 a 15 de dezembro de 1999.

• Nomes dos Participantes: Luiz E. Buzato e Islene C. Garcia
  Evento: 19th IEEE International Conference on Distributed Computing Systems, Austin, EUA, May 31-June, 9, 1999.

• Nomes dos Participantes: Luiz E. Buzato e Islene C. Garcia
  Evento: VIII Simpósio de Computação Tolerante a Falhas, Campinas, SP, Brasil, June, 7-9, 1999.

• Nome do participante: Markus Endler.
  Evento: 2nd Brazilian Workshop on Wireless Communication (WCSF), Belo Horizonte, May 24, 2000.

• Nome do participante: Markus Endler.
  Evento: Simpósio Brasileiro de Redes de Computadores (SBRC-2000), Belo Horizonte, May 23-26, 2000.

• Nome do participante: Markus Endler.
  Evento: Workshop DialM/Mobicom 99, ACM, Seattle, August 16-21, 1999.

• Nome do participante: Markus Endler.
  Evento: 1st Brazilian Workshop on Wireless Communication (1o. Workshop de Comunicação sem Fio - WCSF) , UFMG/PRONEX, Belo Horizonte, July 1999.

• Nome do participante: Siang Wun Song.
  Evento: IFIP International Conference on Software: Theory and Practice, Beijing, China, August 21 - 25, 2000.

• Nome do participante: Siang Wun Song.
  Evento: International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, June 26 - 29, 2000.

• Nome do participante: Siang Wun Song.
  Evento: CIMPA International School of Parallel Computing. Natal, RN, 1999.

• Nome do participante: Siang Wun Song.
  Evento: XI SBAC-PAD Simpósio Brasileiro de Arquitetrua de Computadores e Processamento de Alto Desempenho, Natal, RN, 1999.

Publicações geradas pela equipe

Primeiro Ano do Projeto

• Ferreira, A., Goldman vel Lejbman, A. and Song, S. W. Broadcasting in bus interconnected networks. Journal of Interconnection Networks, to appear.
• Mongelli, H. and Song, S. W. Parallel Range Minima on Coarse Grained Multicomputers. International Journal of Foundations of Computer Science. To appear.
• Cáceres, E., Dehne, F., Ferreira, A., Flocchini, P., Rieping, I., Roncato, A., Santoro, N. and Song, S. W. Efficient Parallel Graph Algorithms For Coarse Grained Multicomputers and BSP. Algorithmica. Accepted, under revision.
• 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. To appear.
• Cáceres, E., Chan, A., Dehne, F. and Song, S. W. Coarse Grained Parallel Graph Planarity Testing. Proceedings 2000 International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, June 26 - 29, 2000. To appear.
• Garcia, A. and Rubira, C. M. F. An Exception Handling Software Architecture for Developing Robust Software. In Proceedings of the Exception Handling in Object-Oriented Systems Workshop, ECOOP'2.000 (14th European Conference on Object-Oriented Programming), Sophia Antipolis and Cannes, France, June 12-16, 2000.
• Rocha, R. A. and Endler, M. Um Simulador de Protocolos Distribuídos para Computação Móvel, 2nd Brazilian Workshop on Wireless Communication (2o. Workshop de Comunicação sem Fio- WCSF), SBC, Belo Horizonte, May 2000.
• Endler, M., Silva, D. M., Silva e Silva, F., Rocha, R. A., Moura, M. A. Project SIDAM: Overview and Preliminary Results, 2nd Brazilian Workshop on Wireless Communication (2o. Workshop de Comunicação sem Fio - WCSF), Belo Horizonte, May 2000.
• Moura, M. A. and Endler, M. Juggler: A Configuration Management Service for CORBA Object Groups. Proc. Simpósio Brasileiro de Redes de Computadores (SBRC 2000), Belo Horizonte, May 2000.
• Endler, M., Silva, D. M., Okuda, K. RDP: A Result Delivery Protocol for Mobile Computing, Proc. of the Int. Workshop on Wireless Networks and Mobile Computing (WNMC) at the 20th Int. Conference on Distributed Computing Systems (ICDCS), IEEE, Taiwan, R.O.C., April 2000.
• Endler, M., Silva, D. M., Okuda, K. A Reliable Connectionless Protocol for Mobile Clients, Communication Networks and Distributed Systems Modeling and Simulation Conference (CNDS'00), San Diego, 149-154, Society for Computer Simulation International (SCS), January 2000.
• Saukas, E. L. G. and Song, S. W. A Note on Parallel Selection on Coarse Grained Multicomputers. Algorithmica 24: 371-380 (1999).
• Vieira, Jorge E. and Silva, Dilma M. The SMART Scheduling for Linux. Proc. of the Workshop in Real Time Linux. Vienna, Austria, December 1999.
• Braga, A. M., Rubira, C. M. F. and Dahab, R. Tropyc: A Pattern Language for Cryptographic Object-Oriented Software. In the book Pattern Languages of Program Design 4, Neil Harrison, Brian Foot and Hans Rohnert (Eds.), Software Patterns Series, December 1999, chapter 16, pp. 337-371, Addison-Wesley Longman, ISBN 0-201-43304-4.
• Garcia, I. C. and Buzato, L. E., Checkpointing using Local Knowledge about Recovery Lines, Technical Report No. IC-99-22, Instituto de Computação, UNICAMP, Campinas, SP, em novembro de 1999, with 16 pages.
• Garcia, A., Beder, D. M. and Rubira, C. M. F. An Exception Handling Mechanism for Developing Dependable Object-Oriented Software based on a Meta-level Approach. In Proceedings of the 10th IEEE International Symposium on Software Reliability Engineering, Boca Raton, Florida, USA, November 1-4, 1999, pp. 52-61.
• Endler, M. An Atomic Multicast Protocol for Mobile Computing. Proc. of the 3rd International Workshop on Discrete Algorithms and Methods for Mobile Computing and Communication/MobiCom'99, Seattle, ACM SIGMOBILE, 56-63, August 1999.
• Garcia, I. C. and Buzato, L. E. Monitorização e Recuperação por Retrocesso utilizando Visões Progressivas de Computações Distribuídas, Anais do VIII Simpósio de Computação Tolerante a Falhas, Campinas, SP, Brasil, pp. 147-151, julho, 1999.
• Endler, M. A Protocol for Atomic Multicast among Mobile Hosts, 1st Brazilian Workshop on Wireless Communication (1o. Workshop de Comunicação sem Fio - WCSF) , UFMG/PRONEX, Belo Horizonte, pp. 99-109, July 1999.
• Silva, Dilma Menezes. Introdução à Programação Concorrente para a Internet. JAI - Jornada de Atualização em Informática. pp. 209-262, Julho 1999.
• Beder, D. M. and Rubira, C. M. F. Uma abordagem Reflexiva baseada em Padrões de Projeto para o Desenvolvimento de Aplicações Distribuídas Confiáveis. Nos Anais do VIII Simpósio Brasileiro de Computação Tolerante a Falhas (SCTF'99), Campinas, SP, 7-9 de julho de 1999, pp. 152-166.
• Garcia, A. F. and Rubira, C. M. F. Um Mecanismo Orientado a Objetos para Tratamento de Exceções em Software Concorrente Tolerante a Falhas. Nos Anais do VIII Simpósio Brasileiro de Computação Tolerante a Falhas (SCTF'99), Campinas, SP, 7-9 de julho de 1999, pp. 167-181.
• Garcia, I. C. and Buzato, L. E. Progressive Construction of Consistent Global Checkpoints, Proc. of the 19th IEEE International Conference on Distributed Computing Systems (ICDCS), Austin, Texas, USA, pp. 55-62, may 31-June 5, 1999.
• Kulesza, Uira and Silva, Dilma M. Reengineering of the JAWS Web Server Design Using Aspect Oriented Programming. Proceedings of the Workshop of Aspects and Dimension of Concerns (part of ECOOP). Junho, 2000.
• Oliva, A. and Buzato, L. E. The Design and Implementation of Guaraná, Proceedings of the Fifth USENIX Conference on Object-Oriented Technologies and Systems (COOTS), San Diego, California, USA, pp. 203-216, 3-5 May, 1999
• Euler, Jorge, Noronha, Maria do Carmo e Silva, Dilma M. Estudo de Caso: Desempenho do Sistema Operacional Linux para Aplicações Multimídia em Tempo Real. Proc. II Workshop de Tempo Real - Simpósio Brasileiro de Redes de Computadores. Maio, 1999, pp. 88-95.
• Mongelli, H. and Song, S. W. A Range Minima Parallel Algorithm for Coarse Grained Multicomputers. IPPS99/Irregular - Sixth International Workshop on Solving Irregularly Structured Problems in Parallel. San Juan, Puerto Rico, April 12 - 16, 1999. in LNCS, Vol. 1586, pp. 1075 -1084, José Rolim et al. (eds), Springer-Verlag.
• Vieira, G. and Buzato, L. E., Determinação de Estados Globais Consistentes em Sistemas Distribuídos, Technical Report No. IC-99-09, Instituto de Computação, UNICAMP, Campinas, SP, em março de 1999, with 20 pages.
• Tsai, Jya-Jang and Silva, Dilma M. Aggregated Cells in a Java-Based Distributed ATM Simulator. Proc. of the SCS International Conference On Web-Based Modelling and Simulation. Jan. 1999.
• Vieira, Jorge Euler, Noronha, Maria do Carmo, e Silva, Dilma Menezes. Estudo de Caso: Desempenho Deficiente do Sistema Operacional LINUX para Carga Mista de Aplicações. Relatório Técnico RT-MAC-9904, IME-USP, 1999.
• Silva, D., Gubitoso, M. D. and Endler, M. Sistemas de Informação Distribuídos para Agentes Móveis. SEMISH'98, Belo Horizonte, August 1998.

Engajamento de bolsistas que retornaram de treinamento

O Sr. Paulo Astério de Castro Guerra, aluno de doutorado da UNICAMP orientado da Prof.a 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 Software Research Group (SSRG) 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 SSRG, 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 SSRG, 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.

1.6. Conclusões

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

Os resultados parciais indicam que a encorporaçã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. Os resultados já obtidos apenas exploraram reflexão computacional timidamente.

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 Ko n and Roy H. Campbell, ``Dependence Management in Component-Based Distributed Systems'', IEEE Concurrency, Vol.8, No. 1, pg 26-36