Software Livre para Serviços de TV Interativa

Transcrição

1 Universidade Federal Fluminense UFF Escola de Engenharia Departamento de Engenharia de Telecomunicações Relatório Científico Projeto / Software Livre para Serviços de TV Interativa Débora Christina Muchaluat Saade Período de Atividades: janeiro de 2004 a abril de 2006 Junho de 2006

2 1. Introdução Os objetivos principais deste projeto concentraram-se no desenvolvimento de ferramentas de apoio para TV interativa. Estas ferramentas compreenderam desde linguagens de autoria a protocolos para entrega de conteúdo, e foram divididas em três linhas de trabalho distintas: Autoria de documentos hipermídia Protocolos de streaming Modelagem formal de sistemas de tempo real Além da sinergia na aplicação alvo, a TV interativa, a geração de software livre nestas áreas tem aplicação imediata em diversas outras áreas, como educação à distância e entretenimento. A seguir cada área de atuação é descrita, contextualizando melhor cada problema atacado. O primeiro problema contemplado foi a autoria de Sistemas Hipermídia. Sistemas Hipermídia são aplicações cliente/servidor para suporte ao tratamento de documentos multimídia interativos (documentos hipermídia). Exemplos de documentos hipermídia podem ser encontrados na Web (WWW), nos programas de TV interativa, em aplicações de videoconferência, telemedicina, etc. Ao contrário da Web, os sistemas hipermídia para TV Interativa ainda não seguem um padrão para especificação de documentos, nem para seu intercâmbio. Clientes (formatadores) são implementados em set-top boxes, que se interligam a servidores utilizando formatos e protocolos proprietários. É possível encontrar desde clientes e servidores Java interagindo através de troca de objetos com RMI (procedimento Java para troca de objetos remotos), até propostas para utilização de documentos XML na especificação de programas. Outro padrão que pode ser utilizado para especificação de programas de TV Interativa é o MPEG-4. Esse padrão não só permite que o usuário assista passivamente a um vídeo, mas também oferece acesso e manipulação dos objetos individuais que compõem uma cena dentro da seqüência do vídeo. A linguagem usada para descrever e modificar os objetos é chamada BIFS (Binary Format for Scenes). Entretanto, a autoria de aplicações MPEG-4 diretamente em BIFS não é trivial, pois a linguagem utiliza um formato binário. Esforços recentes têm sido dedicados ao desenvolvimento de outras linguagens declarativas para autoria de documentos, que permitem a especificação de relacionamentos de sincronização temporal e espacial entre seus componentes, baseadas em modelos de maior poder de expressão que o modelo usado na Web. A linguagem NCL [Much03, MuSiSo03] satisfaz os requisitos necessários para a especificação completa de um documento hipermídia. Além de oferecer funcionalidades básicas para a definição dos componentes do documento e dos relacionamentos entre eles, NCL permite a especificação de documentos de forma estruturada, a representação de tipos diferentes de objetos de mídia, a especificação de relacionamentos espaço-temporais complexos entre componentes, a definição das características de apresentação separada da definição dos componentes, a especificação do comportamento temporal do documento de uma forma flexível, a possibilidade de adaptação de um documento à plataforma em que ele estiver sendo exibido, ou ao usuário final, e o reuso de especificações prontas. Dessa forma, NCL pode ser uma solução para autoria de documentos que satisfazem necessidades de aplicações multimídia mais complexas,

3 como por exemplo, TV Interativa. NCL, tal como HTML, é uma linguagem baseada em XML, de código aberto, o que permite seu uso para autoria de documentos através de um simples editor de texto. Assim sendo, um dos objetivos do projeto foi utilizar NCL para a especificação de programas de TV Interativa e desenvolver a integração entre NCL e MPEG-4, construindo um compilador NCL como um software livre, de código aberto, que gere uma especificação correspondente em BIFS (linguagem binária para especificação de cenas de MPEG-4). O segundo problema estudado foi a transmissão do conteúdo hipermídia. A transmissão de vídeo unicast na Internet é um tópico de grande importância, e não há ainda solução disponível em software livre. Em projetos como Educação à Distância, é essencial existir um método de comunicação entre o professor e o aluno em tempo real, sendo a transmissão de vídeo parte importante do conjunto de software necessário. Apesar do fato que tanto o "Real Player" da Real Networks quanto o "Windows Media Player" da Microsoft não terem custo para o cliente final, seu formato é proprietário e o custo do servidor é alto. A estratégia de distribuição usando servidores pagos e clientes gratuitos permitiu a ambos, e em menor escala ao QuickTime, terem grande penetração e enorme base instalada. No entanto, os algoritmos usados não são de domínio público, e existem dúvidas [Rejaie99] se estas soluções são escaláveis (na sua forma atual) devido aos seus algoritmos de controle de congestionamento. Deve-se lembrar que fluxos de vídeo são inerentemente diferentes dos fluxos de dados ora transportados via TCP. Como TCP introduz atrasos e "jitter", e possui uma confiabilidade muitas vezes desnecessária (já que a maior parte dos fluxos multimídia é resiliente a perdas), os fluxos passam a ser transportados via UDP, com uma camada de controle proprietária ao nível de aplicação. UDP não possui controle de congestionamento, e mecanismos indicados atualmente para melhorar o uso da rede, como o RED [Floyd93] não tem influência em seu comportamento. As razões apresentadas acima podem potencialmente levar a um novo colapso por congestionamento da Internet, que já aconteceu uma vez devido às deficiências das versões de TCP então em uso [Ja88]. A existência de uma versão livre de "streaming" não só permite que mais empresas e o governo usem esta ferramenta, como permite o estudo das diferentes alternativas existentes para controle de fluxo que não têm impacto negativo na transmissão de vídeo, e ao mesmo tempo não impactam negativamente a rede. Pesquisas na característica dos fluxos multimídia em enlaces com taxa de erro não desprezível levaram à criação do "Multimedia Multiplexing Transport Protocol", MMTP [MK01]. As características básicas do MMTP são ter transmissão periódica, medição da largura de banda disponível na rota para adequação do fluxo, priorização de pacotes conforme sua importância, controle de "prazo de validade" na origem e recuperação de falhas via retransmissão. Uma solução de streaming baseada em MMTP é significativamente diferente do uso de RTP/RTCP [ScFJ96] pelos seguintes motivos: um mesmo canal é usado para controle e dados, o protocolo faz escolhas inteligentes de pacotes a serem descartados no caso da banda requerida pela aplicação ser maior que a banda disponível e a realimentação das mudanças nas características do meio ser mais rápida, principalmente se múltiplas tecnologias de rede estiverem disponíveis na origem/destino. Outro objetivo do projeto consistiu no desenvolvimento, em software livre, para um servidor e programas clientes para realizar streaming de vídeo MPEG. O programa

