PEWS-RT, um sistema de tempo de execução para a linguagem PEWS

Web services are loosely coupled applications that use XML documents as a way of integrating distinct systems on the internet. Such documents are used by in standards such as SOAP, WSDL and UDDI which establish, respectively, integrated patterns for the representation of messages, description, and publication of services, thus facilitating the interoperability between heterogeneous systems. Often one single service does not meet the users needs, therefore new systems can be designed from the composition of two or more services. This which is the design goal behind the of the Service Oriented Architecture. Parallel to this scenario, we have the PEWS (Predicate Path-Expressions for Web Services) language, which speci es behavioural speci cations of composite web service interfaces.. The development of the PEWS language is divided into two parts: front-end and back-end. From a PEWS program, the front-end performs the lexical analysis, syntactic and semantic compositions and nally generate XML code. The function of the back-end is to execute the composition PEWS. This master's dissertation work aims to: (i) reformulate the proposed architecture for the runtime system of the language, (ii) Implement the back-end for PEWS by using .NET Framework tools to execute PEWS programs using the Windows Work ow Foundation

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

Traduzindo o economês: metáforas da inflação em textos de jornalismo econômico

The research aimed two objectives: 1st) identifying and describing the metaphors of the inflation, in a corpus of 18 texts of economic journalism, from Joelmir Beting, written in the last trimester of 2002, at the moment of the government s transition of president Fernando Henrique Cardoso to Luiz Inácio Lula Da Silva. 2nd) verifying the recognition of the metaphors by the students of the basic education of a private school from Natal. 91 metaphors had been identified, analyzed in the perspective of the conceptual metaphor s theory, by Lakoff and Johnson (2002), on the basis of the distinction between conceptual metaphor and metaphoric expressions, and between domain-source/domain-target. 10 underlying conceptual metaphors had been inferred, being that the domains-source used more frequently to characterize the inflation had been those ones according to the human being and the animals and, of a less imaginable form, to the ways of transport (car, aircraft). These general conceptual metaphors had been unfolded in other s more specific ones ( animal specifying itself in lion , dragon , dog , etc.). Another result was the identification of metaphoric expressions with two or more meanings , with relation to more than one conceptual metaphor or explicit, in the same expression, two domains-source (for example: armored dragon ) and contributes, of a relevant form, for the semantic struturation of the text. The understanding of the metaphors was verified through an activity of domains-source s identification (10 metaphoric statements and fulfilling of the gap in the phrase the inflation is a/an ) applied in a group of 8th year of the basic education (12-13 years old, with 14 girls and 17 boys) from a school of good social and economic positions from Natal-RN. There weren t great difficulties on the part of the students in recognizing the domains-source involved: about 80% to the great majority of the statements

Traduzindo o economês: metáforas da inflação em textos de jornalismo econômico

The research aimed two objectives: 1st) identifying and describing the metaphors of the inflation, in a corpus of 18 texts of economic journalism, from Joelmir Beting, written in the last trimester of 2002, at the moment of the government s transition of president Fernando Henrique Cardoso to Luiz Inácio Lula Da Silva. 2nd) verifying the recognition of the metaphors by the students of the basic education of a private school from Natal. 91 metaphors had been identified, analyzed in the perspective of the conceptual metaphor s theory, by Lakoff and Johnson (2002), on the basis of the distinction between conceptual metaphor and metaphoric expressions, and between domain-source/domain-target. 10 underlying conceptual metaphors had been inferred, being that the domains-source used more frequently to characterize the inflation had been those ones according to the human being and the animals and, of a less imaginable form, to the ways of transport (car, aircraft). These general conceptual metaphors had been unfolded in other s more specific ones ( animal specifying itself in lion , dragon , dog , etc.). Another result was the identification of metaphoric expressions with two or more meanings , with relation to more than one conceptual metaphor or explicit, in the same expression, two domains-source (for example: armored dragon ) and contributes, of a relevant form, for the semantic struturation of the text. The understanding of the metaphors was verified through an activity of domains-source s identification (10 metaphoric statements and fulfilling of the gap in the phrase the inflation is a/an ) applied in a group of 8th year of the basic education (12-13 years old, with 14 girls and 17 boys) from a school of good social and economic positions from Natal-RN. There weren t great difficulties on the part of the students in recognizing the domains-source involved: about 80% to the great majority of the statements