Um metamodelo da linguagem de modelagem real time UML, de suporte à criação de dicionário de dados para ferramentas de modelagem de sistema tempo real, visando a verificação de consistência dos modelos

A computação de tempo real é uma das áreas mais desafiadoras e de maior demanda tecnológica da atualidade. Está diretamente ligada a aplicações que envolvem índices críticos de confiabilidade e segurança. Estas características, inerentes a esta área da computação, vêm contribuindo para o aumento da complexidade dos sistemas tempo real e seu conseqüente desenvolvimento. Isto fez com que mecanismos para facilitar especificação, delimitação e solução de problemas passem a ser itens importantes para tais aplicações. Este trabalho propõe mecanismos para atuarem no desenvolvimento de sistemas de tempo real, com o objetivo de serem empregados como ferramenta de apoio no problema da verificação de presença de inconsistências, que podem vir a ocorrer nos vários modelos gerados partir da notação da linguagem de modelagem gráfica para sistemas de tempo real - UML-RT(Unified Modeling Language for Real Time). Estes mecanismos foram projetados através da construção de um metamodelo dos conceitos presentes nos diagramas de classe, de objetos, de seqüência, de colaboração e de estados. Para construir o metamodelo, utiliza-se a notação do diagrama de classes da UML (Unified Modeling Language). Contudo, por intermédio das representações gráficas do diagrama de classes não é possível descrever toda a semântica presente em tais diagramas. Assim, regras descritas em linguagem de modelagem OCL (Object Constraint Language) são utilizadas como um formalismo adicional ao metamodelo. Com estas descrições em OCL será possível a diminuição das possíveis ambigüidades e inconsistências, além de complementar as limitações impostas pelo caráter gráfico da UML. O metamodelo projetado é mapeado para um modelo Entidade&Relacionamento. A partir deste modelo, são gerados os scripts DDL (Data Definition Language) que serão usados na criação do dicionário de dados, no banco de dados Oracle. As descrições semânticas escritas através de regras em OCL são mapeadas para triggers, que disparam no momento em que o dicionário de dados é manipulado. O MET Editor do SiMOO-RT é a ferramenta diagramática que faz o povoamento dos dados no dicionário de dados. SiMOO-RT é uma ferramenta orientada a objetos para a modelagem, simulação e geração automática de código para sistemas de tempo real.

Geração de código no projeto de sistemas reativos a partir da linguagem RS

A linguagem síncrona RS é destinada ao desenvolvimento de sistemas reativos. O presente trabalho tem como objetivo criar meios que facilitem o uso da linguagem RS no projeto e implementação desses sistemas, permitindo que, à partir da especificação de um sistema reativo, seja realizada a sua implementação de forma automática. Deste modo, a linguagem RS é utilizada para a descrição do comportamento de um sistema em um alto nível de abstração, antes de serfeitas a decomposição do sistema em componentes de software ou hardware. A implmentação do protótipo do sistema computacional dedicado é obtida através de uma síntese automática desse modelo de alto nível. Foram implementados geradores de código que utilizam o código objeto fornecido pelo compilador da linguagem RS. Os geradores fazem a tradução para a linguagem C, para a linguagem JAVA, ou para a linguagem de descrição de hardware VHDL. A partir da síntese desses códigos poderá ser obtida a implementação do sistema em um micrcoomputador comercial, em um microcomputador Java de dedicado (ASIP Java), ou em um hardware de aplicação específica (ASIC). Foram realizados estudos de caso representativos dos sistemas reativos embaraçados e de tempo rel. Estes estudos de caso serviram para validar os geradores de código bem como para analisar o uso da linguagem RS no projeto e implementação desses sistemas.

Relação cronointervalar : uma teoria para a estruturação do andamento musical