4 cliente, compatível com Linux, pode executar em um set-top box de TV Interativa (que também utilize Linux), possibilitando a utilização do protocolo MMTP como uma solução para transporte de dados para oferecimento de serviços de TV Interativa em uma plataforma de software livre. O terceiro problema investigado foi a modelagem formal de sistemas de tempo real. Sistemas Multimídia, como os que estão presentes em serviços de TV Interativa, podem ser classificados como Sistemas de Tempo Real (STR) [Stan96]. Devido à complexidade dessa classe de sistemas, cada projeto constitui um investimento de risco significativo. Os erros incorridos na fase correspondente a elicitação de requisitos têm sido contabilizados como os principais responsáveis pelas falhas graves observadas em sistemas de computação [Lev91, Boe75]. Também é verificado que o custo para remover esses erros em sistemas prontos é muito maior do que para corrigir os erros detectados em fases posteriores do processo de desenvolvimento do software [Boe75]. O emprego de um método formal para a especificação de um sistema [Car99, Júnr98] garante a qualidade final do produto, pois permite a análise da consistência e a simulação do comportamento do sistema modelado, mas apresenta desvantagens [Bruel98], tais como a dificuldade de compreensão do modelo elaborado, o que as tornam pouco atraentes. O emprego da modelagem OO [Boo96, Jac95, Rum96] vem conquistando adeptos a cada dia que passa, principalmente pela possibilidade de reuso dos módulos de software já desenvolvidos. Contudo, as técnicas deste tipo de modelagem ainda requerem um maior formalismo para a especificação de requisitos [Car99] e, quando comparadas com as técnicas formais, apresentam lacunas que dão origem a falhas na especificação. A lacuna existente entre esses dois extremos do desenvolvimento de sistemas cria a necessidade de se estabelecer uma ponte que os interligue, de modo a permitir a formalização de modelos OO, permitindo: (i) a verificação dos modelos construídos; e (ii) transformando o desenvolvimento de sistemas em uma atividade com etapas bem definidas, cujo produto resultante apresente um elevado nível de qualidade e segurança sem, contudo, perder-se a inteligibilidade dos modelos obtidos. StateCharts são um formalismo visual desenvolvido para modelagem de sistemas reativos [Har87], nos quais os sistemas de tempo real e de segurança crítica se enquadram. StateCharts estendem as máquinas de estados finitas com a adição de hierarquia, concorrência e comunicação. Essas extensões permitem especificar sistemas com níveis de complexidade que seriam inviáveis com máquinas de estados finitas convencionais. Máquinas de estado finitas são modelos verificáveis. Model Checking é uma técnica de verificação formal usada em vários tipos de aplicações [CGL94]. Basicamente, um Model Checker explora exaustivamente todo o espaço de estados de uma máquina de estados para checar a validade de alguma fórmula em lógica temporal. A definição de uma linguagem para descrever textualmente Statecharts (linguagem SCSL) facilita sua adoção na especificação de sistemas e permite o desenvolvimento de um compilador. Outro objetivo desse projeto foi a especificação de uma linguagem simples e de fácil aprendizado aos programadores SCSL para modelar sistemas baseados em StateCharts de forma textual, e o desenvolvimento de um compilador de código livre para esta linguagem que gere código executável e especificações formais verificáveis com o apoio de um Model Checker. Também como política de desenvolvimento, a ferramenta foi construída com base em software livre.

5 2. Atividades Realizadas As atividades principais realizadas durante o projeto foram as seguintes: a) Linha de autoria de documentos hipermídia, sob responsabilidade da Profa. Débora Christina Muchaluat Saade (coordenadora do projeto): 1. Estudo do padrão MPEG-4 2. Estudo sobre set-top boxes para TV Digital Interativa 3. Estudo sobre Padrões de Middleware para TV Digital 4. Estudo sobre infra-estrutura para o desenvolvimento de aplicações para TV Digital Interativa 5. Comparação entre a linguagem NCL e XMT/MPEG-4 6. Desenvolvimento do perfil de linguagem NCL-MPEG/4 7. Desenvolvimento do compilador NCL-MPEG/4 para BIFS. Na verdade, foi desenvolvido um compilador NCL para XMT-O em Java e depois utilizado o pacote IBM ToolKit for MPEG-4 para fazer a conversão XMT-O para BIFS 8. Realização de testes de execução de documentos criados através do perfil NCL- MPEG/4 em um player MPEG-4 disponível no pacote IBM ToolKit for MPEG- 4 b) Linha de protocolos de transporte multimídia, sob responsabilidade do Prof. Luiz Cláudio Schara Magalhães (pesquisador participante do projeto): 1. Implementação do protocolo MMTP 2. Testes do Protocolo 3. Desenvolvimento do servidor MMTP 4. Testes do Servidor 5. Documentação de Instalação do Servidor 6. Desenvolvimento do Cliente MMTP em Linux 7. Testes do Cliente Linux 8. Documentação do Cliente b) Linha de modelagem formal de sistemas, sob responsabilidade da Profa. Maria Luíza D Almeida Sanchez (pesquisadora participante do projeto): 1. definição da linguagem SCSL 2. implementação do compilador SCSL 3. mapeamento de Statechart para lógica de reescrita 4. implementação do gerador de código Maude 5. elaboração dos modelos exemplos para validação da linguagem e da ferramenta 6. revisão de SCSL 7. revisão da ferramenta

6 3. Resultados Obtidos Resumo dos resultados obtidos: Especificação de 2(duas) linguagens; Desenvolvimento de 6 (seis) softwares livres; 2 (duas) dissertações de mestrado concluídas; 2 (duas) orientações de iniciação científica concluídas e 2 em andamento; 8 (oito) artigos publicados; 4 (quatro) relatórios técnicos; 7 (sete) trabalhos de conclusão de curso concluídos. 5 (cinco) dissertações de mestrado em andamento; Os principais resultados do projeto foram: 1. Especificação do perfil de linguagem NCL-MPEG/4 especificado em XML Schema, disponível no Anexo A. 2. Compilador de software livre do perfil NCL-MPEG/4 para o formato XMT-O do MPEG-4, desenvolvido em Java, disponível para download em 3. Módulo servidor de software livre para transmissão de fluxos de vídeo MPEG que use o protocolo MMTP, desenvolvido em C, disponível para download em 4. Módulo cliente de software livre para recepção de fluxos de vídeo MPEG através do protocolo MMTP, desenvolvido em C, disponível para download em 5. Especificação da linguagem SCSL, disponível no Anexo B. 6. Compilador de software livre de SCSL com a geração de especificação executável em Lógica de Reescrita, disponível para download em 7. Compilador de software livre de lógica de reescrita com a geração de código Maude, disponível para download em 8. Editor de âncora para objetos multimídia com geração de código NCL e SMIL, disponível para download em 9. Orientação de dissertação de mestrado concluída. Título: Uma Proposta de Mapeamento de Máquinas de Estados Abstratas para Lógica de Reescrita. Autor: Vinicius Valente Maciel. Orientadora: Maria Luíza D Almeida Sanchez, Departamento de Ciência da Computação, Instituto de Computação, UFF, defendida em setembro de 2004, disponível no Anexo C. 10. Orientação de dissertação de mestrado concluída. Um Framework para Persistência de Objetos em Banco de Dados Relacionais. Autor: José Francisco Viana Pinheiro. Orientadora: Maria Luíza D Almeida Sanchez, Departamento de Ciência da Computação, Instituto de Computação, UFF, defendida em setembro de 2004, disponível no Anexo D.

