Esta tese apresenta um modelo conceitual para modelagem e vericação de espe- cificações de sistemas orientados a objeto. Mais especificiamente, uma extensão da abordagem algébrica baseada em single-pushouts para gramáticas de grafos tipadas é desenvolvida, onde os morfismos de tipagem são compatíveis com as relações de ordem sobre os nodos e (hiper)arcos de um grafo, e que representam, respectivamente, as relações de herança entre classes e sobrescrita de métodos. O trabalho é dividido em trÊs linhas principais: especificações de sistemas, comportamento dinâmico de programas, e verificaçaõ formal de sistemas orientados a objeto. A hierarquia de classes de um sistema orientado a objetoé modelada por um hipergrafo rotulado chamado grafo de classes, cujos conjuntos de nodos e arcos possuem uma relação de ordem parcial restrita, com o objetivo de modelar herança e sobrescrita de métodos. Restrições adicionais garantem que grafos de classes provÊm um modelo fiel e adequado da maneira como as classes de um sistema orientado a objetos s~ao efetivamente organizadas e combinadas. Grafos orientados a objeto são hipergrafos tipados sobre um grafo de classes. O morfismo de tipagem exige que hiperarcos mapeados preservem as relações existentes entre os seus nodos de origem e destino. Esta característica modela a heran»ca de forma adequada, visto que qualquer objeto pode fazer uso de atributos ou mensagens herdadas. Mor¯smos entre grafos orientados a objeto asseguram que o polimorfismo de subclasses seja uma característica intrínseca do formalismo aqui apresentado. Regras orientadas a objeto respeitam os princípios de encapsulamento e oclusão da informação do paradigma. Uma derivação direta (ou aplicação de regra)é uma soma amalgamada (pushout) na categoria de grafos orientados a objeto e seus morfismos. Gramáticas de grafos orientados a objeto modelam o comportamento dinâmico de sistemas. Uma semântica observacional para gramáticas de grafos orientados a objeto, baseada em sistemas de transição rotulados, é definida. Tal semântica é baseada na noção de entidades visíveis (objetos ou mensagens), e que representam os elementos importantes no processo de verificação de propriedades do sistema especificado pela gramática. Finalmente, uma tradução formal de gramáticas de grafos orientados a objeto para programas na linguagem Promela é definida. Objetos são traduzidos como pro- cessos em Promela, e a troca de mensagens entre objetos é implementada com canais de comunicação. Herança, polimorfismo e ligação dinÂmica são implementados no programa Promela, que originalmente não suporta nenhuma dessas caraterísticas. A verificação de propriedades do programa pode ser efetuada tanto sobre estados como sobre eventos. / This thesis presents a graph-based formal framework to model and verify object- oriented specifications. More specifically, an extension of the algebraic single- pushout approach to (typed) graph grammars is developed, where the typing mor- phisms are compatible with the order relations defined over nodes and edges to represent, respectively, inheritance and overriding of classes and methods. This work is divided in three main lines: static specifications, dynamic behaviour, and formal verification of object-oriented systems. The object-oriented class hierarchy structure is modeled by a graph structure called class-model graph, whose set of nodes and edges have a restricted partial order relation over them, to model inheritance and method overriding. The underlying relations of such sets obey additional restrictions, intended to assure that class- model graphs provide an adequate and faithful model of how object-oriented classes are organized and combined. Object-oriented graph grammars model the dynamics of object-oriented systems. Object-oriented graphs are hypergraphs typed over a class-model graph, but the typing morphism is more flexible than the traditional one, in the sense that mapped hyperedges need to preserve relations between sources and targets. This feature adequately models inheritance, for any object can make use of inherited attributes or messages. Morphisms between object-oriented graphs assure that subclass poly- morphism is a built-in feature of the formalism. Object-oriented rules respect the principles of encapsulation and information hiding of the object-oriented paradigm. A direct derivation (or rule application) is shown to be a pushout in the category of object-oriented graphs and their morphisms. An observational semantics for object-oriented graph grammars, based on a labeled transition system, is presented. This semantics is based on a notion of visible entities (objects or messages), which are the elements we are interested in for verification purposes. Finally, a formal translation from object-oriented graph grammars specifications into Promela programs is defined. Objects in the system graph are translated as Promela processes, and message exchange is implemented with buffered communication channels. The semantics of grammar rule application is preserved by the nondeterminism in the choice of which message to consume. Inheritance, polymorphism and dynamic binding are implemented in the Promela program, which originally does not support it. The translation presented assures that both state and event verification can be performed.

