Cloud Integrator: uma plataforma para composição de serviços em ambientes de computação em nuvem

With the advance of the Cloud Computing paradigm, a single service offered by a cloud platform may not be enough to meet all the application requirements. To fulfill such requirements, it may be necessary, instead of a single service, a composition of services that aggregates services provided by different cloud platforms. In order to generate aggregated value for the user, this composition of services provided by several Cloud Computing platforms requires a solution in terms of platforms integration, which encompasses the manipulation of a wide number of noninteroperable APIs and protocols from different platform vendors. In this scenario, this work presents Cloud Integrator, a middleware platform for composing services provided by different Cloud Computing platforms. Besides providing an environment that facilitates the development and execution of applications that use such services, Cloud Integrator works as a mediator by providing mechanisms for building applications through composition and selection of semantic Web services that take into account metadata about the services, such as QoS (Quality of Service), prices, etc. Moreover, the proposed middleware platform provides an adaptation mechanism that can be triggered in case of failure or quality degradation of one or more services used by the running application in order to ensure its quality and availability. In this work, through a case study that consists of an application that use services provided by different cloud platforms, Cloud Integrator is evaluated in terms of the efficiency of the performed service composition, selection and adaptation processes, as well as the potential of using this middleware in heterogeneous computational clouds scenarios

BTS:uma ferramenta de suporte ao desenvolvimento sistemático de sistemas confiáveis baseados em componentes

The component-based development of systems revolutionized the software development process, facilitating the maintenance, providing more confiability and reuse. Nevertheless, even with all the advantages of the development of components, their composition is an important concern. The verification through informal tests is not enough to achieve a safe composition, because they are not based on formal semantic models with which we are able to describe precisally a system s behaviour. In this context, formal methods provide ways to accurately specify systems through mathematical notations providing, among other benefits, more safety. The formal method CSP enables the specification of concurrent systems and verification of properties intrinsic to them, as well as the refinement among different models. Some approaches apply constraints using CSP, to check the behavior of composition between components, assisting in the verification of those components in advance. Hence, aiming to assist this process, considering that the software market increasingly requires more automation, reducing work and providing agility in business, this work presents a tool that automatizes the verification of composition among components, in which all complexity of formal language is kept hidden from users. Thus, through a simple interface, the tool BST (BRIC-Tool-Suport) helps to create and compose components, predicting, in advance, undesirable behaviors in the system, such as deadlocks

Uma abordagem para evolução e reconciliação de linhas de produtos de software clonadas

Software product line engineering promotes large software reuse by developing a system family that shares a set of developed core features, and enables the selection and customization of a set of variabilities that distinguish each software product family from the others. In order to address the time-to-market, the software industry has been using the clone-and-own technique to create and manage new software products or product lines. Despite its advantages, the clone-and-own approach brings several difficulties for the evolution and reconciliation of the software product lines, especially because of the code conflicts generated by the simultaneous evolution of the original software product line, called Source, and its cloned products, called Target. This thesis proposes an approach to evolve and reconcile cloned products based on mining software repositories and code conflict analysis techniques. The approach provides support to the identification of different kinds of code conflicts – lexical, structural and semantics – that can occur during development task integration – bug correction, enhancements and new use cases – from the original evolved software product line to the cloned product line. We have also conducted an empirical study of characterization of the code conflicts produced during the evolution and merging of two large-scale web information system product lines. The results of our study demonstrate the approach potential to automatically or semi-automatically solve several existing code conflicts thus contributing to reduce the complexity and costs of the reconciliation of cloned software product lines.

Análise textual das representações discursivas no discurso político brasileiro: o discurso da primeira posse da presidenta Dilma Rousseff (1°/01/2011)