7 11. Artigo publicado em congresso internacional. NCL 2.0: Integrating New Concepts to XML Modular Languages. ACM Symposium on Document Engineering - DocEng2004, 2004, Milwaukee, USA 2004, disponível no Anexo E. 12. Artigo publicado em congresso internacional. SCSL A Verifiable and Executable Real-Time Systems Specification Language, 24 th IEEE Real Time Systems Symposium, dezembro de 2003, Cancun, México, disponível no Anexo B. 13. Artigo publicado em congresso nacional. A Free Software Streaming-Video Application based on MMTP, 6o. Fórum Internacional de Software Livre FISL 6.0, Porto Alegre, RS, junho de disponível no Anexo F. 14. Artigo publicado em congresso nacional. Integração entre as Linguagens para Autoria Multimídia NCL e XMT (MPEG-4). WebMedia & LA-Web Joint Conference, Workshop de Iniciação Científica, Ribeirão Pireto, SP, 2004, disponível no Anexo G. 15. Artigo publicado em congresso nacional. Editores de Âncoras para Objetos Multimídia. Simpósio Brasileiro de Sistemas Multimídia e Web - WebMedia 2005, Workshop de Iniciação Científica, Poços de Caldas, MG, 2005, disponível no Anexo H. 16. Artigo publicado em congresso regional. Padrões de Middleware para TV Digital. VIII Semana de Engenharia da UFF, Niterói, 2005, disponível no Anexo I. 17. Artigo publicado em congresso regional. FPOR - Um Framework para Persistência de Objetos em Banco de Dados Relacionais, VII Semana de Engenharia da UFF, Niterói, RJ, Brasil, 8-10 de novembro de 2005, disponível no Anexo J. 18. Artigo publicado em congresso regional. An Open Source Distributed Application for Network Data Sharing, VII Semana de Engenharia da UFF, Niterói, RJ, Brasil, 8-10 de novembro de 2005, disponível no Anexo L. 19. Relatório Técnico. Real-Time Systems Formal Modeling based on Statecharts Autores: Vinicius Valente Maciel e Maria Luiza d Almeida Sanchez, agosto 2005, disponível no Anexo M. 20. Relatório Técnico. Lasm2Maude: um tradutor de especificações ASM em Maude, Autores: Vinicius Valente Maciel e Maria Luiza d Almeida Sanchez, agosto 2005, disponível no Anexo N. 21. Relatório Técnico: Middleware para Set-top Boxes: Um Enfoque Prático, Autores: Manoel Dantas e Débora C. Muchaluat Saade, julho de 2005, disponível no Anexo O. 22. Relatório Técnico: Padrões de Middleware para TV Digital, Autores: Alexsandro Paes, Renato Antoniazzi e Débora C. Muchaluat Saade, julho de 2005, disponível no Anexo P. 23. Orientação de Iniciação Científica Concluída. Alunos: Lucas Vernot (Bolsa PIBIC) Tiago Amorim (Bolsa Apoio Técnico CNPQ). Orientadora: Débora Christina Muchaluat Saade. Autoria de Documentos em Sistemas Hipermídia.

8 Programa PIBIC/UFF, agosto/2004 a julho/2005, relatório disponível no Anexo Q. 24. Orientação de Iniciação Científica ser concluída em julho de Alunos: Lucas Vernot (Bolsa PIBIC) Tiago Amorim (Bolsa Apoio Técnico CNPQ). Orientadora: Débora Christina Muchaluat Saade. Autoria de Documentos Hipermídia para TV Interativa. Programa PIBIC/UFF, agosto/2005 a julho/2006, relatório parcial disponível no Anexo R. 25. Orientação de Trabalho de Conclusão de Curso concluída. Alunos: Douglas Vidal Teixeira, Fernando Bicalho Canedo Freitas. Orientador: Luiz Cláudio Schara Magalhães. Software Cliente-Servidor para Fluxos de Vídeo Usando o Protocolo MMTP Graduação em Engenharia de Telecomunicações - Universidade Federal Fluminense, disponível no Anexo S. 26. Orientação de Trabalho de Conclusão de Curso concluída. Aluno: Fernando Maciel. Orientadora: Débora Christina Muchaluat Saade. Integração entre as Linguagens de Autoria Multimídia NCL e XMT (MPEG-4) f. Graduação em Engenharia de Telecomunicações - Universidade Federal Fluminense, disponível no Anexo T. 27. Orientação de Trabalho de Conclusão de Curso concluída. Aluno: Vinicius Barros de Souza. Orientadora: Débora Christina Muchaluat Saade. Set-Top Boxes para TV Digital Interativa f. Graduação em Engenharia de Telecomunicações - Universidade Federal Fluminense, disponível no Anexo U. 28. Orientação de Trabalho de Conclusão de Curso concluída. Aluno: Danilo Moret Rodrigues, Orientadora: Maria Luíza D Almeida Sanchez. Modelagem em Diagramas de Estado do MMTP, dezembro Graduação em Engenharia de Telecomunicações - Universidade Federal Fluminense, disponível no Anexo V. 29. Orientação de Trabalho de Conclusão de Curso concluída. Alunos: Mariana Mello Bittencourt e Thiago Pereira de Araújo. Orientadora: Débora Christina Muchaluat Saade. Infra-estrutura para o Desenvolvimento de Aplicações para TV Digital Interativa. Março de Graduação em Engenharia de Telecomunicações - Universidade Federal Fluminense, disponível no Anexo X dissertações de mestrado em andamento em Engenharia de Telecomunicações/UFF na mesma linha de pesquisa do projeto, alunos: Douglas Vidal Teixeira, Felipe Maya, Fabiano Abreu, Alex Castro, Manoel Dantas, orientadas pelos professores Débora C. Muchaluat Saade, Maria Luíza D Almeida Sanchez e LuizClaudio Schara Magalhães. O apoio do CNPq foi fundamental para o desenvolvimento das atividades e obtenção dos resultados de nossa pesquisa, pois consolidou a criação de uma infra-estrutura para desenvolvimento de pesquisas em Comunicação de Dados Multimídia, sediada no Laboratório MídiaCom do Departamento de Engenharia de Telecomunicações da Universidade Federal Fluminense, e permitiu a participação de professores e alunos, participantes do projeto, em congressos e simpósios da área. Atenciosamente, Profa. Débora Christina Muchaluat Saade

