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

Uma análise histórico-epistemológica do conceito de grupo

This work aims to analyze the historical and epistemological development of the Group concept related to the theory on advanced mathematical thinking proposed by Dreyfus (1991). Thus it presents pedagogical resources that enable learning and teaching of algebraic structures as well as propose greater meaning of this concept in mathematical graduation programs. This study also proposes an answer to the following question: in what way a teaching approach that is centered in the Theory of Numbers and Theory of Equations is a model for the teaching of the concept of Group? To answer this question a historical reconstruction of the development of this concept is done on relating Lagrange to Cayley. This is done considering Foucault s (2007) knowledge archeology proposal theoretically reinforced by Dreyfus (1991). An exploratory research was performed in Mathematic graduation courses in Universidade Federal do Pará (UFPA) and Universidade Federal do Rio Grande do Norte (UFRN). The research aimed to evaluate the formation of concept images of the students in two algebra courses based on a traditional teaching model. Another experience was realized in algebra at UFPA and it involved historical components (MENDES, 2001a; 2001b; 2006b), the development of multiple representations (DREYFUS, 1991) as well as the formation of concept images (VINNER, 1991). The efficiency of this approach related to the extent of learning was evaluated, aiming to acknowledge the conceptual image established in student s minds. At the end, a classification based on Dreyfus (1991) was done relating the historical periods of the historical and epistemological development of group concepts in the process of representation, generalization, synthesis, and abstraction, proposed here for the teaching of algebra in Mathematics graduation course

O ritual simbólico do Ctrl+C (copiar ) e Ctrl+V (colar) no ensino médio

Nowadays, technology has a direct influence on the relationship student and teacher have with language. The internet is a powerful tool in helping work with the language and, through it, the knowledge comes to the student easily and intensely. Furthermore, this facility has enhanced and made visible what has been called, within the University community, "plagiarism generation." This work assumes that this generation has, in their written texts, symbolic movements similar to those of "copy and paste" applied to research work carried out by high school students. Taking this as starting point, this dissertation aims to analyze how high school students of the 1st year from a school in Natal (RN) construct texts, under the movements known as "Ctrl + c" and "Ctrl + v", with reference to the text of the "other". More specific issues are behind the general objective, namely: 1. how the student appropriates the source-text when he copies and pastes? 2. What are the categories of analysis that allow us to look analytically and theoretically for the "ctrl + c / ctrl + v" practice made by the student? 2. how the studies developed in the fields of "Genetic Criticism" (Grésillon, 1987), the "school manuscripts" (Calil, 2004) and "paraphrase" (Fuchs, 1982) may help in working with writing in the classroom standing as a possible way to minimize the copy and paste effects in the students texts? Thus, we observe the categories of analysis that allow us to look, theoretically and analytically, for the symbolic ritual of the "ctrl + c" (copy) and "ctrl + v" (paste) in high school. Our study shows that the student text is a "hybrid body" whose writing is a drawing entanglement because of the presence of the foreign text, verbatim, and the presence of linguistic elements to paraphrase the original text.This textual embodiment has, behind it, certain operations, namely: replacing, moving, adding and deleting statements. Given the specificity of the data and the research objectives, this study aligns with qualitative research methods (SILVERMAN, 2009) and falls within the knowledge field of Applied Linguistics, which is characterized especially by investigating problems, phenomena in which language in a real situation is taken as central (BRUMFIT, 1995).Theoretically, our work follows the approach of studies on the paraphrase (Fuchs, 1982, 1994a, 1994b; DAUNAY, 1997, 1999, 2002a, 2002b), the studies developed in the field of Genetic Criticism (Grésillon, 1987, 1994, 1992, 2008 ) and those developed by Eduardo Calil (2004) on "school manuscripts"

A identidade crioula em Texaco de Patrick Chamoiseau

Notre dissertation propose un questionnement ayant pour thème l identité créole dans l oeuvre Texaco (1992), du martiniquais Patrick Chamoiseau. Texaco opère une rétrospective de l histoire martiniquaise en y apportant un nouveau point de vue, influencé par la culture populaire martiniquaise, inversant ainsi les représentations traditionnelles forgées à partir des modèles métropolitains. La théorie principale utilisée dans cette dissertation est celle d Edouard Glissant, lorsqu il utilisa la notion de rhizome pour l adapter à la réalité de la culture créole. D après cette perspective, une racine unique, qui représenterait symboliquement une culture unique, tuerait les autres racines se trouvant à son alentour, alors que le rhizome, c est-à-dire la racine multiple, irait à la rencontre des autres racines et se mélangerait avec elles, pour former un ensemble qui s étend à l infini. La théorie présente dans le livre de Patrick Chamoiseau Écrire en pays dominé (1997), s est révélé être d une importance fondamentale dans notre dissertation, en ce qui concerne le questionnement sur l usage de la langue de la métropole dans une ancienne colonie. Cette réflexion va permettre de commencer une discussion à propos de l influence de la culture métropolitaine sur la culture de l ancienne colonie, qui dans ce cas, se voit opprimée. Pour commencer, nous verrons dans la première partie les mécanismes d oppression utilisés en ce qui concerne la négation de l identité créole, s aidant de systèmes de domination linguistiques et culturelles. Dans la seconde partie, nous étudierons l émergence d une identité créole dans Texaco, grâce à une tentative de réecriture d une des possibles histoires de la Martinique