A área de biologia computacional está vivendo um crescimento rápido causado pela revolução no estudo de genômas e pelo avanço das técnicas de manipulação do material genético. Com essas novas tecnologias para manipulação de seqüências, a importância de achar uma solução eficiente para os problemas chamados de intratáveis também cresceu, pois muitos problemas envolvidos na análise de DNA pertencem a essa classe de problemas. Uma abordagem para achar essas soluções é usar o próprio DNA para realizar computação, aproveitando o paralelismo massivo utilizado em operações que manipulam seqüências de DNA. Isto é estudado na área de computação com DNA. Esse trabalho propõe um modelo formal para representar a estrutura da molécula de DNA e das operações que são realizadas com ela em laboratório. Este modelo ajuda a preencher a necessidade de uma descrição matemática que possa ser usada para analisar algoritmos baseados em DNA, assim como possibilitar a simulaç~o desses algoritmos em um computador. Foi utilizada a teoria de gramáticas de grafos, uma linguagem de especificação formal, para modelar as seqüências de DNA e suas I operações. O trabalho apresenta um estudo da estrutura da molécula de DNA, deScrevendo suas características e as principais operações que são realizadas para sua manipulação em laboratório. Uma descrição da teoria de Gramática de Grafos e sua aplicação também é apresentada. Para validação do modelo proposto as especificações resultantes foram adaptadas para o formato L-systems, outra linguagem de especificação formal, permitindo realizar a simulação da especificação no ambiente L-Studio. / The area of computational biology is living a fast growth, fed with a revolution in the study of genomes and with the advance in the techniques of genetic material manipulation. With these new technologies for manipulation of sequences, the relevance of finding efficient solution to the so-called computer intractable problems has also grown, because many problems involved in analyzing DNA belong to this class of problems. One approach to find such solutions is to use DNA itself to perform computations, taking advantage of the massive parallelism involved in operations that manipulate DNA sequences. This is what is studied in the area ofDNA computing. This work proposes a formal model to represent the DNA structure and the operations performed in laboratory with it. This model helps to fill the need of a mathematical description that can be used to analyze DNA-based algorithms, as well as for simulating such algorithms in a computer. We use graph grammars, a formal specification language, to model the DNA sequences and operations. The work presents a study of the DNA molecule structure, describing its features and the main operations performed for manipulation in laboratory. A description of the theory of Graph Grammars and its application are presented too. To validate the proposed model, the resulting DNA-graph grammar specifications are then translated into the L-systems format, another formal specification language, allowing for the simulation of the specifications using the L-Studio environment.

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.

