Utilizando programação orientada a aspectos no projeto de sistemas hardware desenvolvidos com SystemC

New programming language paradigms have commonly been tested and eventually incorporated into hardware description languages. Recently, aspect-oriented programming (AOP) has shown successful in improving the modularity of object-oriented and structured languages such Java, C++ and C. Thus, one can expect that, using AOP, one can improve the understanding of the hardware systems under design, as well as make its components more reusable and easier to maintain. We apply AOP in applications developed using the SystemC library. Several examples will be presented illustrating how to combine AOP and SystemC. During the presentation of these examples, the benefits of this new approach will also be discussed

Uma máquina de redução de grafos para serviços web

Web services are software accessible via the Internet that provide functionality to be used by applications. Today, it is natural to reuse third-party services to compose new services. This process of composition can occur in two styles, called orchestration and choreography. A choreography represents a collaboration between services which know their partners in the composition, to achieve the service s desired functionality. On the other hand, an orchestration have a central process (the orchestrator) that coordinates all application operations. Our work is placed in this latter context, by proposing an abstract model for running service orchestrations. For this purpose, a graph reduction machine will be defined for the implementation of service orchestrations specified in a variant of the PEWS composition language. Moreover, a prototype of this machine (in Java) is built as a proof of concept

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

Os discursos sobre a educomunicação na rádio escolar: um estudo etnográfico e m uma escola pública

This research analyzes the discursive construction of Educommunication, from a training course of educommunicators, with teachers and students of school Profº Francisco Ivo Cavalcanti, state public school, geographically located in the city of Natal / RN, studying the constitution of the meanings that educommunication practice in School Radio acquires for trainers and course participants (teachers and students). The socio-historical context in which this research is based corresponds to the new social reality, mediated by information and communication Technologies. These technologies drive the educational institution to train students in the use of different languages that permeate society. But to do so, you must have also enabled teachers to work Communication technology to meet the aspirations of young people and adults who are part of the educational community. The objectives are to identify the conditions of discursive production around the educommunication practice in Radio School, examine the discursive construction of instructors and course participants in Educommunication and its dialogical brands, and see how the course participants relate to their educommunicative practice in the educational contexts, attributing meaning to the place of teachers and students. Therefore, this research uses ethnography applied to the school context as a methodological option, Pecheuxtian Discourse Analysis, the principles of Educommunication, the reflections of Paulo Freire and the concepts of Dialogism in Bakhtin as theoretical contributions. We adopted three areas of knowledge: Language, Communication and Education, in order to produce an analysis committed to the aspects that involve the use of radio in the school environment to promote an educommunicative practice. With this research we have built a web of meanings about the school that we are forming or we want to form in the XXI century, because we used the discourses of teachers and students immersed in new knowledge and practices in order to propel them to be subjects of communication in educational environment for a qualitative transformation of being and doing in school.

Consumo c(l)iente: abordagem do gênero anúncio publicitário em livros didáticos de língua portuguesa do ensino médio

Portuguese language textbooks, according to what has been preconized on the official document to education, have been configured on discursive genres imported from diverse spheres of human activity. Adverts, genre of ample social circulation, spread from the Advertising sphere to the schools and started being approached by these collectaneas as an object and a tool for teaching. Therefore, this research deals with the approach of ads in Portugese textbooks. These discursive practices matter for the impact or appeal they exert over the (new) consumers, among which High School students; for their representation in the capitalist system, which guides us on our relationships and social practices; and for the mix of languages that end up at their composition, once they encapsulate the spirit of our time, par excellence, the one from the verbal-visual genres. To understand the treatment given to these advertising pieces, from questions/commentaries related to them, two collections were selected by the Programa Nacional do Livro Didático – Textbook National Program (PNLD 2012) among the ones more used by public High Schools in Natal/RN. From Applied Linguistics, from mestizo, nomadic and inter/transdisciplinary identity (MOITA LOPES, 2009), this study falls within the discursive chain of the interpretive tradition of historical-cultural approach (FREITAS, 2010) and names the Bakhtin Circle and its language‟s dialogical conception as inescapable partners. The data of the colletaneas show that the genre approach can happen as concrete utterance, as linguistic artifact and as hybrid, at work with questions and without questions, with the predominance of its occurrence in the portion of the volume devoted to the study of grammar. In the literature chapters and production/interpretation of compositions, it insert is incipient or it doesn‟t happen in the volume. Such a provision has implications for multiliteracies (ROJO, 2012) of the citizen student, once the lack or the abundance of critical reading proposals for this genre, that demand from the student the exercise of knowledge that is necessary to the construction of linguistic and social meanings, can be responsible for guide to a more conscious consumerism (material and cultural) by the chief customers of the work under review. The approaches of the genres seems to indicate a gradual transition that such material have undergone, which means, from the focus on clauses to the focus on utterances, or even the approach as linguistic artifact to hybrid and the concrete utterance, in search of overcoming the traditional tendency of taking advantage of formal aspects of the language, to the detriment of enunciative ones, and for coming into harmony with the guidelines and parameters of teaching in contemporary times, bringing the school duties close to the rights in life.

