Geração de processos WS-BPEL com base em um algoritmo de reescrita de regras

Web services are computational solutions designed according to the principles of Service Oriented Computing. Web services can be built upon pre-existing services available on the Internet by using composition languages. We propose a method to generate WS-BPEL processes from abstract specifications provided with high-level control-flow information. The proposed method allows the composition designer to concentrate on high-level specifi- cations, in order to increase productivity and generate specifications that are independent of specific web services. We consider service orchestrations, that is compositions where a central process coordinates all the operations of the application. The process of generating compositions is based on a rule rewriting algorithm, which has been extended to support basic control-flow information.We created a prototype of the extended refinement method and performed experiments over simple case studies

Avaliando a robustez e manutenibilidade do comportamento excepcional de aplicações C#

Mainstream programming languages provide built-in exception handling mechanisms to support robust and maintainable implementation of exception handling in software systems. Most of these modern languages, such as C#, Ruby, Python and many others, are often claimed to have more appropriated exception handling mechanisms. They reduce programming constraints on exception handling to favor agile changes in the source code. These languages provide what we call maintenance-driven exception handling mechanisms. It is expected that the adoption of these mechanisms improve software maintainability without hindering software robustness. However, there is still little empirical knowledge about the impact that adopting these mechanisms have on software robustness. This work addresses this gap by conducting an empirical study aimed at understanding the relationship between changes in C# programs and their robustness. In particular, we evaluated how changes in the normal and exceptional code were related to exception handling faults. We applied a change impact analysis and a control flow analysis in 100 versions of 16 C# programs. The results showed that: (i) most of the problems hindering software robustness in those programs are caused by changes in the normal code, (ii) many potential faults were introduced even when improving exception handling in C# code, and (iii) faults are often facilitated by the maintenance-driven flexibility of the exception handling mechanism. Moreover, we present a series of change scenarios that decrease the program robustness

Estudos sobre dançatividade: dança – corpo – performance

A partir de trabalhos que questionam limites de linguagens artísticas, discute-se o termo dançatividade enquanto potência do corpo-artista. A escolha dos trabalhos se orientou pela percepção de tal potência como impulso para a desterritorialização dos campos específicos da dança para se re-territorializar em outro campo de fronteira pela própria experiência do corpo

On rich modal logics

I thank to my advisor, João Marcos, for the intellectual support and patience that devoted me along graduate years. With his friendship, his ability to see problems of the better point of view and his love in to make Logic, he became a great inspiration for me. I thank to my committee members: Claudia Nalon, Elaine Pimentel and Benjamin Bedregal. These make a rigorous lecture of my work and give me valuable suggestions to make it better. I am grateful to the Post-Graduate Program in Systems and Computation that accepted me as student and provided to me the propitious environment to develop my research. I thank also to the CAPES for a 21 months fellowship. Thanks to my research group, LoLITA (Logic, Language, Information, Theory and Applications). In this group I have the opportunity to make some friends. Someone of them I knew in my early classes, they are: Sanderson, Haniel and Carol Blasio. Others I knew during the course, among them I’d like to cite: Patrick, Claudio, Flaulles and Ronildo. I thank to Severino Linhares and Maria Linhares who gently hosted me at your home in my first months in Natal. This couple jointly with my colleagues of student flat Fernado, Donátila and Aline are my nuclear family in Natal. I thank my fiancée Luclécia for her precious a ective support and to understand my absence at home during my master. I thank also my parents Manoel and Zenilda, my siblings Alexandre, Paulo and Paula.Without their confidence and encouragement I wouldn’t achieve success in this journey. If you want the hits, be prepared for the misses Carl Yastrzemski

Grupo parafolclórico da ufrn: configur(ações) estéticas em diálogo com a tradição popular

O estudo discute o trajeto estético que se delineia nas produções mais recentes do Grupo Parafolclórico da UFRN. A proposta abrange um diálogo com várias técnicas de dança e linguagens artísticas e tem, nos elementos da tradição popular, o mote para a elaboração de suas coreograϐias, provocando rearranjos estéticos, que reconϐiguram a gestualidade dos corpos e seus modos de criação

Lingüística de interações moleculares

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Guia de endereços eletrônicos para o estudo de cardiologia

OBJETIVO: Ampliar os recursos didáticos para estudantes de medicina, médicos e profissionais da área da saúde, estimulando o uso da Internet para fins acadêmicos ou de reciclagem em cardiologia. MÉTODO: Pesquisados e selecionados endereços eletrônicos com conteúdo acadêmico nas áreas da anatomia, biofísica, fisiologia, semiologia, eletrocardiografia e diagnóstico por imagem, com critérios de seleção, incluíndo relevância do conteúdo, clareza na apresentação e riqueza em recursos de animação e, os sites obtidos, classificados quanto ao conteúdo e nível acadêmico. RESULTADOS: Obtidos 5 sites de anatomia e anatomia patológica, 1 de biofísica, 3 de fisiologia, 8 de semiologia, 7 de diagnóstico por imagem e 2 de eletrocardiografia. Como alternativa de acesso, os sites também foram organizados de acordo com o nível acadêmico. O conjunto de endereços resultou em um guia simplificado e hierarquizado de conteúdos para o estudo da morfologia cardíaca e do diagnóstico por imagem em cardiologia. CONCLUSÃO: O roteiro obtido é um exemplo do potencial da Internet como instrumento de aprendizagem, a ser utilizado em associação com outros métodos pedagógicos convencionais.

A comunicação como barreira à inclusão de alunos com deficiência visual em aulas de mecânica