Esta tese de doutorado apresenta a teoria da Relação Cronointervalar, a qual propõe critérios para a estruturação do andamento em composição musical, demonstrando como trocas de andamento regidas por proporções matemáticas presentes na série harmônica, podem relacionar-se com centros harmônicos, movimentos melódicos, compassos irregulares, entre outros elementos, de uma composição. A teoria da Relação Cronointervalar pretende oferecer uma ferramenta composicional que venha a acrescentar-se ao desenvolvimento das técnicas de organização do andamento, explorando aspectos não presentes em modelos anteriores. É nossa intenção que a teoria ofereça princípios e aplicabilidade relativamente simples, de forma que esta venha a ter o potencial de ser utilizada por uma gama ampla de interessados, estudantes de composição, professores de composição e compositores, nas suas atividades específicas e também no ensino da composição. A teoria da Relação Cronointervalar, tal como formulada, poderá contribuir para a área de composição/teoria, uma vez que o modelo desenvolvido venha a tornar-se técnica composicional sistematizada e com aplicabilidade definida, oferecendo assim uma nova ferramenta com o seu respectivo referencial teórico para a organização do andamento em composição.

Uma Linguagem visual de consulta a XML baseada em ontologias

O volume de informações armazenadas e representadas em XML cresce rapidamente, abrangendo desde a Web até bancos de dados corporativos. Nesse contexto, surge a necessidade de mecanismos de recuperação de dados nesse formato que sejam, ao mesmo tempo, mais eficientes e mais eficazes. Várias propostas de linguagens de consulta têm sido feitas, dentre as quais podem ser citadas XQL, XML-QL e Quilt. Essas linguagens, todas textuais, são mais indicadas para manipulação programática ou para usuários experientes. Visando atingir também os usuários menos experientes, foram propostas linguagens visuais, tais como XML-GL e Xing. Todas essas linguagens, entretanto, apresentam duas características comuns: a) o usuário precisa conhecer, pelo menos em um certo nível, a estrutura interna dos documentos; b) a mesma informação, se armazenada de formas diferentes, exige instruções de consulta diferentes. A solução para esses problemas apresentada neste trabalho envolve a utilização de um modelo conceitual para representar os conceitos e as relações entre conceitos que ocorrem em documentos XML pertencentes a um determinado domínio de problema. O modelo conceitual é representado por uma ontologia do domínio do problema. Essa associação permite que consultas possam ser elaboradas tendo como base os conceitos da ontologia. Para permitir a associação da ontologia a conjuntos de documentos XML, apresentam-se regras de mapeamento que permitem definir se um documento XML é compatível com uma determinada ontologia. A partir dessa definição, propõe-se uma linguagem visual para consultas a documentos XML com base em ontologias, e apresenta-se uma proposta de interface visual para essa linguagem.

Concepções a ações de educação musical escolar : três estudos de caso

A presente pesquisa teve o objetivo de investigar como as concepções e ações de educação musical de professores de música configuram a prática pedagógico-musical em escolas do ensino fundamental. O primeiro capítulo apresenta o problema de pesquisa e os referenciais teóricos para investigá-lo. O capítulo inicia problematizando a escassez de dados sobre práticas pedagógico-musicais escolares à luz de pesquisas na área da educação musical e de estudos na área da educação referentes à epistemologia da pedagogia. Posteriormente, são apresentados os pressupostos da pesquisa sobre o pensamento do professor que, além de contribuir para delimitar o objeto de pesquisa, fornece conceitos teórico-metodológicos capazes de orientar este trabalho. Esses conceitos são complementados por outros provenientes da fenomenologia social de SCHUTZ (1972; 1973; 1976; 1979), apresentada no segundo capítulo. O terceiro capítulo descreve a metodologia desenvolvida para conduzir esta investigação, incluindo os procedimentos de análise dos dados Foram realizados três estudos de caso qualitativos com três professoras de música atuantes em diferentes escolas da rede privada de ensino de Porto Alegre-RS. Em cada um dos casos, os dados foram coletados através da observação naturalista de uma seqüência de aulas ministradas pela professora e de entrevistas semi-estruturadas com a mesma. Paralelamente, foram coletados documentos escritos. Nos capítulos quatro, cinco e seis, os três estudos de caso são apresentados individualmente. No capítulo sete, os estudos de caso são revistos a partir de uma análise transversal dos dados, onde são identificados aspectos tanto comuns quanto específicos às concepções e ações de cada professora, aspectos estes considerados relevantes para aprofundar o conhecimento e a compreensão da prática pedagógico-musical em escolas do ensino fundamental. A Conclusão discute algumas das contribuições da presente pesquisa para a área de educação musical bem como implicações do trabalho para a formação de professores. Ao final, novas pesquisas são sugeridas.

