A transformação entre linguagens, ou entre diferentes formatos de uma mesma linguagem, é um assunto que desperta interesse há vários anos e desta forma alguns trabalhos tem surgido para tentar automatizar o processo de transformação entre notações diferentes. Este trabalho descreve as Gramáticas Transformacionais empregados para descrever as transformag6es necessárias para converter uma notação em uma linguagem fonte (LF) para uma notação equivalente em uma linguagem objeto (LO). Nesta Gramática é embutido o conceito de Gramáticas de Atributos, criando assim as Gramáticas Transformacionais com Atributos (GTAs). Para validação das GTAs é apresentado um protótipo de ferramenta transformacional, que gera um tradutor, de LF para LO, a partir da descrição da gramática da LF e das regras de transformações para a LO. Tanto a LF quanto a LO são gramáticas do tipo LALR(1). Como objetivo de construir a ferramenta mais genérica possível, foram realizados estudos sobre três ferramentas, com as quais as transformações são possíveis. São elas: YACC, SINLEX e GG. É feita uma breve descrição destas três ferramentas e uma comparação com o protótipo implementado. / Languages transformation or transformation among differents formats of the same language is a subject that , has had a lot of interest for t many years. Thus, research has been done aiming to automatize the proccess of transformation from one notation to another. This work describes the use of Transformation Grammars to describe the necessary transformations to convert from a Source Language (SL) notation to an equivalent Object Language (OL). The concept of Attribute Grammars is embbeded to these grammars, defining an Attributed Transformation Grammar (ATG). A transformation tool prototype to evaluate the ATGs is presented. This tool generates a translator from SL to OL using the SL grammar description and the corresponding transformation rules to the OL. Both the SL and OL are LALR(1) grammars. Studies on YACC, SINLEX and GG (tools wich allow transformations) were done trying to reach the most generic tool. A brief descriptions of these tools and a comparision with the prototype is presented.

Esta dissertação explora diversos aspectos relacionados a integração entre ferramentas de edição e entre os documentos por estas gerados durante o processo de desenvolvimento de software. São analisados para esta finalidade os conceitos de Hiperdocumento e Gramática de Atributos. E especificada uma ferramenta que assiste o desenvolvimento de software através do use de um mecanismo baseado em gramática, que facilita o estabelecimento e controle de sequencias de utilização das ferramentas de edição. Na ferramenta, e também empregado o conceito de gramática, em conjunto ao conceito de Dicionário de Dados Ativo, para a reavaliação dinâmica de documentos editados. A ferramenta incorpora ainda mecanismos com o enfoque de hiperdocumentos, o que facilita a inter-conexão de informações contidas nos documentos gerados no processo de produção de software. são apresentadas as características de produtividade e qualidade no desenvolvimento de software e os fatores que as influenciam, analisando especificamente ferramentas CASE e a necessidade de integração destas. São analisados os conceitos de Gramática de Atributos (GA), Editor Dirigido por Sintaxe (EDS) baseados em GA e Gerador de Editores Dirigidos por Sintaxe (GEDS), no contexto da Engenharia de Software. É apresentado um exemplo de utilização de GA para obtenção de integração de controle no desenvolvimento de software. são expostos os conceitos de Hiperdocumento no contexto da Engenharia de Software. E apresentado um exemplo de utilização de Hiperdocumentos para obtenção de integração referencial no desenvolvimento de software. Na construção da ferramenta, três mecanismos com o enfoque de hiperdocumentos são aplicados para abordar a integração referencial: a) um mecanismo de estabelecimento de elos entre informações contidas nos documentos editados; b) um mecanismo de "browser" de elos, que permite a visualização e seguimento de elos estabelecidos; e c) um mecanismo de estabelecimento e seguimento de caminhos de leitura dos documentos gerados. Um protótipo da ferramenta, implementado em Eiffel, e apresentado. Alguns resultados dos experimentos realizados com a ferramenta são expostos. Trabalhos futuros sobre a pesquisa são sugeridos. / This work explores several aspects about integration between development tools and the documents generated by them in the process of software development. The concepts of Hyperdocument and Atribute Grammars are analysed for this meaning. A tool which aids the software development process by using a grammar based mechanism is specified. This mechanism facilitates the establishment and the control of the development tools being used. In this tool, the concept of grammar is also used, added to the concept of Active Data Dictionary, for dynamic revaluat ion of the edited documents. The tool has mechanisms with hyperdocument emphasis, which falicitate the relationship between documents generated in the software production. The productivity and quality features in software development and the factors that influence them are presented, specifically considering CASE tools and their necessity for integration. The concepts of Atributes Grammar (AG), Sintax Driven Editor (SDE) based on AG and SDEs generator (SDEG) are analysed in the context of Software Engineering. It is presented one sample of AG application for getting development software control integration. The concepts of Hyperdocument are exposed in the context of Software Engineering. It is presented one sample of Hyperdocument application for getting development software referential integration. In the tool, three mechanisms with Hiperdocument emphasis are applied to get referential integration: a) a mechanism for links establishment between edited documents informations; b) a mechanism for links browsing, that allows the links visualization and pursuit; c) a mechanism for establishment and pursuit documents reading paths. One Eiffel prototype of the tool is presented. Some results of the tool experiments are exposed. Future works about the research are suggested.