O Aleph e seus duplos: mimesis e auto-reflexividade na obra de Jorge Luis Borges

This study approach the Jorge Luis Borges s prose of fiction under the perspective of mimesis and the self-reflexivity. The hypothesis is that the Aleph is a central symbol of the Borges s fictional universe. The rewriting and the retake of this symbol along of his work entail to a reflection about the possibilities and the limits of mimesis. This study is divided in three parts which contain two chapters. The first part Bibliographic revision and conceptual fundaments of inquiry discuss the critical fortune of author (Chapter 1) and the concepts that will give sustentation to the inquiry (Chapter 2). The second part About the Borges s aesthetic project sketch out the literary project defended by Borges that is his conception of the literature and his ideological matrix (Chapter 3) beside his anti-psychologism and his nostalgia of epos (Chapter 4). The third and last part is entitled The Aleph and his doubles. In the chapter 5 this study analyses the short story El Aleph and consider its centrality on the Borges s work. The argument that is on this short story Borges elaborates a reflection about mimesis. In the chapter 6, on the same hand, four short stories will be analysed: Funes el memorioso ; El Libro de Arena ; El evangelio según Marcos and Del rigor en la ciencia . The conclusion that is the Borges s literature is self-awake of its process as such demonstrate its parodic sense and its bookish origin. Hence, the Borges s literature overlapping the mimetic crisis of language and challenge the limits between fiction and reality. However, it doesn t surrender to the nihilist perspective that is closing of literature to the world

Desenvolvimento formal de aplicações para smartcards

Smart card applications represent a growing market. Usually this kind of application manipulate and store critical information that requires some level of security, such as financial or confidential information. The quality and trustworthiness of smart card software can be improved through a rigorous development process that embraces formal techniques of software engineering. In this work we propose the BSmart method, a specialization of the B formal method dedicated to the development of smart card Java Card applications. The method describes how a Java Card application can be generated from a B refinement process of its formal abstract specification. The development is supported by a set of tools, which automates the generation of some required refinements and the translation to Java Card client (host) and server (applet) applications. With respect to verification, the method development process was formalized and verified in the B method, using the Atelier B tool [Cle12a]. We emphasize that the Java Card application is translated from the last stage of refinement, named implementation. This translation process was specified in ASF+SDF [BKV08], describing the grammar of both languages (SDF) and the code transformations through rewrite rules (ASF). This specification was an important support during the translator development and contributes to the tool documentation. We also emphasize the KitSmart library [Dut06, San12], an essential component of BSmart, containing models of all 93 classes/interfaces of Java Card API 2:2:2, of Java/Java Card data types and machines that can be useful for the specifier, but are not part of the standard Java Card library. In other to validate the method, its tool support and the KitSmart, we developed an electronic passport application following the BSmart method. We believe that the results reached in this work contribute to Java Card development, allowing the generation of complete (client and server components), and less subject to errors, Java Card applications.

O ciclo indiano de Marguerite Duras à luz da comparação diferencial: a reconfiguração de um personagem

La présente recherche a pour objectif analyser la reconfiguration d'un personnage dans deux romans et dans un texte dramatique de l’écrivaine française Marguerite Duras, qui font partie du Cicle indien. Ils sont : Le Ravissement de Lol V. Stein (1964), Le vice-consul (1965) e India Song (1975). Adoptant la perspective de la Comparaison Différentielle comme approche littéraire, proposée par Ute Heidmann (2008, 2010, 2012), professeur-docteur de l'Université de Lausanne (Suisse), ce travail cherche étudier le personnage Anne-Marie Stretter présent dans ces trois œuvres. On cherche comprendre de quelle manière se produit la réécriture du personnage à partir de trois axes d'analyse : les modalités de l'énonciation, en considérant l'analyse et la comparaison de l'œuvre littéraire comme un événement énonciatif, partant du concept de la scène d'énonciation, proposé par Dominique Maingueneau (2010) ; les modalités d'inscription générique, étroitement liées aux modalités énonciatives, avec un fondement théorique en Todorov (1980) et Heidmann (2012) ; et les modalités de dialogisme intertextuel et interdiscursif, considérant dans la relation dialogique des nouveaux et différentes propositions de sens. Para la compréhension de cela nous partons de Bakhtine (2010), Kristeva (1974), Todorov (1981) et de l'idée de dialogisme et intertextualité, pour arriver à l'idée d'interdiscours proposée par Heidmann (2010, 2012). À partir de cette étude, nous pouvons observer dans l'œuvre d'un même auteur différentes manières de construction d'un personnage, chacun avec ses spécificités et complexités, variant dans le genre et espaces discursifs. L'intérêt de la comparaison différentielle dans cette étude, partant d'un trait commun entre les trois œuvres, est de rendre visible les différences épistémologiques et les nouvelles propositions de sens.