Linguagem de consulta temporal : definição e implementação

Até hoje, não existem implementações de SGBDs Temporais disponíveis no mercado de software. A tradução de linguagens de consulta temporais para o padrão SQL é uma alternativa para implementação de sistemas temporais com base em SGBDs comerciais, os quais não possuem linguagem e estrutura de dados temporais. OASIS (Open and Active Specification of Information Systems) é uma linguagem que serve como repositório de alto nível para especificação formal orientada a objetos e geração automática de software, em diversas linguagens, através da ferramenta CASE OO-Method. As aplicações geradas desta forma utilizam, como meio de persistˆencia de objetos, SGBDs comerciais baseados na abordagem relacional. A linguagem OASIS foi estendida com aspectos temporais. A extensão de OASIS com aspectos temporais requer a especificação de um modelo de dados e de uma linguagem de consulta temporais que possam ser utilizados em SGBDs convencionais. Há duas abordagens para resolver o problema. A primeira baseia-se em extensões da linguagem e/ou do modelo de dados de modo que o modelo não-temporal é preservado. A segunda, abordagem de generalização temporal, é mais radical e não preserva o modelo não-temporal. A linguagem ATSQL2 fornece recursos adequados aos conceitos encontrados na abordagem de generalização temporal. Neste trabalho utiliza-se os conceitos de generalização temporal preservando o modelo não-temporal. A presente dissertação tem por finalidade propor um modelo de dados para suporte à extensão temporal da linguagem OASIS, bem como estender a linguagem ATSQL2 para facilitar as consultas a eventos temporais. O sistema de tradução da linguagem de consulta temporal para SQL é também adaptado ao modelo de dados proposto.

Abstrações para uma linguagem de programação visando aplicações móveis em um ambiente de Pervasive Computing

Computação Móvel é um termo genérico, ainda em definição, ao redor do qual se delineia um espectro de cenários possíveis, desde a Computação Pessoal, com o uso de computadores de mão, até a visão futurista da Computação Ubíqua. O foco do projeto ISAM (Infra-estrutura de Suporte às Aplicações Móveis Distribuída), em desenvolvimento no II/UFRGS, é a Pervasive Computing. Esta desenha um cenário onde o usuário é livre para se deslocar mantendo o acesso aos recursos da rede e ao seu ambiente computacional, todo tempo em qualquer lugar. Esse novo cenário apresenta muitos desafios para o projeto e execução de aplicações. Nesse escopo, esta tese aprofunda a discussão sobre questões relativas à adaptação ao contexto em um ambiente pervasivo sob a ótica de uma Linguagem de Programação, e define uma linguagem chamada ISAMadapt. A definição da linguagem ISAMadapt baseia-se em quatro abstrações: contexto, adaptadores, políticas e comandos de adaptação. Essas abstrações foram concretizadas em duas visões: (1) em tempo de programação, através de comandos da linguagem e arquivos de configuração, descritos com o auxílio do Ambiente de Desenvolvimento de Aplicações; (2) em tempo de execução, através de serviços e APIs fornecidos pelos componentes que integram o ambiente de execução pervasiva (ISAMpe). Deste, os principais componentes que implementam a semântica de execução da aplicação ISAMadapt são: o serviço de reconhecimento de contexto, ISAMcontextService, e a máquina de execução da adaptação dinâmica, ISAMadaptEngine.As principais contribuições desta tese são: (a) primeira linguagem para a codificação de aplicações pervasivas; (b) sintaxe e semântica de comandos para expressar sensibilidade ao contexto pervasivo; (c) fonte para o desenvolvimento de uma metodologia de projeto de aplicações pervasivas; (d) projeto ISAM e o projeto contextS (www.inf.ufrgs.br/~isam) que fornecem suporte para o ciclo de vida das aplicações, desde o desenvolvimento até a execução de aplicações pervasivas.