O presente artigo encontra-se inserido em um estudo que busca compreender as principais barreiras para a inclusão de alunos com deficiência visual no contexto do ensino de física. Focalizando aulas de mecânica, analisa as dificuldades comunicacionais entre licenciandos e discentes com deficiência visual. Para tal, enfatiza as estruturas empírica e semântico-sensorial das linguagens utilizadas, indicando fatores geradores de dificuldades de acessibilidade às informações veiculadas. Recomenda, ainda, alternativas que se destinam a dar condições à participação efetiva do discente com deficiência visual no processo comunicativo. Conclui afirmando que a comunicação representa a principal barreira à participação efetiva de alunos com deficiência visual em aulas de mecânica, e enfatiza a importância da criação de canais comunicacionais adequados como condição básica à inclusão desses alunos.

A comunicação como barreira à inclusão de alunos com deficiência visual em aulas de óptica

O presente artigo representa uma continuidade dos resultados apresentados em Camargo e Nardi (Revista Brasileira de Ensino de Física 29, 117 (2007)). Encontra-se inserido dentro de um estudo que busca compreender as principais barreiras para a inclusão de alunos com deficiência visual no contexto do ensino de física. Focalizando aulas de óptica, analisa as dificuldades comunicacionais entre licenciandos e discentes com deficiência visual. Para tal, enfatiza as estruturas empírica e semântico-sensorial das linguagens utilizadas, indicando fatores geradores de dificuldades de acessibilidade nas informações veiculadas. Recomenda, ainda, alternativas que visam dar condições à participação efetiva do discente com deficiência visual no processo comunicativo, das quais destacam-se: a identificação da estrutura semântico-sensorial dos significados veiculados, o conhecimento da história visual do aluno, a destituição da estrutura empírica audiovisual interdependente e a exploração das potencialidades comunicacionais das linguagens constituídas de estruturas empíricas de acesso visualmente independente. Conclui afirmando que a comunicação representa a principal barreira à participação efetiva de alunos com deficiência visual em aulas de óptica e enfatiza a importância da criação de canais comunicacionais adequados como condição básica à inclusão desses alunos.

Relação poder-saber e formas de resistência em documentos educacionais governamentais sobre ensino de língua estrangeira

Considerando o discurso político-educacional como meio de manifestação de poder, este artigo tem como objetivo propor reflexões acerca da relação poder-saber em documentos educacionais de diferentes esferas governamentais, nos quais se apresentam eventuais formas de resistência. Para verificar como se dá essa relação, serão analisadas as Orientações Curriculares para o Ensino Médio: Linguagens, Códigos e suas Tecnologias, documento elaborado pela Secretaria de Educação Básica (SEB) e a Proposta Curricular do Estado de São Paulo: Língua Estrangeira Moderna - Inglês, da Secretaria da Educação de São Paulo (SEE), publicadas em 2006 e 2008, respectivamente. Para tanto, o arcabouço teórico será embasado em conceitos sobre a relação poder-saber, formas de resistência e regimes de verdade amplamente discutidos por Foucault (1971, 2008), Pêcheux (1990), Mascia (2002), Bertoldo (2003), Coracini (2003), Gregolin (2004), Orlandi (2006), Veiga-Neto (2007), Possenti (2007) e Amarante (2009). Por meio da análise desses documentos, notou-se a presença de traços argumentativos que contribuem para o estabelecimento de um regime de verdade, perpassado por relações de poder-saber. Além disso, os resultados obtidos apontam para polêmicas existentes entre as Orientações Curriculares Nacionais e a Proposta Curricular do Estado de São Paulo no que concerne aos pressupostos teóricos e orientações práticas para o ensino e aprendizagem de línguas.

Della Volpe crítico de Lukács

São apresentadas algumas críticas de Della Volpe à estética lukacsiana. Segundo o filósofo italiano, uma filosofia da arte materialista não poderia estar fundamentada no conceito de intuição. As categorias básicas seriam a de plenitude cognoscitiva e de linguagens específicas. Assim, propõe-se que o sistema dellavolpiano seja levado em consideração, como verdadeiro ponto de partida para as reflexões sobre arte, sobre as relações entre a obra e a sociedade e sobre o grau de saber que o universo artístico produz.

História e música: canção popular e conhecimento histórico

Esse trabalho procura levantar e discutir algumas questões teóricas e metodológicas que surgem das relações entre História, música e a canção popular. As transformações teóricas, as novas concepções de material documental e a prática renovada do historiador determinaram a incorporação de novas linguagens pela História. Seguindo nessa trilha, o artigo pretende justamente mostrar, a partir de uma perspectiva interdisciplinar, como as relações entre história, cultura e música popular podem desvendar processos pouco conhecidos e raramente levantados pela historiografia. Para alcançar esse objetivo é necessário ultrapassar a tradicional concepção de história da música e, para isso, tenta-se refletir e organizar alguns elementos para compreender melhor as múltiplas relações entre a canção e o conhecimento histórico. A discussão aponta para a possibilidade e, principalmente, a viabilidade do historiador tratar a música e a canção popular como uma fonte documental importante para mapear e desvendar zonas obscuras da história, sobretudo aquelas relacionadas com os setores subalternos e populares.

Desenvolvimento do protótipo de um atlas escolar interativo

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

O contexto educativo e cultural da pobreza no ensino público municipal em São Bernardo do Campo

Pós-graduação em Artes - IA

Jogando no quintal: a (re)invenção na relação entre palhaço e impro

Pós-graduação em Artes - IA