Modelagem matemática e experimental da perda de injetividade em poços canhoneados

Water injection in oil reservoirs is a recovery technique widely used for oil recovery. However, the injected water contains suspended particles that can be trapped, causing formation damage and injectivity decline. In such cases, it is necessary to stimulate the damaged formation looking forward to restore the injectivity of the injection wells. Injectivity decline causes a major negative impact to the economy of oil production, which is why, it is important to foresee the injectivity behavior for a good waterflooding management project. Mathematical models for injectivity losses allow studying the effect of the injected water quality, also the well and formation characteristics. Therefore, a mathematical model of injectivity losses for perforated injection wells was developed. The scientific novelty of this work relates to the modeling and prediction of injectivity decline in perforated injection wells, considering deep filtration and the formation of external cake in spheroidal perforations. The classic modeling for deep filtration was rewritten using spheroidal coordinates. The solution to the concentration of suspended particles was obtained analytically and the concentration of the retained particles, which cause formation damage, was solved numerically. The acquisition of the solution to impedance assumed a constant injection rate and the modified Darcy´s Law, defined as being the inverse of the normalized injectivity by the inverse of the initial injectivity. Finally, classic linear flow injectivity tests were performed within Berea sandstone samples, and within perforated samples. The parameters of the model, filtration and formation damage coefficients, obtained from the data, were used to verify the proposed modeling. The simulations showed a good fit to the experimental data, it was observed that the ratio between the particle size and pore has a large influence on the behavior of injectivity decline.

Operações linguístico-discursivas em relatos retextualizados por alunos do ensino fundamental

The following paper attempted to investigate and discuss the possible improvements in the writing of students from the public network in the 6th grade of elementary school. This research was run in the professional master degree In Portuguese Language. Also based upon Genetic Criticism, this study attempting to analyze in which way and in which proportions the alterations done in the texts reveal and perspective capacity in the students as they replace, broad, remove or just move terms in their assignments. We tried to develop our analysis in the pragmatic perspective in which Textual Linguistic is included, investigating the texts and appreciating them as a construction process of meaning. Our theoretical discussion will be based on and socio-interactional conception of language (MARCUSCHI, 2008), as well as in the postulates of Analyze of Discursion (ADAM, 2010, 2008). It has also been used the theoretical assumptions taken from Genetic Criticism which regard the relation between text and genesis, due to the fact that it considers the text and a the result of a construction of progressive elaboration and the writing as an activity of constant movement (DE BIASI, [2000] 2010; GRÉSILLON, 1989; [1990] 2008; [1992] 2002; SALLES, 2008a). To assemble the data in this research we took into consideration the social variables related to the students and the sociocultural context. Nonetheless, this investigation point towards a real classroom situation where we tried to analyze the language functioning in application conditions, thus, giving us authority to describe more precisely the reality we lived in, which provided us with a more attentive look to the observed particularities. This description of the reality appreciated built a path that point to a research of qualitative data approach to which meanings deriving from interpretation were attributed. To conduct this research we resourced to the Action-Research process. The data are comprised of ten personal reports that were created from rewriting assignments, which constitutes a range of twenty texts assessed starting from the linguistic operations acknowledged by Generative Grammar and continued by Lebrave and Grésillon (2009). As result of this analysis, we identified the operation of adding more often than the other ones. The replacement and removal operations display a very close offspring. Nevertheless, the moving operation was scarcely used. These results, besides demonstrating linguistic creativity of the students, revealed that for a text to be seen as “concluded”, the writing student articulates new elaborations through these linguistic operators and that these movements of coming and going, of erasures and amendments contribute significantly for the teacher to approach the relationship the student keeps with his textual and discursive expression, and then, with that, to hold information that eventually provides individual and collective directions in school productions.

A mediação do professor na constituição da autoria em textos de alunos de Letras

