Certificação de composições de serviços web semânticos

This thesis presents a certification method for semantic web services compositions which aims to statically ensure its functional correctness. Certification method encompasses two dimensions of verification, termed base and functional dimensions. Base dimension concerns with the verification of application correctness of the semantic web service in the composition, i.e., to ensure that each service invocation given in the composition comply with its respective service definition. The certification of this dimension exploits the semantic compatibility between the invocation arguments and formal parameters of the semantic web service. Functional dimension aims to ensure that the composition satisfies a given specification expressed in the form of preconditions and postconditions. This dimension is formalized by a Hoare logic based calculus. Partial correctness specifications involving compositions of semantic web services can be derived from the deductive system proposed. Our work is also characterized by exploiting the use of a fragment of description logic, i.e., ALC, to express the partial correctness specifications. In order to operationalize the proposed certification method, we developed a supporting environment for defining the semantic web services compositions as well as to conduct the certification process. The certification method were experimentally evaluated by applying it in three different proof concepts. These proof concepts enabled to broadly evaluate the method certification

Infoestrutura: um sistema em nuvem para prover contexto como serviço no cenário de internet das coisas integrado a ambientes veiculares

Through numerous technological advances in recent years along with the popularization of computer devices, the company is moving towards a paradigm “always connected”. Computer networks are everywhere and the advent of IPv6 paves the way for the explosion of the Internet of Things. This concept enables the sharing of data between computing machines and objects of day-to-day. One of the areas placed under Internet of Things are the Vehicular Networks. However, the information generated individually for a vehicle has no large amount and does not contribute to an improvement in transit, once information has been isolated. This proposal presents the Infostructure, a system that has to facilitate the efforts and reduce costs for development of applications context-aware to high-level semantic for the scenario of Internet of Things, which allows you to manage, store and combine the data in order to generate broader context. To this end we present a reference architecture, which aims to show the major components of the Infostructure. Soon after a prototype is presented which is used to validate our work reaches the level of contextualization desired high level semantic as well as a performance evaluation, which aims to evaluate the behavior of the subsystem responsible for managing contextual information on a large amount of data. After statistical analysis is performed with the results obtained in the evaluation. Finally, the conclusions of the work and some problems such as no assurance as to the integrity of the sensory data coming Infostructure, and future work that takes into account the implementation of other modules so that we can conduct tests in real environments are presented.

A construção medial no português do Brasil: usos no padrão reclamação digital

This thesis examines the medial construction of the Portuguese of Brazil (PB). It is a construction which describes a causative event in which a non-human subject participant is affected by an action that does not originate from itself. Thus, we are interested in investigating this type of construction, its specific characteristics, motivations and discursive context from its semantic- cognitive and discoursive - pragmatic functions. The research questions are: what is the prototypical structural configuration of the medial construction (MC) in the Portuguese of Brazil? What are its specific discoursive functions? What is the degree of MC transitivity based on the properties proposed by Hopper and Thompson (1980)? We assume that the medial construction has its own structure which particularizes its significant dimension, thus ensuring a certain distance between the one in charge of the event and the affected entity. The theoretical and methodological assumptions is founded on Usage-based Functional Linguistics (FURTADO DA CUNHA; BISPO; SILVA, 2013). It is a research of qualitative- interpretative nature that has prioritized the analysis of occurrences arising from texts produced by users of the Brazilian Portuguese language in effective communicative situation. The database for this study is electronic texts available on the website www.reclameaqui.com.br. The results revealed the existence of different configurations of the medial construction in the Brazilian Portuguese, having as prototypical the one formed by SN + V. From the morphosyntactic and semantic point of view, the construction expresses a subject affected by an action that does not part from itself. As for the pragmatic aspect, the construction expresses an event that seems to have the purpose to emphasize the affected argument and to ignore, intentionally or not, the agent or the causative, since it is irrelevant to the speaker/ listener in the contextual situation.

Representações discursivas de Lula nas capas das revistas Época e Veja