Esta tese apresenta um modelo conceitual para modelagem e vericação de espe- cificações de sistemas orientados a objeto. Mais especificiamente, uma extensão da abordagem algébrica baseada em single-pushouts para gramáticas de grafos tipadas é desenvolvida, onde os morfismos de tipagem são compatíveis com as relações de ordem sobre os nodos e (hiper)arcos de um grafo, e que representam, respectivamente, as relações de herança entre classes e sobrescrita de métodos. O trabalho é dividido em trÊs linhas principais: especificações de sistemas, comportamento dinâmico de programas, e verificaçaõ formal de sistemas orientados a objeto. A hierarquia de classes de um sistema orientado a objetoé modelada por um hipergrafo rotulado chamado grafo de classes, cujos conjuntos de nodos e arcos possuem uma relação de ordem parcial restrita, com o objetivo de modelar herança e sobrescrita de métodos. Restrições adicionais garantem que grafos de classes provÊm um modelo fiel e adequado da maneira como as classes de um sistema orientado a objetos s~ao efetivamente organizadas e combinadas. Grafos orientados a objeto são hipergrafos tipados sobre um grafo de classes. O morfismo de tipagem exige que hiperarcos mapeados preservem as relações existentes entre os seus nodos de origem e destino. Esta característica modela a heran»ca de forma adequada, visto que qualquer objeto pode fazer uso de atributos ou mensagens herdadas. Mor¯smos entre grafos orientados a objeto asseguram que o polimorfismo de subclasses seja uma característica intrínseca do formalismo aqui apresentado. Regras orientadas a objeto respeitam os princípios de encapsulamento e oclusão da informação do paradigma. Uma derivação direta (ou aplicação de regra)é uma soma amalgamada (pushout) na categoria de grafos orientados a objeto e seus morfismos. Gramáticas de grafos orientados a objeto modelam o comportamento dinâmico de sistemas. Uma semântica observacional para gramáticas de grafos orientados a objeto, baseada em sistemas de transição rotulados, é definida. Tal semântica é baseada na noção de entidades visíveis (objetos ou mensagens), e que representam os elementos importantes no processo de verificação de propriedades do sistema especificado pela gramática. Finalmente, uma tradução formal de gramáticas de grafos orientados a objeto para programas na linguagem Promela é definida. Objetos são traduzidos como pro- cessos em Promela, e a troca de mensagens entre objetos é implementada com canais de comunicação. Herança, polimorfismo e ligação dinÂmica são implementados no programa Promela, que originalmente não suporta nenhuma dessas caraterísticas. A verificação de propriedades do programa pode ser efetuada tanto sobre estados como sobre eventos. / This thesis presents a graph-based formal framework to model and verify object- oriented specifications. More specifically, an extension of the algebraic single- pushout approach to (typed) graph grammars is developed, where the typing mor- phisms are compatible with the order relations defined over nodes and edges to represent, respectively, inheritance and overriding of classes and methods. This work is divided in three main lines: static specifications, dynamic behaviour, and formal verification of object-oriented systems. The object-oriented class hierarchy structure is modeled by a graph structure called class-model graph, whose set of nodes and edges have a restricted partial order relation over them, to model inheritance and method overriding. The underlying relations of such sets obey additional restrictions, intended to assure that class- model graphs provide an adequate and faithful model of how object-oriented classes are organized and combined. Object-oriented graph grammars model the dynamics of object-oriented systems. Object-oriented graphs are hypergraphs typed over a class-model graph, but the typing morphism is more flexible than the traditional one, in the sense that mapped hyperedges need to preserve relations between sources and targets. This feature adequately models inheritance, for any object can make use of inherited attributes or messages. Morphisms between object-oriented graphs assure that subclass poly- morphism is a built-in feature of the formalism. Object-oriented rules respect the principles of encapsulation and information hiding of the object-oriented paradigm. A direct derivation (or rule application) is shown to be a pushout in the category of object-oriented graphs and their morphisms. An observational semantics for object-oriented graph grammars, based on a labeled transition system, is presented. This semantics is based on a notion of visible entities (objects or messages), which are the elements we are interested in for verification purposes. Finally, a formal translation from object-oriented graph grammars specifications into Promela programs is defined. Objects in the system graph are translated as Promela processes, and message exchange is implemented with buffered communication channels. The semantics of grammar rule application is preserved by the nondeterminism in the choice of which message to consume. Inheritance, polymorphism and dynamic binding are implemented in the Promela program, which originally does not support it. The translation presented assures that both state and event verification can be performed.

