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

Motivações em competição na variação sociolinguística: o plural dos predicativos na variedade de São José de Rio Preto

O objetivo deste trabalho é o de submeter a um tratamento variacionista, de base quantitativa, dados de marcação variável de plural no SN e no SA em contexto de predicativo, obtidos em córpus coletado na região de São José do Rio Preto. O trabalho procura examinar se a marcação de pluralidade nos predicativos pode ser explicada com base em motivações exclusivamente formais, ou exclusivamente funcionais, ou ainda, com base na interação entre ambas, que consistiriam, assim, em motivações em competição. Os resultados indicam que nem as motivações funcionais, nem as motivações formais regem solitariamente o fenômeno, que aparece fortemente condicionado por uma restrição externa específica, o grau de escolaridade. Por essa razão, a explicação mais plausível para a marcação de pluralidade nos predicativos é a de que há motivações em competição, nos termos de Du Bois (1985), e é a marcação de pluralidade o bem limitado, pelo qual forças múltiplas, as motivações formais ou internas e funcionais ou externas, competem entre si.

Valência do nome deverbal e nominalidade prototípica

O objetivo deste trabalho é mostrar que os nomes deverbais preservam a estrutura argumental do verbo input correspondente e que a especificação ou não dos argumentos no interior do termo nominal depende de um conjunto de fatores pragmáticos, especialmente relacionados a informação de curto termo compartilhada pelos participantes da interação. Como implicação teórica, a análise preserva a idéia de que há um processo gradual de descategorização verbal, que se reflete nos diferentes tipos de marcação gramatical. Conforme o predicado verbal ganha estatuto nominal, as marcações tipicamente oracionais dão lugar a outros mecanismos, como marcação argumental por preposição, modificação por adjetivo, uso de pronomes possessivos, que acompanham apropriadamente um núcleo nominal.

Reducing the gap between mobile and intelligent software agents

This paper presents an approach to integrate an artificial intelligence (AI) technique, concretely rule-based processing, into mobile agents. In particular, it focuses on the aspects of designing and implementing an appropriate inference engine of small size to reduce migration costs. The main goal is combine two lines of agent research, First, the engineering oriented approach on mobile agent architectures, and, second, the AI related approach on inference engines driven by rules expressed in a restricted subset of first-order predicate logic (FOPL). In addition to size reduction, the main functions of this type of engine were isolated, generalized and implemented as dynamic components, making possible not only their migration with the agent, but also their dynamic migration and loading on demand. A set of classes for representing and exchanging knowledge between rule-based systems was also proposed.

O uso variável do modo subjuntivo em estruturas complexas

Pós-graduação em Estudos Linguísticos - IBILCE

O processo de construção referencial nas crônicas de temas políticos escritas por Carlos Heitor Cony

Pós-graduação em Estudos Linguísticos - IBILCE

Os advérbios focalizadores no português falado do Brasil: uma abordagem funcionalista

Pós-graduação em Estudos Linguísticos - IBILCE

Aplicativo computacional para a análise de experimentos envolvendo variáveis respostas categorizadas

Pós-graduação em Agronomia (Energia na Agricultura) - FCA

Predicados matrizes adjetivais de orações subjetivas no Português brasileiro: gramaticalização e dessentencialização

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Motivações funcionais da gradação entre construções encaixadas nominais e verbais

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Integração das estruturas de complementação oracional no português brasileiro

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Relativização no português do Brasil: a sentença orientada para o discurso

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Gramaticalização e (inter)subjetivização na modalização em português: um estudo de pode ser

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

An alternative approach for quasi-truth

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

O estatuto lexical das preposições sob e sobre

This paper describes the prepositions sob and sobre in the Functional Discourse Grammar framework (HENGEVELD; MACKENZIE, 2008) aiming at checking their lexical or grammatical status on the basis of classification criteria postulated by Keizer (2007). The following aspects point to their lexical status : (i) they consist of an Ascription Subact; (ii) they contain a specific content on the vertical axis signaling inferiority and superiority position in relation to a limit; (iii) they are not required by any predicate, but they are predicates by themselves, which require complementation by an argument playing Reference semantic function; (iv) they may be combined with de, em, para and por; which are genuine grammatical prepositions; and, finally, (v) they are not subjected to any phonological process of reduction and fusion.