This doctoral dissertation proposes to analyze the discursive representations of Lula, as they appear on the covers of the magazines, Época and Veja, targeting the verbo visual elements that comprise the genre, magazine covers. In this way, we seek to describe and interpret the discursive representations (Drs), using a theoretical framework based on the Textual Discourse Analysis –TDA, developed by Jean Michel Adam (2011a), focusing on the semantic level of the text, that is, on the dimension that allows for the comprehension of Drs present in a text. For a discussion about the Drs and their categories of analysis referencing, predication, modification, relation and spatial localization and time we use as a starting point, the study by Brize about the logical discursive operations (1990, 1996), and continue through the studies that discuss linguistic, textual, and discursive operations in concrete utterances, such as Castilho (2010), Rodrigues; Passeggi; Silva Neto (2010), Neves (2011), Rodrigues et al. (2012), Passeggi (2001; 2012), Queiroz (2013), among others. In addition, we rely on Multimodal Discourse for the verbo visual aspects present on magazine covers (KRESS; van LEEUWEN, 2006; DIONISIO, 2011; DIONISIO; VASCONCELOS, 2013). Using aresearch approach that is qualitative with quantitative support, and which is documental, and based on deductive inductive methods, we describe and interpret a corpus (SEVERINO, 2007; CHIZZOTTI, 2010; OLIVEIRA, M., 2013), aiming to reconstruct Lula’s Drs. The cor pusis comprised of forty one magazine covers sixteen from Época and twenty four from Veja. The covers date from the election period in which the candidate, Lula, was elected President of Brazil in 2002, the last mandate after his reelection in 2006, and in the year 2010 a period of 9 years. Based on the analysis carried out, we can affirm that the magazines, Época and Veja, construct diverse Drs by Lula, such as: candidate; elected candidate; governing member and member of a political party; reelected president; politics; workers party acronym PT; international governments as allies; accomplices and participants in scandals of corruption; friend, brother, cousin, nephew, father, parent and man; among others that unfold throughout these by the mediation of the modifiers of the referents and processes, and by the very processes and connections, and analogies made on the object of discourse, Lula. Nonetheless, the reconstruction of these is derived from the description and interpretation of the textual linguistic and discursive choices that the magazines make to produce the proposition utterances, as well as by the choices of images and other visual resources, all operating as co(n)textually articulated to produce the magazine’s desired effect. In conclusion, the Drs verified demand the reflection, description and interpretation of the referencing, prediction, the relationship and spatial temporal localization, which was only possible through the textual discursive analysis of the verbo visual arrangements that comprise texts in the genre magazine cover.

Orações relativas no português brasileiro em perspectiva histórica

In this study, we focus on the relativization strategies, in diachronic corpus of Brazilian Portuguese (BP). Generally speaking, we aim to investigate the use of the relative in a historical perspective on BP, focusing on semantic-cognitive and discursive-pragmatic motivations involved and the correlation with the discursive traditions. The theoretical perspective underlying our study is the North-American Functional Linguistics, inspired by Talmy Givón, Sandra Thompson, Paul Hopper, Joan Bybee, Elizabeth Traugott, Mario Martelotta, Angelica Furtado da Cunha, among others, combined with contributions of Discursive Traditions, based on authors such as Kabatek, Koch and Oesterreicher. As for the methodology, our research is eminently qualitative, in the sense that it seeks to elucidate semantic-cognitive and discursive-pragmatic motivations related to the use of relativization strategies in BP; and it has quantitative support, with respect to measurable data aspect and characterization of the object of study and its frequency of use. For this investigation, we use the corpora of the project Para a História do Português Brasileiro (PHPB), more specifically, the particular, official, reader and redactor letters written between the eighteenth and twentieth centuries, from four states: Minas Gerais, Paraná, Pernambuco and Rio de Janeiro. The results of this research reveal the variation in relativization strategies, in view of the increase in the relativa cortadora (prepositional chopping strategy) percentage in the corpus of this investigation, even though the occurrence of this strategy is more restricted to private letters. In addition, we found factors of cognitive nature such as reduction in cognitive cost and economy related to the occurrence of that relative strategy, principally in private letters; aspects such as the need for expressiveness and clearness related to the use, even if infrequent, of the relativa copiadora (resumptive strategy), especially in official letters; and factors of communicative order such as the public sphere of circulation of the sample letters, as in the redactor and reader letters, and the gap between the parties most directly involved in the use of the standard relative of our sample.

Representações discursivas sobre lampião e seu bando em notícias de jornais mossoroenses (1927): “O mais audaz e miserável de todos os bandidos” e o seu “grupo de asseclas”

In this doctoral thesis analyzed the discursive representations of the bandit Lampião, the Lantern and his bandits gang in news mossoroenses newspapers published in the twenties of the last century (1927), when the gang invasion of the city of Mossoro in the state of Rio Grande do Norte, on June 13 of that year. To this end, we take as basis the theoretical assumptions of linguistics Textual, especially the narrower context of what is known today as Textual Analysis of the Discourses (ADT), theoretical and descriptive approach to linguistic studies of the text proposed by the French linguist Jean-Michel Adam. In this approach, we are interested in, specifically, the semantic level of the text, highlighting the notion of discursive representation, studied based on benchmarking operations, predication, modification, spatial location and temporal connection and analogy (ADAM, 2011; CASTILHO, 2010; KOCH, 2002, 2006; MARCUSCHI, 1998, 2008; NEVES, 2007; RODRIGUES, PASSEGGI & SILVA NETO, 2010). The corpus of this research consists of three reports in the twenties of the last century in newspapers The Mossoroense, Correio do Povo and the Northeast, and reconstituted through the collection held in the Municipal Museum Lauro Scotland files, Memorial Resistance Mossoro, both located in Natal, and in the news collection of Lampião newspapers in Natal, north of Rio Grande Raimundo Nonato historian. The discursive representations are built from the use of semantic analysis operations. Lampião to, the following representations are built: bandit, head of bandits, briber, defeated, Captain and Lord. To the outlaws of Lampião bunch of the following discursive representations were built: group, gang, gangsters, mates, bloodthirsty pack, brigands, bandits, criminals, burglar horde, and wild beasts. These representations reveal mainly the views of the newspapers of that time, which represented mainly the interests of traders, politicians, the government itself and generally Mossoró population.