Cette recherche décrit la représentation discursive que la présidente Dilma Rousseff fait de soi-même, dans son discours devant le Congrès National, lors de la journée d’investiture, le 1/1/2011. Notre travail se situe dans le domaine théorique et méthodologique de la linguistique du texte et, plus spécialement, dans la perspective de l’Analyse Textuelle des Discours – ATD (ADAM, 2011 [2008a]), qui se définit comme « une théorie de la production co(n)textuelle de sens qui doit se fonder sur l’analyse de textes concrets ». Elle nous fournit la notion théorique et analytique de « représentation discursive », qui se focalise sur la dimension sémantique du texte. Nous nous appuyons, aussi, sur des travaux récents sur les représentations discursives, réalisés dans la recherche brésilienne sur l’ATD (RODRIGUES, PASSEGGI, SILVA NETO, 2010, 2012; RAMOS, 2011; OLIVEIRA, 2013; QUEIROZ, 2013; ZAMBLANO-OLIVEIRA, PASSEGGI, 2013). Les principales opérations sémantiques de construction de la représentation discursive utilisées dans notre travail sont la Référenciation et la Prédication. L’approche méthodologique est, en même temps, qualitative et quantitative, priorisant l’identification des occurrences, ainsi que la description détaillée de leurs valeurs sémantiques et textuelles. Les résultats de la recherche sont de trois ordres : méthodologique, théorique et descriptif-interprétatif. Méthodologique : nous proposons une approche que nous désignons comme « marquage textuel » (ou « mappage textuel ») qui permet de marquer (étiqueter) les valeurs sémantiques des formes linguistiques, permettant leur identification dans le flux textuel, c.-à-d., dans la dimension séquentiellecompositionnelle du texte. Théorique : nous introduisons la notion de « domaines de la représentation discursive » qui organisent et articulent les différents éléments qui composent la représentation discursive de la présidente. Quant aux résultats descriptifsinterprétatifs du discours de l’investiture, ils indiquent que la représentation discursive de la présidente se configure au moyen de différents domaines conceptuels, explicités par les référenciations et les prédications. Ils mettent en relief les désignations et les actions / états, aussi bien de la femme – domaine du genre – que de la présidente – domaine du rôle politique et institutionnel. La présidente se représente explicitement et avec emphase comme l’agent responsable par les actions exprimées par les prédications verbales (verbes d’action), consciente de l’importance de son rôle politique et social. Les prédications nominales signalent clairement une représentation discursive qui englobe les domaines conceptuels politique, moral, éthique, comportemental et émotionnel (forte, accueillante, pionnière, consolidatrice, infatigable, humble, engagée, démocrate, victorieuse et courageuse). Le discours d’investiture réalise, donc, des désignations positives de la présidente, lesquelles se situent dans un temps présent et prospectif – avec des perspectives de futur – comme leader politique du Brésil, avec une participation active dans la transformation du pays, tenant compte aussi de son histoire de vie, sa biographie de luttes. Ainsi, la description empirique et l’interprétation de ce discours particulier contribue à l’analyse textuelle des représentations discursives dans le discours politique brésilien contemporain. Elle soulève, aussi, des questions théoriques et méthodologiques qui nous semblent pertinentes pour le développement de cette aproche.

Motivações semântico-cognitivas e discursivo-pragmáticas no uso de sufixos graduadores nominais

We study the use of nominal suffixes of degree, such as -inho, -ão, -íssimo, -ílimo, -érrimo in written texts in Brazilian Portuguese, by focusing on semantic, cognitive, pragmatic and discourse aspects involved in using these suffixes. In general, we aim to identify semanticcognitive and discourse-pragmatic factors that motivate the usage of nominal suffixes of degree and to contribute for the study of degree in Portuguese class in Basic Education. The theoretical perspective underlying our research is the Linguística Funcional Centrada no Uso, as conceived by group of researchers of Discurso & Gramática (FURTADO DA CUNHA, BISPO, SILVA, 2013; MARTELOTTA, 2011). According to this theoretical model, language model uses the shape of the grammar of a language at the same time they are provisioned for it. In this sense, speech and grammar influence each other. In terms of methodology, we make an eminently qualitative research with quantitative support as evidence of use of trend. It is characterized also by descriptive and interpretive bias of the phenomenon under study. Empirical evidence from our analysis come from a corpus consisting of written texts from Veja magazine, January to June 2011 issues, particularly Carta do Leitor e Gente sections, the latter representative of the Coluna Social magazine. The results of our analysis showed that the use of nominal graders suffixes are related to semantic-cognitive factors (construction of certain text directions, the association more grounded aspects of concrete experience or the more abstract meanings, for example), the discourse-pragmatic issues (range certain communicative purposes, as critique, judge, mock, claim, involving the reader, seeking her membership of a particular point of view). In addition, we found that the use of these morphic elements in genres of the sample analyzed were related to the subjectivity of the writer and the inter-subjective issues involving writer and reader, as Traugott and Dasher (2002). Finally, we contemplate discussion about the approach of our object of study in Portuguese classes in Basic Education.

O direito fundamental à igualdade no contexto da identidade sexual no Brasil: um estudo da situação jurídico-constitucional com ênfase no exame da suposta inconstitucionalidade por omissão do legislador civil

This dissertation analyses the Brazilian Supreme Court’s judgement in the Non-compliance Action of the Fundamental Precept 132/RJ and in the Direct Action of Unconstitutionality 4277/DF, which created in the country the same-sex civil union. In This decision, the STF interpreted according to the constitution Article 1.723 of the Civil Code, invoking several fundamentals reaffirmed in the Constitution. From all these laws invoked by the Supreme Court to support the pretorian creation, the content of consitutional Law regarding equality is the only that corresponds, and it is sufficient to evidence the necessity of the creation, by legislator, of the institute for civil rights, since the Constitution forbids distinctions that is not expressly provided for in the Constitution (Art. 3º, IV, of Federal Constitution). In this way, Article 226, § 3º is not an exception capable of satisfying the condition of the consitutional foresight because although it protect, according its content only the civil union “between the man and the woman”, it is not able to forbid the creation, by legislator, of another kinds of families, including the same-sex civil union. As such, the reasoning, now legitimate according to the legislator, is not support the creation of institute by Constitutional Court, because the Court may enforce the Law, interpreting in the purviews allowed by the legal text and its constitutionality. In regard to the civil union of individuos of the same sex, the Court could not deduce that such union was implied by Law, like the interpretation according to the Constitution given by judges, on grounds of semantic purviews of the words man and woman, existents in both articles. The Court could not created it either, exceeding the legal system role. So, upon the institute creation, the STF, exceeded two limits: the interpretation and Law enforcement.