A área de biologia computacional está vivendo um crescimento rápido causado pela revolução no estudo de genômas e pelo avanço das técnicas de manipulação do material genético. Com essas novas tecnologias para manipulação de seqüências, a importância de achar uma solução eficiente para os problemas chamados de intratáveis também cresceu, pois muitos problemas envolvidos na análise de DNA pertencem a essa classe de problemas. Uma abordagem para achar essas soluções é usar o próprio DNA para realizar computação, aproveitando o paralelismo massivo utilizado em operações que manipulam seqüências de DNA. Isto é estudado na área de computação com DNA. Esse trabalho propõe um modelo formal para representar a estrutura da molécula de DNA e das operações que são realizadas com ela em laboratório. Este modelo ajuda a preencher a necessidade de uma descrição matemática que possa ser usada para analisar algoritmos baseados em DNA, assim como possibilitar a simulaç~o desses algoritmos em um computador. Foi utilizada a teoria de gramáticas de grafos, uma linguagem de especificação formal, para modelar as seqüências de DNA e suas I operações. O trabalho apresenta um estudo da estrutura da molécula de DNA, deScrevendo suas características e as principais operações que são realizadas para sua manipulação em laboratório. Uma descrição da teoria de Gramática de Grafos e sua aplicação também é apresentada. Para validação do modelo proposto as especificações resultantes foram adaptadas para o formato L-systems, outra linguagem de especificação formal, permitindo realizar a simulação da especificação no ambiente L-Studio. / The area of computational biology is living a fast growth, fed with a revolution in the study of genomes and with the advance in the techniques of genetic material manipulation. With these new technologies for manipulation of sequences, the relevance of finding efficient solution to the so-called computer intractable problems has also grown, because many problems involved in analyzing DNA belong to this class of problems. One approach to find such solutions is to use DNA itself to perform computations, taking advantage of the massive parallelism involved in operations that manipulate DNA sequences. This is what is studied in the area ofDNA computing. This work proposes a formal model to represent the DNA structure and the operations performed in laboratory with it. This model helps to fill the need of a mathematical description that can be used to analyze DNA-based algorithms, as well as for simulating such algorithms in a computer. We use graph grammars, a formal specification language, to model the DNA sequences and operations. The work presents a study of the DNA molecule structure, describing its features and the main operations performed for manipulation in laboratory. A description of the theory of Graph Grammars and its application are presented too. To validate the proposed model, the resulting DNA-graph grammar specifications are then translated into the L-systems format, another formal specification language, allowing for the simulation of the specifications using the L-Studio environment.

Este trabalho é um estudo da lateral pós-vocálica no que se refere à sua realização como variante velarizada ou vocalizada, sob a perspectiva variacionista. O corpus utilizado é a fala de vinte e oito indivíduos de quatro regiões representativas de diferentes grupos étnicos existentes no Rio Grande do Sul. São examinadas as variáveis lingüísticas e extralingüísticas envolvidas na variação em estudo, confirmando-se a variável grupo étnico como a que mais favorece a presença das duas variantes. Além disso, apresentam-se as regras de velarização e de vocalização da lateral pós-vocálica em termos de traços fonológicos na linha de Clements e discute-se a posição destas no sistema de acordo com a linha da Fonologia Lexical.

Este trabalho apresenta uma análise da alternância dativa do verbo senden da língua alemã. Os pressupostos teóricos da Gramática de Construções postulados por Goldberg (1995) no que concerne aos bitransitivos e suas paráfrases preposicionais e a abordagem da sensitividade ao núcleo verbal de Rappaport Hovav e Levin (2008) são comparados e utilizados como ferramenta de análise do corpus. Por meio deles, analisa-se se as construções constituídas pelo verbo senden e o sintagma preposicional an denotam um evento de posse causada ou de movimento causado. As dificuldades encontradas para diferenciar recipiente de alvo e consequentemente o tipo de evento designado pela construção são discutidas. Apresentam-se preceitos abordados por Adler (2011) em seus estudos sobre a alternância dativa na língua alemã, que auxiliam na distinção do evento denotado pela construção. Assim, a pesquisa realizada corrobora as reflexões da autora sobre a nova faceta da preposição an que aparece em verbos de transferência o addressee-an, sustentando sua argumentação sobre o fato de que não são as variantes do objeto duplo (dativo), ou do sintagma preposicional, (no caso an) as responsáveis pelo evento denotado pela construção, mas sim os argumentos que a constitui. Essa pesquisa também propõe um outro tipo de classificação para a análise de verbos da língua alemã que denotam eventos de transferência em orações destituídas de agente volitivo: evento causal como transferência (Goldberg, 1995), no qual X CAUSA Y AFETADO A RECEBER Z EFEITO, evidenciando assim que não só o argumento TEMA, como também o agente da oração desempenha um papel fundamental na representação semântica da construção. / This work presents a dative alternance analysis of the verb senden from German language. The theoretical assumptions from the Construction Grammar postulated by Goldberg (1995) regarding the ditransitive and its prepositional paraphrase and a verb-sensitive approach to the dative alternation by Rappaport Hovav e Levin (2008) are compared and used as a corpus analysis tool. By means of them, it is analyzed if the constructions constituted by the verb senden and the prepositional syntagma an denote an event schemata caused possession or event schemata caused motion. The difficulties encountered to differentiate recipient and goal and, consequently, the kind of event designated by the construction are discussed. It is presented the precepts raised by Adler (2011) in her studies about the dative alternance in German language, which assist in the event distinction denoted by the construction. Thus, the realized research reinforce the authors reflections about the new facet of the preposition an that appears in transfer verbs the addressee-an, supporting the argumentation about the fact that it is not the double object variant (dative), or the prepositional sytagma (in the an case), the responsible for the event denoted by the construction, but the arguments that constitute it. This research also proposes another kind of classification for the analysis of German language verbs that denote transfer event in clauses deprived of volitive agent: causal event as transfer (Goldberg, 1995), in which X CAUSE Y AFFECT TO RECEIVE Z EFFECT, thus highlighting that not only the theme argument, but also the clause agent play a fundamental role in the semantics representation of the construction.