9 Obs.: Os anexos serão enviados na versão impressa do relatório técnico do projeto e também estarão disponíveis na página do projeto Anexo A Perfil de linguagem NCL-MPEG/4 em XML Schema Anexo B Especificação da linguagem SCSL SCSL A Verifiable and Executable Real_Time Systems Specification Language, 24 th IEEE Real Time Systems Symposium, dezembro de 2003, Cancun, México. Anexo C Dissertação de mestrado: Uma Proposta de Mapeamento de Máquinas de Estados Abstratas para Lógica de Reescrita, IC/UFF, Anexo D Dissertação de mestrado: Um Framework para Persistência de Objetos em Banco de Dados Relacionais, IC/UFF, Anexo E NCL 2.0: Integrating New Concepts to XML Modular Languages. ACM Symposium on Document Engineering - DocEng2004, 2004, Milwaukee, USA Anexo F A Free Software Streaming-Video Application based on MMTP, 6o. Fórum Internacional de Software Livre FISL 6.0, Porto Alegre, RS, junho de Anexo G Integração entre as Linguagens para Autoria Multimídia NCL e XMT (MPEG-4). WebMedia & LA-Web Joint Conference, Workshop de Iniciação Científica, Ribeirão Pireto, SP, Anexo H Editores de Âncoras para Objetos Multimídia. Simpósio Brasileiro de Sistemas Multimídia e Web - WebMedia 2005, Workshop de Iniciação Científica, Poços de Caldas, MG, Anexo I Padrões de Middleware para TV Digital. VIII Semana de Engenharia da UFF, Niterói, RJ, Anexo J FPOR - Um Framework para Persistência de Objetos em Banco de Dados Relacionais, VII Semana de Engenharia da UFF, Niterói, RJ, Brasil, 8-10 de novembro de 2005.

10 Anexo L An Open Source Distributed Application for Network Data Sharing, VII Semana de Engenharia da UFF, Niterói, RJ, Brasil, 8-10 de novembro de Anexo M Relatório Técnico. Real-Time Systems Formal Modeling based on Statecharts Autores: Vinicius Valente Maciel e Maria Luiza d Almeida Sanchez, agosto Anexo N Relatório Técnico. Lasm2Maude: um tradutor de especificações ASM em Maude, Autores: Vinicius Valente Maciel e Maria Luiza d Almeida Sanchez, agosto Anexo O Relatório Técnico: Middleware para Set-top Boxes: Um Enfoque Prático, Autores: Manoel Dantas e Débora C. Muchaluat Saade, julho de Anexo P Relatório Técnico: Padrões de Middleware para TV Digital, Autores: Alexsandro Paes, Renato Antoniazzi e Débora C. Muchaluat Saade, julho de Anexo Q Relatório Técnico de Iniciação Científica. Alunos: Lucas Vernot (Bolsa PIBIC) Tiago Amorim (Bolsa Apoio Técnico CNPQ). Orientadora: Débora Christina Muchaluat Saade. Autoria de Documentos em Sistemas Hipermídia. Programa PIBIC/UFF, agosto/2004 a julho/2005. Anexo R Relatório Técnico Parcial de Iniciação Científica ser concluída em julho de Alunos: Lucas Vernot (Bolsa PIBIC) Tiago Amorim (Bolsa Apoio Técnico CNPQ). Orientadora: Débora Christina Muchaluat Saade. Autoria de Documentos Hipermídia para TV Interativa. Programa PIBIC/UFF, agosto/2005 a julho/2006. Anexo S Trabalho de Conclusão de Curso. Alunos: Douglas Vidal Teixeira, Fernando Bicalho Canedo Freitas. Orientador: Luiz Cláudio Schara Magalhães. Software Cliente-Servidor para Fluxos de Vídeo Usando o Protocolo MMTP Anexo T Trabalho de Conclusão de Curso. Aluno: Fernando Maciel. Orientadora: Débora Christina Muchaluat Saade. Integração entre as Linguagens de Autoria Multimídia NCL e XMT (MPEG-4) Anexo U Trabalho de Conclusão de Curso. Aluno: Vinicius Barros de Souza. Orientadora: Débora Christina Muchaluat Saade. Set-Top Boxes para TV Digital Interativa

11 Anexo V Trabalho de Conclusão de Curso. Aluno: Danilo Moret Rodrigues, Orientadora: Maria Luíza D Almeida Sanchez. Modelagem em Diagramas de Estado do MMTP, dezembro Anexo X Trabalho de Conclusão de Curso. Alunos: Mariana Mello Bittencourt e Thiago Pereira de Araújo. Orientadora: Débora Christina Muchaluat Saade. Infra-estrutura para o Desenvolvimento de Aplicações para TV Digital Interativa. Março de Referências Bibliográficas 1 - Produção Científica da Equipe na Área do Projeto [AMRS00a] Antonacci M.J., Muchaluat-Saade D.C., Rodrigues R.F., Soares L.F.G. Improving the expressiveness of XML-based Hypermedia Authoring Languages, Proceedings of the Multimedia Modeling Conference'2000, Nagano, Japan, Novembro [AMRS00b] Antonacci M.J., Muchaluat-Saade D.C., Rodrigues R.F., Soares L.F.G. NCL: Uma Linguagem Declarativa para Especificação de Documentos Hipermídia na Web, VI Simpósio Brasileiro de Sistemas Multimídia e Hipermídia - SBMídia2000, Natal, Rio Grande do Norte, Junho [Bas00+] S. Bastos. Desenvolvimento De Uma Técnica Formal De Especificação De Requisitos Para Sistemas De Tempo Real A Partir De Métodos Não-Formais Orientados A Objetos. Tese de Mestrado, Orientador: Maria Luiza d Almeida Sanchez, Ciência da Computação - Universidade Federal Fluminense, Dezembro [BS00] S. Bastos and M.L. Sanchez, M. L. D.Obtaining Formal Requirements Specification from UML In: IFIP WG6.1 FORTE/PSTV 2000, Outubro 2000, Piza. [BS01] S. Bastos and M.L. Sanchez,. D.Modelling Real Time Systems From Object Oriented Models In: Provisional IEEE/IEE Real-Time Embedded Systems Workshop, 2001, Londres. : Provisional IEEE/IEE Real-Time Embedded Systems Workshop., Dezembro v.1. p.1 5 [BS02] S. Bastos and M.L. Sanchez,. Modelling Real Time Systems From Object Oriented Models In: SBRC - Workshop de Sistemas de Tempo-Real, 2002, Buzios.SBRC - Workshop de Sistemas de Tempo-Real., Maio v.1. p.1 8 [CMSS96] Costa F.R, Muchaluat-Saade D.C., Soares L.F.G., Souza G.L. Editor Gráfico para Estrutura e Sincronismo de Documentos Multimídia, IX Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens, Caxambu, Minas Gerais, Outubro [KCM01] Kravets R., Carter C., and Magalhaes L., A Cooperative Approach to User Mobility, ACM Computer Communications Review, vol. 31, [MK01] Magalhaes, L. and Kravets, R., MMTP: Multimedia Multiplexing Transport Protocol, The First Workshop on Data Communications in Latin America and the Caribbean, (SIGCOMM-LA 2001), 2001.