Textual composition in classroom has been object of research in language studies along this last three decades in Brazil. This thematic recurrence occurs is a demonstration of the gap between writing skill teaching and learner‟s performance. In this research, we argue that during writing process in classroom, teachers‟ mediated actions guide students to the exotopic exercise on their texts, facing it as a fundamental phase of their composition, with meaningful effect for the development of textual authorship. In this sense, we have chosen as investigation focus the textual composition of Letters Students at Universidade do Estado do Rio Grande do Norte – UERN - to study writing processual characteristics, based on teacher‟s mediation. The main aim of this research is to analyze students‟ (re)writing along Letters Course, to comprehend the process of authorship construction in their texts and the effects resulted through teacher mediation in this process. More specifically, a) to analyze teacher mediation as a mechanism for authorship development in texts composed by Letters Students; b) to deduce, based on different versions of textual composition, the effects of teacher mediation on students‟ writing; and c) to describe compositional textual process in classroom, identifying students‟ attitudes/behaviors before writing task. We have brought several voices into the dialogue, among them we highlight those based on bakhtinian studies. Some of those authors are related to Bakhtin circle, by themselves (BAKHTIN/VOLOCHINOV, [1929] 2006; BAKHTIN, [1979] 2003; [1963] 2008; [1975] 2010a; [1986] 2010b), their debaters (FARACO, 2008, 2009a, 2009b, 2010; PONZIO, 2010, 2012; GERALDI, 2010a; 2010b OLIVEIRA, 2006, 2008a, 2008b, 2010, among others), to guide us, mainly, on dialogism, author and authorship, and their conceptual implications: exotopy, finishing, esthetic activity, and ethical act. Data was constituted in teaching situation, involving teacher/researcher and 5th Term Letters/UERN students. Therefore, we have submitted an open questionnaire, textual discussion, and an article (re)writing. Data analysis has revealed subjects‟ little experience with writing composition in the Course, as a systematic practice, in their routine, dialogued, whose social function is explored. The texts are generally written in a single version and useful only to receive a score. Data analysis show insecure students in relation the writing, and with many difficulties to do it. On the other hand, writing movements, on the analyzed articles, have revealed that the subjects show a responsive attitude in relation to the mediated activities, to respond rewriting proposal. Despite some problems remain unsolved and many others emerge in each version of the article, in general, we consider that teacher mediation had a positive effect on student writing, considering that it boosted the author exotopic movement, something indispensable to compose a text. The three interventions carried out, in some way, provided opportunity for the subjects to modify their article.

A mediação do professor na constituição da autoria em textos de alunos de Letras

Textual composition in classroom has been object of research in language studies along this last three decades in Brazil. This thematic recurrence occurs is a demonstration of the gap between writing skill teaching and learner‟s performance. In this research, we argue that during writing process in classroom, teachers‟ mediated actions guide students to the exotopic exercise on their texts, facing it as a fundamental phase of their composition, with meaningful effect for the development of textual authorship. In this sense, we have chosen as investigation focus the textual composition of Letters Students at Universidade do Estado do Rio Grande do Norte – UERN - to study writing processual characteristics, based on teacher‟s mediation. The main aim of this research is to analyze students‟ (re)writing along Letters Course, to comprehend the process of authorship construction in their texts and the effects resulted through teacher mediation in this process. More specifically, a) to analyze teacher mediation as a mechanism for authorship development in texts composed by Letters Students; b) to deduce, based on different versions of textual composition, the effects of teacher mediation on students‟ writing; and c) to describe compositional textual process in classroom, identifying students‟ attitudes/behaviors before writing task. We have brought several voices into the dialogue, among them we highlight those based on bakhtinian studies. Some of those authors are related to Bakhtin circle, by themselves (BAKHTIN/VOLOCHINOV, [1929] 2006; BAKHTIN, [1979] 2003; [1963] 2008; [1975] 2010a; [1986] 2010b), their debaters (FARACO, 2008, 2009a, 2009b, 2010; PONZIO, 2010, 2012; GERALDI, 2010a; 2010b OLIVEIRA, 2006, 2008a, 2008b, 2010, among others), to guide us, mainly, on dialogism, author and authorship, and their conceptual implications: exotopy, finishing, esthetic activity, and ethical act. Data was constituted in teaching situation, involving teacher/researcher and 5th Term Letters/UERN students. Therefore, we have submitted an open questionnaire, textual discussion, and an article (re)writing. Data analysis has revealed subjects‟ little experience with writing composition in the Course, as a systematic practice, in their routine, dialogued, whose social function is explored. The texts are generally written in a single version and useful only to receive a score. Data analysis show insecure students in relation the writing, and with many difficulties to do it. On the other hand, writing movements, on the analyzed articles, have revealed that the subjects show a responsive attitude in relation to the mediated activities, to respond rewriting proposal. Despite some problems remain unsolved and many others emerge in each version of the article, in general, we consider that teacher mediation had a positive effect on student writing, considering that it boosted the author exotopic movement, something indispensable to compose a text. The three interventions carried out, in some way, provided opportunity for the subjects to modify their article.