Sobre linguagem e estrutura na clínica psicanalítica da infância

Este trabalho se propõe a discutir a clínica psicanalítica na infância, na obra de Françoise Dolto, como cena onde a linguagem, enquanto estrutura, opera. Para tanto, recorro à lingüística da enunciação em Benveniste e Jakobson como campos de conhecimento que servem para subsidiar as análises sobre essa cena. Percorro a obra de Françoise Dolto, Émile Benveniste e Roman Jakobson, analisando cenas clínicas de quatro casos de Dolto, entrelaçando-os às noções benvenistianas de subjetividade na linguagem e à concepção de metáfora e metonímia jakobsoniana. As análises dos casos objetivam ilustrar as intervenções da analista pensando seu lugar enunciativo junto às crianças, seus pais e/ou cuidadores e a estrutura da linguagem como constitutiva das produções das crianças em análise, enquanto movimentos metafóricos e metonímicos. Nesse percurso de análise, encontrei uma forma de intervenção singular em Dolto, que posiciona pais e paciente enquanto sujeitos, efeitos de linguagem, e que toma as produções infantis como texto, linguagem cifrada. Dolto interpreta arbitrando sentidos quando se dirige aos bebês. Sentidos que não são aleatórios, posto que ela trabalha sobre as palavras da história do sujeito. Quando se dirige a crianças maiores, sua postura é de escutar a estrutura da linguagem no sintoma, no jogo, nas produções gráficas e plásticas e nas falas da criança. Se por um lado há uma diferença profunda no modo de cada intervenção, tendo em vista os momentos diferentes de constituição subjetiva entre um bebê e uma criança maior, por outro lado, é sempre na posição de quem supõe um sujeito do inconsciente, capturado na estrutura da linguagem e que tem como destino desejar, que a analista se coloca. Por fim, proponho o aprofundamento desse tema com vistas a pensar mais detalhadamente as diferentes posições enunciativas, em especial o lugar de Ele nessa clínica.

Educação musical não-formal e atuação profissional : um survey em oficinas de música de Porto Alegre - RS

O presente trabalho teve como objetivo caracterizar o ensino de música inserido em projetos sociais. Os objetivos específicos foram analisar as dimensões presentes nas práticas educativo-musicais das oficinas de música, identificar os profissionais que ali ensinam música e qual a sua formação, e examinar as concepções sobre educação musical desses profissionais e do coordenador. O referencial teórico do trabalho está fundamentado em conceitos de educação não-formal, de autores da pedagogia e da educação musical. Foi realizado um survey de pequeno porte em 19 oficinas de música do projeto de Descentralização, da Secretaria Municipal de Cultura, da Prefeitura de Porto Alegre. Os participantes foram 14 oficineiros (profissionais que ensinam música) e o ativista de música (coordenador das oficinas). A técnica de pesquisa utilizada foi a da entrevista semi-estruturada, e os dados foram analisados qualitativamente. A partir da análise, considerei que as oficinas de música se configuram como espaços de educação musical não-formal. Os resultados sinalizam a necessidade de reconhecimento desses espaços como contextos de atuação profissional que, como tais, demandam uma formação também profissional.

Guilhermino Cesar e Sistema do Imperfeito & outros poemas : sujeito e linguagem poética em tempos de caos e massificação