12 [MK01a] Magalhaes, L. and Kravets R., End-to-End Inverse Multiplexing for Mobile Hosts, The 19th Brazilian Symposium on Computer Networks, Florianopolis, Brazil, [MK01b] Magalhaes, L. and Kravets R., Transport Level Mechanisms for Bandwidth Aggregation on Mobile Hosts, The 9th International Conference on Network Protocols (ICNP 2001), [MK01c] Magalhaes, L. and Kravets R., End-to-End Inverse Multiplexing for Mobile Hosts, Journal of the Brazilian Computer Society, no. 2 vol 7, Novembro [MKH03] Magalhaes, L. and Kravets R., Harris III A., Improving Performance of Rate-Base Transport Protocols in Wireless Environments, SBT'03 20th XX Simpósio Brasileiro de Telecomunicações, 2003 [MS03] Maciel, V.V. and Sanchez, M.L., SCSL- A Verifiable and Executable Real-Time Systems Specification Language IN: RTSS 24 Th IEEE International Real-Time Systems Symposium, Cancun, Dezembro 2003 (a publicar). [MSCS97] Muchaluat-Saade D.C., Soares L.F.G., Costa F., Souza G. Graphical Structured-Editing of Multimedia Documents with Temporal and Spatial Constraints, IV International Conference on Multimedia Modeling -MMM'97, Cingapura, pp , Novembro [Much03] Muchaluat-Saade, D.C. Relações em Linguagens de Autoria Hipermídia: Aumentando Reuso e Expressividade. Tese de Doutorado, Departamento de Informática, PUC-Rio, Rio de Janeiro, Brasil, Março [Much96] Muchaluat-Saade D.C. Browsers e Trilhas para Documentos Hipermídia Baseados em Modelos com Composições Aninhadas, Dissertação de Mestrado, Departamento de Informática, PUC-Rio, Rio de Janeiro, Março [MuCS01] Muchaluat-Saade D.C., Colcher S., Soares L.F.G. Relações de Sincronização Espaço-Temporal Hipermídia Também Merecem Status de Primeira Classe, VII Simpósio Brasileiro de Sistemas Multimídia e Hipermídia - SBMídia2001, Florianópolis, Santa Catarina, Outubro [MuRS02] Muchaluat-Saade D.C., Rodrigues R.F., Soares L.F.G. XConnector: Extending XLink to Provide Multimedia Synchronization, ACM Symposium on Document Engineering - DocEng'02, Virginia, USA, Novembro [MuRS98] Muchaluat-Saade, D.C.; Rodrigues, R.F.; Soares L.F.G. WWW Fisheye- View Graphical Browser. V Multimedia Modeling Conference - MMM98, Lausanne, Suiça, Outubro 1998, pp [MuSC96] Muchaluat-Saade D.C., Soares L.F.G., Casanova M.A. Editores Gráficos para Estruturas com Composições, Anais do X Simpósio Brasileiro de Engenharia de Software, São Carlos, São Paulo, Outubro [MuSiSo03] Muchaluat-Saade D.C., Silva H., Soares, L.F.G. Linguagem NCL versão 2.0 para Autoria Declarativa de Documentos Hipermídia, IX Simpósio Brasileiro de Sistemas Multimídia e Web - WebMídia2003, Salvador, Bahia, Novembro [MuSo00] Muchaluat-Saade D.C., Soares, L.F.G. Linguagens de Descrição de Arquitetura X Modelo Hipermídia NCM, Relatório Técnico, Laboratório TeleMídia, Departamento de Informática, PUC-Rio, Rio de Janeiro, Junho 2000.

13 [MuSo01a] Muchaluat-Saade D.C., Soares L.F.G. Hypermedia Spatio-Temporal Synchronization Relations Also Deserve First Class Status, VIII Multimedia Modeling Conference - MMM'2001, Amsterdam, Holanda, Novembro [MuSo01b] Muchaluat-Saade D.C., Soares L.F.G. Towards the Convergence Between Hypermedia Authoring Languages and Architectural Description Languages, ACM Symposium on Document Engineering - DocEng'01, Atlanta, USA, Novembro [MuSo02a] Muchaluat-Saade D.C., Soares L.F.G. XConnector e XTemplate: Estendendo XLink para Aumentar Expressividade e Reuso, VIII Simpósio Brasileiro de Sistemas Multimídia e Hipermídia - SBMídia2002, Fortaleza, Ceará, Outubro [MuSo02b] Muchaluat-Saade D.C., Soares L.F.G. XConnector & XTemplate: Improving the Expressiveness and Reuse in Web Authoring Languages, aceito para publicação em The New Review of Hypermedia and Multimedia Journal, Taylor Graham Publisher, vol. 8, [RAR+02] Rodrigues L.M., Antonacci M.J., Rodrigues R.F., Muchaluat-Saade D.C., Soares L.F.G. Improving SMIL with NCM Facilities, Journal of Multimedia Tools and Applications, 16(1), Kluwer Academics Publisher, Janeiro [RoMS98] Rodrigues R., Muchaluat-Saade D.C., Soares L.F.G. Composite Nodes, Contextual Links and Graphical Structural Views on the WWW, Journal of the Brazilian Computer Society (Special Issue on World Wide Web), 5(2): 31-44, Novembro [Soar00] Soares L.F.G. et al, Modelo de Contextos Aninhados - versão 2.3, Relatório Técnico do Laboratório TeleMídia, Departamento de Informática, PUC- Rio, Março [SoRM00] Soares L.F.G., Rodrigues R.F., Muchaluat-Saade D.C. Modeling, Authoring and Formatting Hypermedia Documents in the HyperProp System, ACM Multimedia Systems Journal, 8(2): , Março [SSRM98a] Soares, L.F.G.; Souza, G.L.; Rodrigues, R.F.; Muchaluat-Saade, D.C. Propagação e Proliferação de Versões em Modelos Conceituais Hipermídia com Composições. Simpósio Brasileiro de Banco de Dados SBBD 98, Maringá, Brasil, Outubro 1998, pp [SSRM98b] Soares, L.F.G.; Souza, G.L.; Rodrigues, R.F.; Muchaluat-Saade, D.C. Versões de Representação em Modelos com Composições Aninhadas. IV Simpósio Brasileiro de Sistemas Multimídia e Hipermídia SBMídia 98, Rio de Janeiro, Brasil, Maio 1998, pp [SSRM99] Soares, L.F.G.; Souza, G.L.; Rodrigues, R.F.; Muchaluat-Saade, D.C. Versioning Support in the HyperProp System. Journal of Multimedia Tools and Applications, v.8, n.3, Kluwer Academics, Maio 1999, pp Bibliografia [AlGa97] Allen R., Garlan D. A Formal Basis for Architectural Connection, Technical Report, School of Computer Science, Carnegie Mellon University, September 1998, revised version of the paper that appeared in ACM Transactions on Software Engineering and Methodology, Julho 1997.