Vias biológicas representam interações entre entidades químicas complexas (proteínas, substratos, metabólitos etc.) que ocorrem no nível molecular das células. A representação e compreensão do comportamento destas vias é o principal alvo de estudos da Biologia Sistêmica. Esta área de estudos envolve a construção de modelos matemáticos que possam simular in silico (computacionalmente) o comportamento destes sistemas biológicos verificados in vivo (experimentalmente). Do ponto de vista computacional é evidente que tais sistemas são complexos para abordar e descrever de modo intuitivo. São necessários modelos com valor preditivo, isto é, que permitam descrever os comportamentos do sistema que são experimentalmente verificáveis. Algumas notações gráficas foram propostas para descrever vias biológicas. Entre elas, os diagramas de processos tem sido amplamente utilizados. Um diagrama de processos é essencialmente um grafo no qual vértices e arestas representam componentes biológicos, e há uma notação gráfica associada com cada elemento. Nesta dissertação propomos uma fundamentação formal para a linguagem dos diagramas de processos definindo a sintaxe usando gramática de grafos. Nós definimos primeiramente um grafo chamado BioProc, descrevendo o meta-modelo dos diagramas de processos. Instâncias do grafo BioProc são portanto diagramas de processos modelando vias biológicas. Para descrever a semântica foi proposta uma tradução algébrica dos grafos BioProc para redes de Petri estocásticas generalizadas (GSPNs) já amplamente utilizadas na modelagem de processos biológicos. O uso de gramática de grafos como formalismo intermediário na tradução habilita a verificação sintática da via com a checagem dos tipos válidos que podem ser definidos para cada reação antes da simulação na rede de Petri e usá-las posteriormente para explorar propriedades estruturais e estocásticas do modelo. Além disso serve como base para a evolução do modelo proposto. Isto é relevante já que modelos frequentemente são construídos incrementalmente para se adaptar a novos requisitos e/ou incluir novas características. / Biological pathways represent interactions between complex chemical entities (proteins, substrates, metabolites, etc.) that occur at the molecular level of cells. The representation and comprehension of biological pathways behavior is the main target of research in the field of Systems Biology. This area investigates the construction of mathematical models that can simulate in silico (computationally) the behavior of biological systems checked in vivo (experimentally). From a computational view point it is clear that such systems are too complex to analyze and describe in an intuitiveway. Models with predictive value are needed, describing the behaviors that are experimentally verifiable. There are some graphical notations to describe biological pathways. Among them, process diagrams have been widely used. A process diagram is essentially a graph in which vertices and edges represent biological components, and there is a graphical notation associated with each element. In this master thesis we give a formal foundation for biological process diagrams, by defining their (concrete and abstract) syntax and semantics using a formalism called graph grammars. We first build a graph called BioProc Graph, describing the meta-model of process diagrams. Instances of this BioProc graph are concrete process diagrams modeling biological pathways. To describe the semantics we proposed a translation of BioProc diagrams to generalized stochastic Petri networks (GSPNs) already widely used in modeling biological processes. The use of graph grammar formalism as a basis for translation enables the syntatic verification to check the valid types that can be defined for each reaction after the simulation of Petri net and before that to explore structural and stochastic properties of the model. In addition it serves as the basis for model evolution proposed. This is relevant because models are often built incrementally to adapt to new requirements and/or include new features.