Leitura de Sistema do Imperfeito & Outros Poemas, livro de Guilhermino Cesar publicado em 1977. O perfil múltiplo do autor – professor, tradutor, historiador, jornalista, economista, escritor e pesquisador em diversas áreas do conhecimento – resulta numa poesia plurirrefencial, tocada por temas de sua época. Constatamos em Sistema do Imperfeito & Outros Poemas o privilégio de determinadas temáticas relacionadas com a tecnologia, a velocidade, a fragmentação, a sociedade massificada, o impacto (especialmente no que diz respeito ao Brasil) do caos urbano. Essa problemática fica mais evidente a partir da segunda metade do século XX: no Brasil, por um processo de intensa modernização urbana; em âmbito mundial, por uma espantosa difusão da influência dos meios de comunicação de massa. Esta leitura, articulada a partir de autores que pensaram as transformações sociais e culturais do século XX, volta-se para o Sistema do Imperfeito & Outros Poemas examinando a estrutura do livro e o conjunto de referências culturais e históricas mobilizadas pelo autor, pondo em relevo os recursos formais e a linguagem construída por Guilhermino Cesar.

Suporte a argumentos de consulta vagos através da linguagem XPath

Abordagens clássicas de linguagens de consultas para bancos de dados possuem certas restrições ao serem usadas, diretamente, por aplicações que acessam dados cujo conteúdo não é completamente conhecido pelo usuário. Essas restrições geram um cenário onde argumentos de consultas, especificados com operadores boleanos, podem retornar resultados vazios. Desse modo, o usuário é forçado a refazer suas consultas até que os argumentos usados estejam idênticos aos dados armazenados no banco de dados. Em bases XML, este problema é reforçado pela heterogeneidade das formas em que a informação encontra-se armazenada em diferentes lugares. Como solução, uma alternativa seria o uso de funções de similaridade na substituição de operadores boleanos, a fim de que o usuário obtenha resultados aproximados para a consulta especificada. Neste trabalho é apresentada uma proposta para suporte a argumentos de consulta vagos através da extensão da linguagem XPath. Para isso, são utilizadas expressões XPath que utilizam novas funções, as quais são, diretamente, adicionadas ao processador da linguagem de consulta. Além disso, é apresentada uma breve descrição das métricas de similaridade utilizadas para a criação das funções. As funções que foram adicionadas a um processador XPath possuem uma ligação muito estreita com as métricas utilizadas. Como as métricas, as funções trabalham com valores simples (elementos atômicos) e compostos (elementos complexos). As funções que trabalham com elementos atômicos podem ser classificadas tanto pelo tipo de dado que será analisado, como pelo tipo de análise que será feita. As funções para elementos complexos comparam conjuntos de elementos atômicos de acordo com a forma do agrupamento (conjunto, lista ou tupla).

Formação e prática MUSICAL DE DJs: um estudo multicaso em Porto Alegre

Este estudo tem como objetivo central compreender a formação e a prática musical de DJs, a partir de quatro estudos de casos realizados com DJs atuantes na cidade de Porto Alegre – RS. Partindo deste objetivo, o trabalho procura discutir as seguintes questões: quais aspectos integram a formação musical de DJs? Quais os meios e materiais utilizados na sua formação musical? Onde e como atuam? Há transmissão de conhecimentos para outros DJs? As técnicas utilizadas na coleta de dados foram as entrevistas semi-estruturadas e observações diretas da prática musical de cada DJ participante. O referencial teórico se apoiou nas seguintes áreas e autores: educação musical, com abordagem sociocultural (Nanni, 2000; Kraemer, 2000 e Souza, 2001); aprendizagem e formação (Giroux, 1996; Bolle, 1997; Bransford et al., 2000), música e tecnologia (Lévy, 1999; Carvalho, 1999; Lemos, 2001). O método de pesquisa utilizado foi o estudo multicaso, com abordagem qualitativa, que permitiu um estudo aprofundado de cada caso, de maneira que durante a pesquisa, cada um foi tratado dentro de sua prática específica, sem comparação com os demais. Compreender a formação e a prática musical de DJs implica em desvendar a complexidade e a estrutura desse fazer musical, enfocando os aspectos desse aprendizado. Este estudo evidencia que a formação e a prática musical de DJs é determinada pelos meios e estratégias que desenvolvem nas relações socioculturais.