Entre cartas e contos na sala de aula: diálogos e afetos em textos de Mário de Andrade e Câmara Cascudo

Specific educational material production for a group of level IV – 8th and 9th years of Youth and Adults Education, having as starting point the reading of a series of letter of correspondence between Câmara Cascudo and Mário de Andrade in the 1920s, and the verification of the way the dialog between the two authors reveals elements that transpire themselves in the tale entitled “Piá não sofre? Sofre”, from the book Os contos de Belazarte, de Mário de Andrade. The educational material production was preceded by the analysis of the selected tale, which will be studied along with some of the letters, in an analysis of the textual, discursive and semantic features of the text in representation of these both genres: letter and tale. The selected tale was written between 1923 and 1926, dates close to the years when the author came by Rio Grande do Norte state, in the years from 1927 to 1929, accompanied by Câmara Cascudo, being also this period that there are records of letters in the set of correspondence between them. To the reading of the selected material, it was used theoretical references from literature and literary historiography, especially the history of Brazilian modernist movement. To the production of the educational material, it was chosen as theoretical reference the accumulated knowledge in the area of literature teaching, literacy and the recommendations of the Brazilian National Curriculum Parameters. The methodology in this study was constructed from the theoretical references and had as basic support the study of didactic sequences from which a specific thematic unit got its shape from, required by the analyzed material and tested in a classroom.

Entre cartas e contos na sala de aula: diálogos e afetos em textos de Mário de Andrade e Câmara Cascudo

Specific educational material production for a group of level IV – 8th and 9th years of Youth and Adults Education, having as starting point the reading of a series of letter of correspondence between Câmara Cascudo and Mário de Andrade in the 1920s, and the verification of the way the dialog between the two authors reveals elements that transpire themselves in the tale entitled “Piá não sofre? Sofre”, from the book Os contos de Belazarte, de Mário de Andrade. The educational material production was preceded by the analysis of the selected tale, which will be studied along with some of the letters, in an analysis of the textual, discursive and semantic features of the text in representation of these both genres: letter and tale. The selected tale was written between 1923 and 1926, dates close to the years when the author came by Rio Grande do Norte state, in the years from 1927 to 1929, accompanied by Câmara Cascudo, being also this period that there are records of letters in the set of correspondence between them. To the reading of the selected material, it was used theoretical references from literature and literary historiography, especially the history of Brazilian modernist movement. To the production of the educational material, it was chosen as theoretical reference the accumulated knowledge in the area of literature teaching, literacy and the recommendations of the Brazilian National Curriculum Parameters. The methodology in this study was constructed from the theoretical references and had as basic support the study of didactic sequences from which a specific thematic unit got its shape from, required by the analyzed material and tested in a classroom.

Dançando a carne: uma poética do corpo no mito adâmico

In this dissertation we reflect about sensitive the dimension of the body, which enables us to participate in mythical space and set him as a potential space for artistic creation in dance, experience provider in senses for world, for life and for existence. It´s a written, thrashing some reflections on the human condition from a gaze cast upon the myth of Adam, leading us to think about the possible relationships between art and myth in contemporary times, as fields of knowledge open to creation, and semantic spaces able to assign new meanings to living through the pulsations of a body that is myth and what is dance. One of the goals of this study is set up a new point of view to analyze the Adam's myth, enabling to new interpretations, meanings and understandings from the experience in the process of creation in contemporary dance. Therefore, methodologically reference is made in the Phenomenology, or rather the phenomenological attitude proposed by Merleau-Ponty (1994), which considers the experience of the body as the primary source of knowledge. Dipping on this process of creation in contemporary dance, one artistic and choreographic work was originated, titled "The Body I am”, in contemplation of this dance that echoes the mystery, that emerges from the depths of the body, and it brings to the human surface and your world, your relationships. Realize that dance is as a sensitive guide and counselor reflections ontological and epistemological, able to validate and perpetuate the myth whereas ancestral wisdom inheritance.

A esquina do povo de alt’lam: aprimoramento racial e moral no movimento espírita natalense

A partir de um conjunto de dados obtidos em pesquisa, o texto deseja salientar uma face pouco examinada pelos estudiosos do espiritismo no Brasil: aquela dos grupos espíritas que cultuam extraterrestres. Examina a narrativa Rebelião de Lúcifer, escrita pelo médium potiguar Jan Val Ellam. Sustenta que esta atualiza noções importantes em relação a narrativas de salvação anteriores construídas pelo espiritismo. Destaca em especial o aprimoramento racial e moral através da reencarnação em distintos corpos humanos e em diferentes planetas. Examina-os a partir das noções de exílio planetário e de evolução racializada. Argumenta que Jan Val Ellam as atualiza através da categoria nativa Povo de Alt’Lam e através de bricolagem com outros campos semânticos, notadamente a ufologia e a fi cção científica