Uma máquina de redução de grafos extensível para a implementação de fluxos de trabalho

Graph Reduction Machines, are a traditional technique for implementing functional programming languages. They allow to run programs by transforming graphs by the successive application of reduction rules. Web service composition enables the creation of new web services from existing ones. BPEL is a workflow-based language for creating web service compositions. It is also the industrial and academic standard for this kind of languages. As it is designed to compose web services, the use of BPEL in a scenario where multiple technologies need to be used is problematic: when operations other than web services need to be performed to implement the business logic of a company, part of the work is done on an ad hoc basis. To allow heterogeneous operations to be part of the same workflow, may help to improve the implementation of business processes in a principled way. This work uses a simple variation of the BPEL language for creating compositions containing not only web service operations but also big data tasks or user-defined operations. We define an extensible graph reduction machine that allows the evaluation of BPEL programs and implement this machine as proof of concept. We present some experimental results.

Uma linguagem de descrição arquitetural baseada em uma arquitetura de referência para sistemas ubíquos

A computação ubíqua é um paradigma no qual dispositivos com capacidade de processamento e comunicação são embutidos nos elementos comuns de nossas vidas (casas, carros, máquinas fotográficas, telefones, escolas, museus, etc), provendo serviços com um alto grau de mobilidade e transparência. O desenvolvimento de sistemas ubíquos é uma tarefa complexa, uma vez que envolve várias áreas da computação, como Engenharia de Software, Inteligência Artificial e Sistemas Distribuídos. Essa tarefa torna-se ainda mais complexa pela ausência de uma arquitetura de referência para guiar o desenvolvimento de tais sistemas. Arquiteturas de referência têm sido usadas para fornecer uma base comum e dar diretrizes para a construção de arquiteturas de softwares para diferentes classes de sistemas. Por outro lado, as linguagens de descrição arquitetural (ADLs) fornecem uma sintaxe para representação estrutural dos elementos arquiteturais, suas restrições e interações, permitindo-se expressar modelo arquitetural de sistemas. Atualmente não há, na literatura, ADLs baseadas em arquiteturas de referência para o domínio de computação ubíqua. De forma a permitir a modelagem arquitetural de aplicações ubíquas, esse trabalho tem como objetivo principal especificar UbiACME, uma linguagem de descrição arquitetural para aplicações ubíquas, bem como disponibilizar a ferramenta UbiACME Studio, que permitirá arquitetos de software realizar modelagens usando UbiACME. Para esse fim, inicialmente realizamos uma revisão sistemática, de forma a investigar na literatura relacionada com sistemas ubíquos, os elementos comuns a esses sistemas que devem ser considerados no projeto de UbiACME. Além disso, com base na revisão sistemática, definimos uma arquitetura de referência para sistemas ubíquos, RA-Ubi, que é a base para a definição dos elementos necessários para a modelagem arquitetural e, portanto, fornece subsídios para a definição dos elementos de UbiACME. Por fim, de forma a validar a linguagem e a ferramenta, apresentamos um experimento controlado onde arquitetos modelam uma aplicação ubíqua usando UbiACME Studio e comparam com a modelagem da mesma aplicação em SySML.

Uma abordagem para avaliação e tratamento de exceções propagadas no uso de serviços Web em .Net

High dependability, availability and fault-tolerance are open problems in Service-Oriented Architecture (SOA). The possibility of generating software applications by integrating services from heterogeneous domains, in a reliable way, makes worthwhile to face the challenges inherent to this paradigm. In order to ensure quality in service compositions, some research efforts propose the adoption of verification techniques to identify and correct errors. In this context, exception handling is a powerful mechanism to increase SOA quality. Several research works are concerned with mechanisms for exception propagation on web services, implemented in many languages and frameworks. However, to the extent of our knowledge, no works found evaluates these mechanisms in SOA with regard to the .NET framework. The main contribution of this paper is to evaluate and to propose exception propagation mechanisms in SOA to applications developed within the .NET framework. In this direction, this work: (i)extends a previous study, showing the need to propose a solution to the exception propagation in SOA to applications developed in .NET, and (ii) show a solution, based in model obtained from the results found in (i) and that will be applied in real cases through of faults injections and AOP techniques.