A realização de pedidos em inglês como L2 em linguagem de hotelaria : um estudo contrastivo

Esta dissertação apresenta um estudo comparativo sobre a realização de atos de fala de pedido em situações de hotelaria em inglês americano, português brasileiro e inglês como segunda língua para estudantes brasileiros.na perspectiva da pragmática da interlíngua. Após a análise dos pedidos feitos pelos três grupos, foi feita uma comparação com o objetivo de verificar se os aprendizes de inglês como segunda língua tendem a transferir padrões pragmáticos de sua L1 para a L2 na realização de atos de fala de pedidos. Teve também o intuito de saber se o aprendiz de L2 realiza atos de fala de pedido com níveis de polidez mais freqüentes e mais próximos aos de sua L1, e se esta transferência leva à falta de autenticidade. Os resultados sugerem que os aprendizes de IL2 têm consciência da importância da polidez no contexto hoteleiro, mas que ao realizar pedidos em L2 ainda utilizam estratégias pragmáticas e níveis de polidez mais freqüentes e mais próximos de sua L1, causa da falta de autenticidade dos mesmos.

Pythonissa: uma linguagem visual para elaboração da previsão do tempo

Uma das maiores dificuldades encontradas pelos técnicos envolvidos na elaboração da previsão do tempo é a falta de integração entre o software de visualização usado por eles e os programas usados para escrever os boletins. Os previsores necessitam de um meio rápido e fácil de gerar previsões com outras formas de apresentação, além do formato de texto em que ela normalmente é produzida. A partir do estudo dessas dificuldades, formulou-se a hipótese de que seria benéfico criar uma linguagem visual para a criação da previsão do tempo, que permitisse gerar tanto o texto de um boletim meteorológico quanto as imagens correspondentes. Este trabalho descreve a especificação dessa linguagem, à qual se deu o nome de Pythonissa. Ela foi definida usando o formalismo de grafos e se constitui de um modelo da estrutura de um boletim de previsão do tempo. Em Pythonissa, cada região geográfica para a qual é feita a previsão é representada por um vértice em um grafo. Os fenômenos presentes na região também são representados por vértices, de outros tipos, ligados à região por arestas que denotam sua presença. Cada tipo de vértice e aresta tem mapeamentos para representações gráficas e para elementos de controle em uma interface com o usuário. A partir da linguagem, foi implementado um protótipo preliminar, no qual é possível criar um boletim de por meio de uma interface visual e gerar o texto e a imagem correspondentes. Foi dado início, também, à construção de um framework para integração da linguagem a um ambiente de visualização de dados, de modo a produzir uma aplicação utilizável em um ambiente de trabalho real. Para isto foram usados o software de visualização Vis5D e a linguagem de scripts Python. A este framework, se deu o nome de Py5D.

Mapeamento da linguagem Nautilus para Java

Este trabalho apresenta um mapeamento centrado nas construções não usuais da linguagem Nautilus, para a linguagem convencional, no caso Java, mantendo propriedades com atomicidade que são requisitos da semântica formal da linguagem. Nautilus é originalmente uma linguagem de especificação baseada em objetos, textual que suporta objetos concorrentes e não deterministas. Desde então a linguagem foi modificada aom extensões como classes e uma notação diagramática, além de se investigar seu uso como linguagem de programação. Suas construções incomuns (reificação, agregação, etc.) são baseados em seu domínio semântico: Automâtos Não Sequenciais. Este domíno satisfaz composição diagonal, i.e refinamentos se compõem (verticalmente) refletindo uma descrição gradual de sistemas, envolvendo múltiplos níveis de abstração, e distribui-se através de combinadores (horizontalmente), o que significa que o refinamento de um sistema composto é a combinação de do refinamento de suas partes.O trabalho inclui um mapeamento inicial de um subconjunto da linguagem(objeto base, reificação, agregação e visão), uma versão ampliada para abranger mais construções( interação e classes), e uma versão refinada mais concorrente e sugestões de modificação na linguagem.