Orientador: Edwiges Maria Morato / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Estudos da Linguagem / Made available in DSpace on 2018-08-25T13:15:06Z (GMT). No. of bitstreams: 1 Ferrari_NataliaLuisa_M.pdf: 1503830 bytes, checksum: e361da108ca9fe8bf9094c82c9320881 (MD5) Previous issue date: 2014 / Resumo: Este trabalho busca caracterizar o funcionamento da dêixis discursiva (DD), criadora de um foco de atenção comum pela remissão anafórica a conteúdos contextuais (Marcuschi, 1997; Cavalcante, 2003), em interações entre sujeitos afásicos (sujeitos com alterações de linguagem decorrentes de episódios neurológicos) e não afásicos participantes do Centro de Convivência de Afásicos (CCA) da UNICAMP. Nosso interesse nesse contexto interativo deve-se à abordagem do processo dêitico e do anafórico feita pela Afasiologia Linguística: a produtividade do primeiro é considerada uma estratégia meramente compensatória para o déficit de seleção lexical dos sujeitos afásicos (Lehrer, 1974 apud Varley, 1993; Crystal, 1984; Goodglass, 1993), ao passo que o segundo, associado à ideia de continuidade referencial restrita à coindexação um termo ao seu antecedente explícito, é tomado como uma operação cognitiva perturbada em decorrência da lesão cerebral (Caplan e Rigalleau, 2004; Edwards e Varlokosta, 2007). Concebendo os processos referenciais tal como o fazem os estudos textuais-interativos de orientação sociocognitivista (Marcuschi, 2001; Koch, 2002; Mondada e Dubois 2003 [1995]), tivemos por objetivo: i) analisar a função dêitica e a anafórica da DD, atentando para as semelhanças e diferenças entre sujeitos afásicos e não afásicos, e ii) qualificar o funcionamento desse processo referencial no contexto de fala em interação escolhido a partir de seus aspectos característicos observados. Para cumprir tais objetivos, constituímos um corpus de 10 episódios conversacionais dos quais participam afásicos e não afásicos, pela observação de registros audiovisuais de 22 encontros do grupo e da seleção e transcrição de fragmentos conversacionais, baseada no sistema de notação proposto por Morato et al (2011). Esse sistema, que destaca a multimodalidade característica da fala em interação, nos permitiu observar a atuação de recursos verbais e não verbais na construção referencial. Observamos a ampla emergência da DD por dêiticos demonstrativos em função substantiva, especialmente na fala dos sujeitos afásicos, ao passo que na dos não afásicos, houve a presença de nomes conceituais na expressão referencial dêitica. Nesse processo, também compareceram recursos indiciais não verbais, tais como o gesto de apontar e o direcionamento corporal e do olhar, conforme já observara Vezali (2011), cuja carência descritiva não lhes retira a função de referir, mas qualifica a complexidade da referenciação da DD, responsável por chamar a atenção para elementos relevantes do cenário (Hanks, 2008). Além disso, ao contribuir para a construção do foco discursivo, a DD atua na construção argumentativa e tópica do texto conversacional / Abstract: The present study aims to characterize the referential process of Discourse Deixis (DD), which creates a common attention focus through anaphoric remission to contextual contents (Marcuschi, 1997; Cavalcante, 2003), in interactions between aphasics (brain damaged individuals with language difficulties) and non-aphasics that participate in the weekly meetings of the Aphasics Community Center (ACC). Our interest in that interactive context is due to the Linguistic Aphasiology¿s approach to the deictic and anaphoric processes in aphasic speech: the productivity of the former is considered a merely compensatory strategy for the aphasic lexical access deficit (Lehrer, 1974 apud Varley, 1993; Crystal, 1984; Goodglass, 1993), whereas the latter, due to the idea of correferentiality restrict to the coindexation of a certain item to its explicit antecedent, is taken as a cognitive operation disturbed by the brain injury (Caplan e Rigalleau, 2004; Edwards e Varlokosta, 2007). Adopting the Sociocognitive Textual Linguistics conception of referential processes (Marcuschi, 2001; Koch, 2002; Mondada e Dubois 2003 [1995]), our main goals were: i) to analyze the deictic and anaphoric functions which characterize DD and ii) qualify the usage of that referential process in talk-in-interaction considering its characteristics in the chosen context. In order to achieve those goals, we constituted a corpus composed by 10 aphasic and non-aphasic interaction episodes, by the observation of the audiovisual records of 22 CCA meetings, selection and transcription of conversational excerpts, based on the notation system proposed by Morato et al (2011) which highlights the multimodality which characterizes talk-in-interaction. That allowed us to observe how verbal and nonverbal resources took part of referential construction. We could observe the emergence of DD by demonstrative deictics in substantive function, especially in aphasic speech, whereas in non-aphasic speech there was also the presence of conceptual names in the deictic referential expression. In this process there were also nonverbal indexical resources such as pointing and body and eye directing, as Vezali (2011) had already observed, which lack of descriptive information didn't take the referential function away but qualified its complexity instead, since DD is responsible for highlighting relevant elements of the setting (Hanks 2008). Furthermore, by contributing to the discourse focus construction, DD acts in the argumentative and discourse topic construction of the conversational text / Mestrado / Linguistica / Mestra em Linguística