O sonhador de palavras: poética cênica em "Vau da Sarapalha"

In this article we look at the symbolic plot present in the theatrical adaptation of the short story Sarapalha and also at the director’s creative process. We aim at highlighting the element which, according to our hypothesis, worked as the convergence point between the two languages: fire

Saberes e perspectivas dos docentes em torno do currículo de uma escola pública rural do RN

Este trabajo tiene como objetivo analizar los saberes y las perspectivas docentes en torno al currículum de una escuela pública rural de Enseñanza Fundamental del Río Grande do Norte considerando, sobre todo, los debates sobre la Educación en el Campo en Souza (2006, 2007), Arroyo, Caldart y Molina (2004) y Fernandes (2002, 2004). La propuesta surge como alternativa para la elaboración de proposiciones curriculares para mejorar la calidad de la enseñanza en esas escuelas, según las características específicas de la educación escolar en contexto rural, en la expectativa de que esta sea un elemento para el desarrollo local y global de las comunidades rurales. La fundamentación teórica para responder a la investigación, se respalda en las consideraciones sobre los saberes docentes teniendo en cuenta las lecturas de Gauthier (1998), Tardif (2011), Pimenta (2009), Paulo Freire (1996), Nóvoa (2007, 2008) y las referencias sobre el currículum crítico y postcrítico discutidas en Giroux (1997), Silva (1999), Moreira (2008), Moreira y Candau (2003, 2010), Sacristán (2000) e Sacristán e Gómez (1998). La referencia empírica se constituye de una escuela pública de una comunidad rural en el municipio de São José de Mipibu-RN. Los sujetos sociales de la investigación son cuatro profesores(as) que trabajan en los años iniciales de la Enseñanza Fundamental. Se recurrió a la investigación etnográfica fundamentada en los estudios de Lüdke y André (1986), Sandín Estebán (2010) y Gil (2007), una vez que el análisis del cotidiano escolar, bajo el mirar etnográfico, a través de los procedimientos de la observación participante y de la entrevista semiestructurada, permite el contacto directo del investigador con el ambiente en estudio, registra el no documentado, y percibe la institución escolar como espacio cultural, caracterizando varios grados de acomodación, contestación y resistencia inmersos en una pluralidad de lenguajes y objetivos conflictivos. Las observaciones hechas en la clase y las enseñanzas de los profesores y profesoras permiten comprender que los saberes y perspectivas docentes, a partir de las experiencias del profesorado, lanzan expectativas socioprofesionales sobre la docencia e intensifican el papel fundamental del docente en la construcción de los saberes, de las prácticas y concepciones del mundo rural, de la escuela rural y de la función social de esta. Los hallazgos de la investigación con los profesores sobre el contexto rural apuntan para la necesidad en problematizar verdades socialmente construidas, bajo la orientación de una racionalidad que reconozca el espacio rural como productor de la existencia. A partir de los análisis construidos, se pudo reconocer la necesidad de una política de formación conceptual específica para el profesorado de las escuelas rurales, anclada en el concepto históricocultural del rural. También se reitera la urgencia permanente y continuada en revisar los procesos de formación, vividos en la escuela, que contemplen las peculiaridades de la enseñanza rural, en una visión contrahegemónica del urbanocentrismo, a partir de un análisis crítico sobre el marco legal de la Educación del Campo.

O som ao redor do baile: retomada e pós-retomada no cinema produzido em Pernambuco

This dissertation uncovers the path of Pernambuco’s independent cinema of the Retomada, of its production in the second half of the 1990s until mid 2012 when the sector manages to secure a funding edict (Funcultura) for its films and at the same time establishes a few symbolic mechanisms which contributed to the consolidation of a new cycle, the post-Retomada, namely: cinephilia and brodagem. Because it is a cinematography (pernambucana) outside the Rio-São Paulo axis, that is, outside the great center of the brazillian culture industry, the cinema produced in Pernambuco built a very specific modus operandi, in which a material basis, the consolidation of Funcultura, intercrossed with two symbolic practices feeding on each other, cinephilia and brodagem. In this regard, we seek not to establish the material perspective as the primary determination as opposed to the symbolic one. Futhermore, we followed the path of cinephilia in its direct commucation with the brodagem, and how both these logics pressured authorities to institute an incentive funding separated from other artforms in the state. From this point of view, we attempted to trace the trajectory of this cinematography in its external nuances, but also taking into account the internal nuances of its works of art (films). Following this, we created categories to define and distinguish the nuances of the Retomada and post-Retomada productions regarding ethical and aesthetical choices made by directors from both generations.