Orientador: Bento Carlos Dias da Silva / Banca: Rosane de Andrade Berlinck / Banca: Marilza de Oliveira / Resumo: Esta dissertação abrange temas de dois domínios complementares: o domínio lingüístico e o domínio lingüístico-computacional. No domínio lingüístico, a pesquisa sistematiza os diferentes tipos de clíticos do português, estabelecendo, assim, um critério heurístico que possibilita a identificação e a seleção de verbos com clítico se inerente. No domínio lingüístico-computacional, a partir da apresentação das redes do tipo wordnet e da descrição dos principais tipos de alinhamento semântico que podem ser estabelecidos entre a base de verbos da WordNet.Br e a base de verbos da WordNet de Princeton, a pesquisa de natureza aplicada propôs um alinhamento dos verbos com clítico se inerente do português com seus correspondentes do inglês. / Abstract: This thesis discusses the Brazilian Portuguese clitics in two complementary domains: the linguistics domain and the computational-linguistic domain: in the linguistics domain, the research aims to frame the different types of Brazilian Portuguese clitics and to draw heuristics to identify and to select the verbs with inherent clitic se. In the computationallinguistic domain, after presenting wordnet projects and describing the different types of semantic alignment that can be effected between synsets of verbs from different wordnets, the tasks were to construct synsets of Brazilian Portuguese verbs with inherent clitic se in the WordNet.Br database under construction and to align them semantically with the corresponding synsets of English in the Princeton WordNet database. / Mestre

No description available.

Resumo: O objeto de estudo desta tese é a variação do tempo futuro em texto escritos em português do ponto de vista diacrônico. Foram feitas duas análises: uma em tempo real, abrangendo um período de dois séculos, e a outra em tempo real de curta duração, que abrange um período menor, 50 anos de texto escrito. A análise em tempo real de curta duração foi feita a partir das revistas Pato Donald, desde a edição de número 1, publicada no Brasil em 1950 até a 2.032, de outubro de 2004, em um recorte feito de dez em dez anos. Já a análise em tempo real foi constituída de 46 romances brasileiros escritos entre o século XVIII e a última década do século XX. O refinamento da análise minimizou a variação para quatro variantes da representação do tempo futuro: futuro sintético (apresentarei amanhã); o presente do indicativo (apresento amanhã); a perífrase ir + infinitivo (vou apresentar amanhã) e a perífrase haver + de + infinitivo (hei de apresentar amanhã). Tomando como base teórica a sociolinguística quantitativa laboviana e princípios do paradigma da gramaticalização. A análise dos dados revela que as perífrases com ir + infinitivo estão apresentando maiores tendências de uso, chegando, em alguns casos a superar o futuro sintético, o que pode estar apontando uma possível mudança em andamento na direção de substituir o futuro sintético pela perífrase ir + infinitivo na representação do tempo futuro.

No description available.

Made available in DSpace on 2016-12-09T13:52:16Z (GMT). No. of bitstreams: 0 Previous issue date: 2014-04-22. Added 1 bitstream(s) on 2016-12-09T13:55:19Z : No. of bitstreams: 1 000870533.pdf: 2323366 bytes, checksum: 6931640d17564de5c6bfbb0ee3b47754 (MD5) / Secretaria da Educação do Estado de São Paulo (SEE-SP) / Este trabalho visa a construir uma relação de análise linguística e práticas de ensino e aprendizagem de língua materna. Toma como referência o modelo teórico metodológico fornecido pelo linguista francês Antonie Culioli na sua Teoria das Operações Predicativas e Enunciativas (TOPE). Nossa investigação tem como objetivo principal observar, analisar e compreender a forma como os alunos empregam os pronomes indefinidos alguém, ninguém, nenhum e algum em textos escritos de diferentes gêneros e em enunciados orais. Consideramos observações de aplicação de uso dos pronomes indefinidos pelos alunos e procuramos comparar e confrontar a maneira como eles entendem esses pronomes e a forma como as gramáticas normativa, funcional e descritiva os definem e classificam. No entanto, as gramáticas com as quais lidamos nas escolas, principalmente a gramática normativa, são de caráter extremamente classificatório, pois por mais que busquem a variação e o deslocamento de classes gramaticais, ainda têm como unidade de estudo as estruturas estáticas da língua. Além do objetivo central, há outros objetivos nos quais nossa pesquisa se pauta: determinar as noções semânticas e sintáticas exercidas por tais pronomes dentro dos fragmentos de textos por eles produzidos; conduzir o aluno a refletir sobre a construção de seu processo linguístico; conduzir o aluno a entender que o processo de desambiguização ocorre a todo o momento dentro de um conjunto de famílias parafrásticas; através do processo de variação orientar o aluno a entender que uma noção só se estabiliza no momento em que a enunciação ocorre, e, por último, identificar a ausência da reflexão nas atividades tradicionais de interpretação de textos, de gramática e do léxico. Para a obtenção do corpus do trabalho, as atividades foram desenvolvidas com duas classes de 8ª série/ 9º ano do EFII, da escola estadual EE Léa de Freitas Monteiro... / This research aims to build a relation between linguistic analysis and learning-teaching practices of mother language. This work takes as reference the theoretical and methodological model provided by the French linguist Antoine Cullioli in his Predicative and Enunciative Operations Theory (TOPE). Our investigation has as main objective to observe, analyse and understand how the students use the indefinite pronouns somebody/someone (alguém), nobody/no one (ninguém), no/any (nenhum) and some/any (algum) in written texts of different genres and in oral enunciations. We consider observations of application of indefinite pronouns used by students and we compare and contrast how the students understand these pronouns and how normative, functional and descriptive grammars define and classify them. However, the grammars we deal with in schools, mainly normative grammar, have extremely classificatory nature, because as much as those grammars seek variation and displacement of grammatical classes, they still have as units of study the static structures of the language. In addition to the main objective, other objectives on which our research is based are: determining the semantic and syntactic notions exercised by such pronouns in the fragments of texts produced by them; lead the student to reflect on building their linguistic process; guide the student to understand that the disambiguation process occurs at every moment within a range of paraphrase families; during the variation process, guide the student to understand that a notion only stabilizes at the time when the utterance occurs, and finally to identify the absence of reflection on the traditional activities of interpretation of texts, grammar and lexicon. To obtain the job corpus, activities were developed with two 8th/9th grade classes of Ensino Fundamental II (junior high school), at the public school EE Prof.ª Lea Monteiro de Freitas (Araraquara /SP) between February and...