Orientador: Maria Luiza Braga / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Estudos da Linguagem / Made available in DSpace on 2018-08-04T02:35:32Z (GMT). No. of bitstreams: 1 Mendes_RonaldBeline_D.pdf: 794674 bytes, checksum: d374c555a46701b8b823d97331a3d2bc (MD5) Previous issue date: 2005 / Resumo: Da observação do uso das perífrases aspectuais estar + gerúndio e ter + particípio na sincronia (50 entrevistas ¿ NURC/SP e PEUL/RJ) e na diacronia (textos do século XVI ao XIX ¿ Corpus Diacrônico TychoBrahe), proponho que elas podem ser analisadas como variantes de uma variável, nos termos da Sociolingüística Laboviana. O envelope de variação é definido pelo tempo presente e pelos aspectos durativo e iterativo (tipos de imperfectivo). Controlando quantitativamente as ocorrências das perífrases no corpus sincrônico, constata-se que o emprego de ter + particípio está se tornando mais restrito, tanto lingüística quanto socialmente, configurando mudança em curso, através do construto teórico ¿tempo aparente¿. Neste processo, estar + gerúndio revela-se como a forma preferida entre os falantes mais jovens, na expressão daqueles aspectos, independentemente de fatores lingüísticos, tais como a classe semântica do verbo principal, a presença de adjuntos aspectualizadores na sentença e de quantificadores nos argumentos verbais. / Abstract: By observing the synchronic and diachronic use of the Brazilian Portuguese aspectual periphrases estar (be) + gerund and ter (have) + participle, I propose that they can be analyzed as variants of a variable, according to the theoretical and methodological assumptions of Labovian Sociolinguistics. The variable context is defined by present tense and imperfective aspects (durative or iterative). As a result of an apparent time quantitative analysis of the synchronic tokens (extracted from 50 interviews that were selected from the corpora NURC/SP and PEUL/RJ), I show that ter + participle is becoming more restricted, both socially and linguistically. In this process of change, estar + gerund is the preferred form amongst youngest speakers, regardless of other linguistic factors, such as the semantic class of the main verb, the presence of aspectual adjuncts in the sentence and the presence of quantifiers in the verbal arguments. / Doutorado / Linguistica / Doutor em Linguística