14 [AlGa98] Allen R., Garlan D. A Formal Basis for Architectural Connection, Technical Report, School of Computer Science, Carnegie Mellon University, Setembro 1998, versão revisada do artigo publicado em ACM Transactions on Software Engineering and Methodology, Julho [All87] Introduction to Real Time Software Design. Springer-Verlag, [Alle83] Allen J.F. Maintaining Knowledge about Temporal Intervals, Communications of the ACM, 26(11), 1983, [Alle97] Allen R. A Formal Approach to Software Architecture, PhD Thesis, School of Computer Science, Carnegie Mellon University, Maio [Ande97] Anderson, K.M. Integrating Open Hypermedia Systems with the World Wide Web. VIII ACM International Hypertext Conference, Southampton, 1997, pp [AnKM95] Andrews, K.; Kappe, F.; Maurer, H. Serving Information to the Web with Hyper-G. Computer Networks and ISDN Systems, v.27, n.6, 1995, pp [Anto00] Antonacci M.J. NCL: uma Linguagem Declarativa para Especificação de Documentos Hipermídia com Sincronização Temporal e Espacial, Dissertação de Mestrado, Departamento de Informática, PUC-Rio, Abril [AP99] M. Allman and V. Paxson. TCP Congestion ControlInternet Engineering Task Force, April RFC 2581 [AS99] Aredo, D.B.; Traoré, I.; StØlen, K. Towards a formalization of UML Class Structure in PVS. Research Report 272, University of Oslo, Agosto/1999. [BB01] D. Bansal and H. Balakrishnan. Binomial Congestion Control Algorithms. In Proceedings INFOCOM 2001 (to appear), April [BBHJ97] Braden, R.; Berson, S.; Herzog, S.; Jamin, S.; Zhang, L. Resource ReSerVation Protocol (RSVP): Version 1 Functional Specification. IETF Request for Comments (RFC) 2205, set. de [BCLN94] Berners-Lee T.J., Cailliau R., Luotonen A., Nielsen H.F., Secret A. The World-Wide Web, Communications of the ACM, 37(8): 76-82, [BeLB98] Berson, S.; Lindell, R.; Braden, R. An Architecture for Advance Reservations in the Internet. Relatório Técnico, USC Information Sciences Institute, jul [BeMM94] Berners-Lee, T.J.; Masinter, L.; McCahill, M. Uniform Resource Locators (URL). RFC 1738, IETF, dez [BHBK00] Bhatti, N.; Bouch, A.; Kuchinsky, A. Integrating User-Perceived Quality into Web Server Design, WWW Conference, [BMRS00] Bachelet, B.; Mahey, P.; Rodrigues, R.F.; Soares, L.F.G. Elastic Time Computation for Hypermedia Documents. VI Simpósio Brasileiro em Sistemas Multimídia e Hipermídia - SBMídia 2000, Natal, Brasil, jun. 2000, pp [Boe75] Boehm B., Mclean R. L., Urfig D. B.; Some experiences with automated aids to the design of large-scale reliable software; IEEE Transactions on Software Engineering, vol. SE-1, nº 6; junho de 1975 pp [BoKl99] Boll, S.; Klas, W. Z Y X A Semantic Model for Multimedia Documents and Presentations. VIII IFIP Conference on Data Semantics, 1999.