Orientador: João Batista Toledo Prado / Banca: Brunno Vinicius Gonçalves Vieira / Banca: Marcos Martinho dos Santos / Resumo: Caio Mário Vitorino, africano de origem, ensinou retórica em Roma no tempo do imperador Constantino; teria chegado ao apogeu de sua carreira como rétor de Roma entre os anos 350 e 355 d. C. Sua evidência materializou-se por meio de uma estátua junto às de grandes outros imperadores e funcionários do alto escalão no Fórum de Trajano. Sobre Élio Aftônio, contemporâneo a Mário Vitorino, pouco se sabe a respeito de sua biografia e poucos registros restaram de comentários às suas obras. É atribuída a ambos os gramáticos a autoria dos Marii Vitorini Artis Grammaticae Libri IIII, os "Quatro livros de Mário Vitorino sobre a Arte Gramatical", o manual técnico, acerca das modalidades técnicas métricas para a composição artística de poemas, sobre o qual este estudo se debruça. Depois de pesquisa bibliográfica a respeito da fortuna crítica dos autores, a atenção do estudo recaiu sobre a análise do manual técnico, o Ars Grammatica, presente no volume VI dos Grammatici Latini, texto editado e compilado pelo filólogo alemão Heinrich Keil, em 1860, e, especialmente, dos exempla, ferramenta presente no discurso gramatical que, na obra, foi o suporte para que se discorresse sobre a flexibilidade da métrica na poesia latina, para a elaboração de poemas. Concluídas as considerações sobre os exempla, elaboraram-se notas explicativas para as lições poéticas, bem como uma introdução em que se apresentaram os autores e sua obra / Résumé: Caius Marius Vitorinus, africain d'origine, a enseigné la rhétorique à Rome au temps de l'empereur Constantinus ; il serait arrivé à l'apogée de sa carrière comme rhéteur à Rome entre les années 350 et 355 d. C. Son évidence s'est matérialisée par une statue auprès celles des grands empereurs et des fonctionnaires de plus haute poste sur le Forum de Trajan. Quant à Élio Aftônio, contemporian de Mário Vitorino, peu se peut savoir à propos de sa biographie et peux d'enregistrements sont resté avec des commentaires sur ses oeuvres. C'est attribuée à tout les deux grammairiens la création des Marii Vitorini Artis Grammaticae Libri IIII, les «Quatre livres de Mário Vitorino sur l'Art Grammatical », le manuel technique, auprès des modalités techniques métriques pour la composition artistique de poèmes, sur lequel se penche cette étude. Après une recherche biographique auprès d'une fortune critique des auteurs, l'attention de l'étude centre sur l'analyse d'un manuel technique, l' Ars Grammatica, présent au volume VI des Grammatici Latini, texte réuni par le philologue allemand Heinrich Keil, en 1960 et, spécialement, sur les exempla, qui sont un outil présent au discours de la grammaire que, dans l'oeuvre, est le soutien pour que s'analyse la flexibilité de métrique dans la poésie latine, pour organiser les poèmes. Une fois conclues les considérations sur les exempla, se façonnent les notes explicatives pour les leçons poétiques, aussi comme une introduction qui présente les auteurs et son oeuvre / Mestre

O crescimento da complexidade e do tamanho dos sistemas computacionais atuais suscitou um aumento na dificuldade de extração e especificação de modelos formais desses sistemas, tornando essa atividade cada vez mais dispendiosa, tanto em tempo quanto em custo. Modelos são utilizados em diversas técnicas da Engenharia de Software, com o intuito de auxiliar em processos que compreendem desde o desenvolvimento de novos softwares, até reconstrução de um sistema a partir de software legado, passando pela realização de manutenção de um software em operação. Portanto, é necessário que essas abstrações sejam confiáveis e representem fielmente o software real. Nesse sentido, a adoção de métodos formais para a construção e análise de modelos computacionais é crescente e motivada, principalmente, pela confiabilidade que os formalismos matemáticos agregam aos modelos. No entanto, a utilização de métodos formais geralmente demanda um alto investimento de recursos humanos e, consequentemente, financeiros, uma vez que a utilização de tais formalismos é condicionada ao estudo profundo de sua fundamentação matemática. Considerando-se a extensa aplicabilidade de modelos em diversas subáreas da Ciência da Computação e as vantagens advindas da utilização de métodos formais para especificar sistemas, é interessante identificar métodos e ferramentas existentes para automatizar os processos de extração e análises de modelos, em conjunto com a adoção de formalismos que possam ser utilizados por profissionais da computação que atuam na indústria de software. Dessa forma, é estimulada nesse trabalho a utilização do formalismo de Gramática de Grafos, um método formal que diferencia-se dos demais por ser intuitivo e possuir uma representação visual gráfica, o que facilita a sua compreensão e não exige um conhecimento avançado sobre o formalismo. Primeiramente, é proposta uma abordagem para a extração de modelos em Gramática de Grafos a partir de código-fonte, extraindo informações de execuções de código Java anotado. Em seguida, é apresentada uma metodologia existente para extração e análise de Gramática de Grafos a partir de Casos de Uso, juntamente com um estudo empírico realizado a fim de validar a metodologia. Por fim, são propostas possíveis verificações adicionais, a fim de extender as análises dessa metodologia. Com isso, busca-se a obtenção de modelos, descritos através do formalismo de grafos, a partir de artefatos criados nos dois pólos do processo de desenvolvimento de software, antes e depois da implementação, no sentido de viabilizar futuras comparações, no contexto de verificação de software. / The growing size and complexity of current computer systems leading to an increase in the difficulty of extraction and specification of formal models of such systems, making it increasingly expensive activity, both in time and in cost. Models are used in various techniques of software engineering in order to assist in processes that range from the development of new software, to rebuild a system from legacy software, passing for performing maintenance of software in operation. Therefore, it is necessary that these abstractions are reliable and faithfully represent the actual software. In this sense, the adoption of formal methods for the construction and analysis of models is growing and motivated mainly by the reliability that the mathematical formalism add to models. However, the use of formal methods generally demands a high investment in human resources and hence financial, since the use of such formalism is conditioned to the deep study of its mathematical foundation. Considering the extensive applicability of models in various subfields of computer science and the benefits arising from the use of formal methods for specifying systems, it is interesting to identify existing methods and tools to automate the process of extracting models, in addition to the adoption of formalism that can be used by computer professionals working in the software industry. Thus, we encourage the use of the Graph Grammar formalism, a formal method that differs from others because it is intuitive and has a graphical visual representation, making it easy to understand and does not require an advanced knowledge of the formalism. First, we propose an approach for extracting models from source code in Graph Grammar, getting information of executions of annotated Java code. Then an existing methodology for extraction and analysis of Graph Grammar from Use Cases is presented, along with an empirical study to validate the methodology. Finally, we propose possible additional checks in order to extend the analysis of this methodology. Thus, this work aims to extract models, described by the formalism of graphs, from artifacts created in the two poles of the software development process, before and after implementation, in order to allow future comparisons, in the context of software verification.