15 [BoKW99a] Boll, S.; Klas, W.; Westermann, U. Multimedia Document Models Sealed Fate or Setting Out for New Shores? IEEE International Conference on Multimedia Computing and Systems (ICMCS), Florença, Itália, jun [BoKW99b] Boll, S.; Klas, W.; Wandel, J. A Cross-Media Adaptation Strategy for Multimedia Presentation. ACM Multimedia, Orlando, EUA, out [Boo94] Booch, G. Object-Oriented Analysis and Design with Applications. 2nd Ed., Benjamin/Cummings, [Boo99] Booch, G.; Rumbaugh, J.; Jacobson, I. The Unified Modeling Language User Guide. Addison Wesley, [BoSc99] Bouvin, N.O.; Schade, R. Integrating Temporal Media and Open Hypermedia on the World Wide Web. VIII International World Wide Web Conference, 1999, pp [BRS99] H. Balakrishnan, H. S. Rahul, and S. Seshan. An Integrated Congestion Management Architecture for Internet Hosts. In Proc. ACM SIGCOMM, pages , Sep [Bru98] Bruel, J.M.; France, R.B. Transforming UML Models to Formal Specification. In: Conf. on Object Oriented Programming Systems Language and Applications (OOPSLA'98), Vancouver, Canada, [Brus96] Brusilovsky, P. Methods and Techniques of Adaptive Hypermedia. Journal of User Modelling and User-Adaptive Interaction, v.6, n.2-3, 1996, pp [BS00] H. Balakrishnan and S. Seshan. The Congestion Manager. Internet Engineering Task Force, Nov Internet Draft draft-balakrishnan-cm-3.txt. Work in progress, expires May [BT98] J. Bolot and T. Turletti, Experience with Rate Control Mechanisms for Packet Video in the Internet. ACM Computer Communications Review, vol. 28, pp. 4-15, [BuZe92] Buchanan, M.C.; Zellweger, P.T. Specifying Temporal Behavior in Hypermedia Documents. European Conference on Hypertext - ECHT'92, Milão, Itália, dez [BuZe93a] Buchanan M.C., Zellweger P.T. Automatic Temporal Layout Mechanisms, Proceedings of ACM Multimedia 93, California, pp , [BuZe93b] Buchanan, M.C.; Zellweger, P.T. Automatically Generating Consistent Schedules for Multimedia Documents. ACM Multimedia Systems Journal, v.1, n.2, Springer-Verlag, set. 1993, pp [Car99] Carpena, F.R. Especificação de Requisitos de Software com o Método SCR. Tese de Mestrado, Orientadora: Tereza Kirner. Universidade Federal de São Carlos, [CCPP99] World-Wide Web Consortium. Composite Capability/Preference Profiles (CC/PP): A user side framework for content negotiation. W3C Note, jun [CDE + 01] Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, and José F. Quesada. Maude: Specication and programming in rewriting logic. Theoretical Computer Science, To appear.

16 [CDE + 03] Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, and Carolyn Talcott. The maude 2.0 system. In Robert Nieuwenhuis, editor, Rewriting Techniques and Applications (RTA 2003), number 2706 in Lecture Notes in Computer Science, pages 76{87. Springer-Verlag, June [CGL94] Edmund M. Clarke, Orna Grumberg, and David E. Long. Model checking and abstraction. ACM Transactions on Programming Languages and Systems, 16(5):1512{1542, September [ChKo00] Chen, G.; Kotz, D. A Survey of Context-Aware Mobile Computing Research. Department of Computer Science. Dartmouth College, nov [CKK98] F. M. Chiussi, D. A. Khotimsky, and S. Krishnan, Generalized inverse multiplexing of switched ATM connections. presented at Proceedings of the IEEE Conference on Global Communications (GlobeCom '98), [CLZ88] D. D. Clark, M. Lambert, and L. Zhang, NETBLT: A High Throughput Transport Protocol, [CoBl95] Coulson, G.; Blair, G. Architectural Principles and Techniques for Distributed Multimedia Application Support in Operating Systems. ACM Operating System Review, v.29, n.4, out. 1995, pp [CoKa00] Cohen, E.; Kaplan, H. Prefetching the Means for Document Transfer: A New Approach for Reducing Web Latency. IEEE INFOCOM 2000, Tel-Aviv, Israel, mar [Colc99] Colcher, S. Um Meta Modelo para Aplicações e Serviços de Comunicação Adaptáveis e com Qualidade de Serviço. Tese de Doutorado, Departamento de Informática, PUC-Rio, Rio de Janeiro, Brasil, nov [CRHH95] Carr L., Roure D., Hall W., Hill G. The Distributed Link Service: A Tool for Publishers, Authors and Readers, Proceedings of the Fourth International World Wide Web Conference, Boston, USA, [CSS96] World-Wide Web Consortium. Cascading Style Sheets, level 1. W3C Recommendation, dez [CSS98] Cascading Style Sheets, level 2 CSS2 Specification, W3C Recommendation, disponível em Maio [CT90] D. D. Clark and D. L. Tennenhouse, Architectural Considerations for a New Generation of Protocols. in Proceedings of the SIGCOMM '90 Symposium, 1990, pp [CTL+91] Casanova M.A., Tucherman L., Lima M.J., Rangel J.L., Rodriguez N.R., Soares L.F.G. The Nested Contex Model for Hyperdocuments, Proceedings of Third ACM Conference on Hypertext, San Antonio, Texas, pp , Dezembro [Day93] Nanci Day. A model checker for statecharts ( linking case tools with formal methods. Technical Report, University of British Columbia, [DeCo95] Dean T., Cordy J. A Syntatic Theory of Software Architecture, IEEE Transactions on Software Engineering, 21(4), Abril [DeSA01] Dey, A.K.; Salber, D.; Abowd, G.D. A Conceptual Framework and a Toolkit for Supporting the Rapid Prototyping of Context-Aware Applications.Human-

17 Computer Interaction (HCI) Journal - special issue on Context-Aware Computing, v.16, n.2-4, 2001, pp [DiAP01] Díaz P., Aedo I., Panetsos F. Modeling the Dynamic Behavior of Hypermedia Applications, IEEE Transactions on Software Engineering, 27(6), pp , Junho [DKPS95] Degermark, M.; Köhler, T.; Pink, S.; Schelén, O. Advance Reservation for Predictive Service. 5th International Workshop on Network and Operating System Support for Digital Audio and Video, Durham, abr [Dou98] Douglass, B.P. Real Time UML - Developing Efficient Objects for Embedded Systems. Addison Wesley, [DSSS96] DSSSL Document Style Semantics and Specification Language, ISO/IEC 10179:1996 Published Standard, [DuKe95] Duda A., Keramane C. Structured Temporal Composition of Multimedia Data, IEEE International Workshop on Multimedia Database Management Systems, Nova York, Agosto [ElCe01] Elson J.; Cerpa, A. (eds.). ICAP the Internet Content Adaptation Protocol. ICAP White Paper V1.01, ICAP Forum, [FCDG99] Feldmann, A.; Caceres, R.; Douglis, F; Glass, G.; Rabinovich, M. Performance of Web Proxy Caching in Heterogeneous Bandwidth Environments. IEEE INFOCOM 99, [FeHS02] Félix, M.F.; Haeusler, E.H.; Soares, L.F.G. Validating Hypermedia Documents: a Timed Automata Approach. Monografia em Ciência da Computação, Departamento de Informática, PUC-Rio, Rio de Janeiro, RJ, [FHP+00] S. Floyd, M. Handley, J. Padhye, and J. Widmer. Equation-Based Congestion Control for Unicast Applications. Proc. ACM SIGCOMM, pages , September [FJ93] S. Floyd and V. Jacobson, Random Early Detection Gateways for Congestion Avoidance. IEEE/ACM Transactions on Networking, [FrBo96] Freed, N.; Borenstein, N. Multipurpose Internet Mail Extensions (MIME) Part One: Format of Internet Message Bodies. RFC 2045, nov [FSV + 01] Carlos Renato Lisboa Francês, Marcos José Santana, Nandamudi Lankalapalli Vijaykumar, Solon Venâncio de Carvalho, and Regina Helena Carlucci Santana. Statecharts estocásticos e queuing statecharts: Novas abordagens para avaliação de desempenho baseadas em especicação statecharts. Simpósio Brasileiro de Engenharia de Software, [FuNa02] Furuta R., Na J. Applying cat s Programmable Browsing Semantics to Specify World-Wide Web Documents that Reflect Place, Time, Reader, and Community, ACM Symposium on Document Engineering - DocEng'02, Virginia, USA, Novembro [GaMW97] Garlan D., Monroe R., Wile D. ACME: An Architecture Description Interchange Language, Proceedings of CASCON'97, Novembro [GaPe95] Garlan D., Perry D. Introduction to the Special Issue on Software Architecture, IEEE Transactions on Software Engineering, 21(4), Abril 1995.

18 [Garl95] Garlan D. An Introduction to the Aesop System, disponível em Julho [Garl98] Garlan D. High-Order Connectors, apresentado no Workshop on Compositional Software Architecture, Monterey, CA, Janeiro [GHJV95] Gamma, E.; Helm, R.; Johnson, R.; Vlissides, J. Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, [GHMN01] Gudgin, M.; Hadley, M.; Moreau, J.; Nielsen, H.F. SOAP Version 1.2. W3C Working Draft, [GoCS01] Gomes, A.T.A.; Colcher, S.; Soares, L.F.G. Modeling QoS provision on Adaptable Communication Environments. International Conference on Communications - ICC2001, Helsinque, Finlândia, jun [Gome99] Gomes, A.T.A. Um Framework para Provisão de QoS em Ambientes Genéricos de Processamento e Comunicação. Dissertação de Mestrado, Departamento de Informática, PUC-Rio, Rio de Janeiro, Brasil, mai [Gori01] Gorini, R.A.C. Um Ambiente de Suporte à Autoria Cooperativa de Documentos Hipermídia. Dissertação de Mestrado, Departamento de Informática, PUC-Rio, Rio de Janeiro, Brasil, set [GrBS97] Grønbaek, K.; Bouvin, N.O.; Sloth, L. Designing Dexter-based hypermedia services for the World Wide Web. VIII ACM International Hypertext Conference, Southampton, 1997, pp [GriN02] GRiNS Pro Editor for SMIL 2.0: Reference Manual. Oratrix Development, fevereiro de Disponível em [HaBR93] Hardman, L.; Bulterman, D.C.A.; van Rossum, G. The Amsterdam Hypermedia Model: extending hypertext to support real multimedia. Hypermedia Journal, v.5, n.1, 1993, pp [HaDa96] Hall, W.; Davis, H.C.; Hutchings, G.A. Rethinking hypermedia: the Microcosm approach. Kluwer Academic Press, Amsterdam, [Har87] David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231{274, June [Har88a] Harel D. et al.; STATEMATE: A Working Environment for the Development of Complex Reactive Systems; Proceedings of the Tenth International Conference on Software Engineering; Los Alamitos, CA: IEEE Computer Society Press; 1988, pp [Har88b] Harel D.; On Visual Formalisms; Communications of ACM vol. 31, nº 5; maio de 1988, pp [HaRB93] Hardman L., van Rossum G., Bulterman D.C.A. Structured Multimedia Authoring. Proceedings of the 1993 ACM Multimedia Conference, pp , 1993, Anaheim, CA. [Hard98] Hardman L. Modelling and Authoring Hypermedia Documents, PhD Thesis, University of Amsterdam, disponível em

19 [HaSc94] Halasz F., Schwartz M. The Dexter Hypertext Reference Model, Communications of the ACM, 37(2), Fevereiro [HTML95] Berners-Lee T., Connolly D. Hypertext Markup Language - 2.0, RFC 1866, IETF, Novembro 1995 [ISO92] ISO. Information Technology Hypermedia/Time-based Structuring Language (HyTime). International Standard (IS) 10744, [ISO96] ISO/IEC. Information Technology Coding of Multimedia and Hypermedia Information Part 6: Support for Enhanced Interactive Applications. International Standard (IS) , [ITU96] International Telecommunications Union. One-way transmission time, Recomendação G.114, fev [Ja88] V. Jacobson. Congestion Avoidance and Control. In Proc. ACM SIGCOMM, pages , Aug [Jac95] Jacobson, I. et al., The Object Advantage. Addison Wesley, [Jef99] K. Jeffay, Towards a Better-Than-Best-Effort Forwarding Service for Multimedia Flows. IEEE Multimedia, vol. 1999, [JeHK97] Jeong, T.; Ham, J.; Kim, S. A Pre-scheduling Mechanism for Multimedia Presentation Synchronization. IEEE International Conference on Multimedia Computing and Systems, Ottawa, Canada, 1997, pp [JLR+98] Jourdan M., Layaïda N., Roisin C., Sabry-Ismail L., Tardif L. Madeus, an Authoring Environment for Interactive Multimedia Documents, Proceedings of the ACM Multimedia Conference 98, pp , England, Setembro [JLT85] E. D. Jensen, C. D. Locke, and H. Tokuda, A Time-Driven Scheduling Model for Real-Time Operating Systems. in IEEE Real-Time Systems Symposium, [JoRT98] Jourdan, M.; Roisin, C.; Tardif, L. Multiviews Interfaces for Multimedia Authoring Environments. V Conference on Multimedia Modeling, Lausanne, out. 1998, pp [Jun98] Júnior, J.A.; Sawyer, P. Integrating Object-Oriented Analysis and Formal Specification. Journal of the Brazilian Computer Society, no. 1, vol. 5, Julho/98. [Kes92] S. Keshav, A Control-Theoretic Approach to Flow Control. Presented at Proceedings of the SIGCOMM '92 Symposium, [KhTa01a] Khan, J.; Tao, Q. Partial Prefetch for Faster Surfing in Composite Hyprmedia. USENIX Symposium on Internet Technology and Systems, São Francisco, EUA, mar [KhTa01b] Khan J., Tao Q. Prefetch Scheduling for Composite Hypermedia. IEEE International Conference on Communications - ICC 2001, Helsinque, Finlândia, jun [KiSo95] Kim, M.; Song, J. Multimedia Documents with Elastic Time. Proceedings of ACM Multimedia 95, São Francisco, EUA, nov [Kop97] Kopetz, H. Real-Time Systems - Design principles for distributed embedded applications. Kluwer Academic Publishers, 1997.

20 [KrLM97] Kroeger, T.; Long, D.D.E.; Mogul, J. Exploring the Bounds of Web Latency Reduction from Caching and Prefetching. USENIX Symposium on Internet Technology and Systems, Monterey, dez. 1997, pp [Lan99] Lano, K.C.; Evans, A.S. Rigorous Development in UML. In: ETAPS '99, LNCS, [LE99] K. Lano and A. Evans. Rigorous development in UML, [LeLa01] Lemlouma, T.; Layaïda, N. The Negotiation of Multimedia Content Services in Heterogeneous Environments. VIII Multimedia Modeling: Modeling Multimedia Information and Systems, Amsterdam, Holanda, nov. 2001, pp [Lev91] Leveson, N. G. Software Requirements Analysis for Real-Time Process- Control Systems. IEEE Transactions on Software Engineering, no. 3, vol. 17, Março/91. [LiGh90] Little, T.; Ghafoor, A. Synchronization and Storage Models for Multimedia Objects. IEEE Journal Selected Areas of Communications, v.8, n.3, abr. 1990, pp [LKA+95] Luckham D., Kennedy J., Augustin L., Vera J., Bryan D., Mann W. Specification and Analysis of System Architecture Using Rapide, IEEE Transactions on Software Engineering, 21(4), Abril [LoHa99] Lowe D., Hall W. Hypermedia & The Web: an Engineering Approach, John Willey & Sons, [LPR+00] K.-W. Lee, R. Puri, T. Kim, K. Ramchandran, and V. Bharghavan, An Integrated Source Coding and Congestion Control Framework for Video Streaming in the Internet. presented at IEEE Infocom 2000, [Lutu02] Lutus P. Arachnophilia 5.0. Paul Lutus Copyright, Disponível em [LuVe95] Luckham D., Vera J. An Event-based Architecture Definition Language, IEEE Transactions on Software Engineering, 21(9), Setembro [MaKr96] Magee J., Kramer J. Dynamic Structure in Software Architectures, Proceedings of ACM SIGSOFT'96: 4th Symposium on the Foundations of Software Engineering (FSE4), pp. 3-14, San Francisco, California, Outubro [MDEK95] Magee J., Dulat N., Eisenbach S., Kramer J. Specifying Distributed Software Architectures, Proceedings of the 5th European Software Engineering Conference (ESEC'95), Barcelona, Setembro [MeMP00] Mehta N., Medvidovic N., Phadke S. Towards a Taxonomy of Software Connectors, Proceedings of the 22 nd International Conference on Software Engineering, Limerick, Irlanda, Junho [MeRS01] Medina, M.T.; Ribeiro, C.C.; Soares, L.F.G. Automatic Scheduling of Hypermedia Documents with Elastic Time. Monografias em Ciência da Computação MCC08/01, Departamento de Informática, PUC-Rio, Rio de Janeiro, Brasil, [MeTa00] Medvidovic N., Taylor R. A Classification and Comparison Framework for Software Architecture Description Languages, IEEE Transactions on Software Engineering, 26(1), Janeiro 2000.