Made available in DSpace on 2013-08-07T18:43:33Z (GMT). No. of bitstreams: 1 000437824-Texto+Completo-0.pdf: 998259 bytes, checksum: 86aed75c028c71b8918c33ddb60ad22f (MD5) Previous issue date: 2006 / This research proposes a method to build the SAN, using information extracted from UML diagrams defined according to Unified Process methodology. A framework was formalized to translate the UML state diagrams into SAN structures. The UML state diagrams are basically used to describe the system features. The SAN provided reflect a usage model of the system, what can be used to generate software test cases. This research proposal is to generate the models considering two approaches: the first just focus on functionalities available for the system user, and the second one consider the whole system. This last approach also specifies a simplified function to reduce the SAN status to be visible in the PEP2003 Tool. Based on the framework proposed, a prototype was developed to generate the SAN automatically, based on UML diagrams provided by Rational Rose Tool. Finally, this search describes a case of study, where this framework is described in a real example. / Esse trabalho apresenta método para a construcão de SAN, a partir de informacões extraídas de diagramas UML concebidos sob a abordagem do Processo Unificado. Nele foi formalizado umframework para a transcricão de diagramas de estado UML, utilizados para a descricão comportamental de um sistema, para uma estrutura equivalente em SAN. Essa SAN é utilizada como um modelo de uso do sistema, de onde é possível a extracão de casos de teste de software, conforme verificado em estudo anteriores. Foi proposta a geracão dos modelos sob duas óticas: a primeira focada nas funcionalidades disponibilizadas aos usuários do sistema, e a segunda analisando o sistema como um todo. Para essa última, foi especificado um método de simplificacão da SAN, viabilizando assim a sua análise na ferramenta PEPS2003. Baseado no framework descrito, foi implementado um protótipo para a construcão automática de SAN, a partir de arquivos gerados pelo Rational Rose, arquivos esses contendo informacões sobre os diagramas UML utilizados na descricão do sistema. O trabalho também descreve um estudo de caso, onde são aplicadas as técnicas descritas.

Made available in DSpace on 2013-08-07T18:43:35Z (GMT). No. of bitstreams: 1 000449321-Texto+Completo-0.pdf: 6617499 bytes, checksum: 57811360aff324876ce7118b02859e61 (MD5) Previous issue date: 2013 / The counterexamples and witnesses generation is one of the main attractive features of Model Checking. Counterexamples are a great data source to debug the system, because they are generated when a specification is violeted by a model of the system. On other hand, witnesses show that a model of the system holds for an specification, through an execution trace of the system. This dissertation is part of a project aimed to the construction of a Model Checker for Stochastic Automata Networks and focuses in the generation of counterexamples and witnesses for the tool. / A possibilidade de geração de contraexemplos e testemunhas é um dos principais atrativos da técnica de Verificação de Modelos. Os contraexemplos são uma boa fonte para depuração do sistema, pois são gerados quando uma especificação é refutada pelo modelo. Já as testemunhas ratificam a satisfação de uma especificação pelo modelo através de uma execução do sistema. Esta dissertação de Mestrado é parte de um projeto de construção de um verificador de modelos para modelos descritos em Redes de Autômatos Estocásticos e trata da implementação da geração de contraexemplos e testemunhas para a ferramenta.

Made available in DSpace on 2013-08-07T18:43:41Z (GMT). No. of bitstreams: 1 000397350-Texto+Completo-0.pdf: 1116955 bytes, checksum: 56e8c94cf13d61a08aec37811131b9a1 (MD5) Previous issue date: 2007 / Studies on performance evaluation have progressed in the last years, specially with Stochastic Automata Networks (SAN) and with the implementation of the Shuffle algorithm, which implements an efficient method for vector-descriptor multiplication, needed to solve SAN models. Recently, a new vector-descriptor method was proposed, the Slice method, presenting new concepts to be more efficient than the tradicional Shuffle method. ln this work the Slice method was studied in detail and a new implementation was developed including some new optimizations. ln addition, the Slice algorithm was modified in order to solve functional SAN models, since the previous version was unable to deal with functions. To demonstrate the performance of the Slice method and its optimizations experiments were made using two different SAN models. The results were analyzed and compared with Shuffle results. Thus, it was possible to verify that the Slice method is more efficient than the tradicional Shuffle method in most cases. / Os estudos na área de Avaliação de desempenho de Sistemas têm evoluído nos últimos anos, em especial com a definição do formalismo de Redes de Autômatos Estocásticos (SAN) e com a implementação do algoritmo Shuffle, o qual implementa um método eficiente para a execução da multiplicação vetor-descritor, necessária para a resolução de modelos SAN. Mais recentemente, foi proposto um novo método para a multiplicação vetor-descritor, o método slice, que introduzindo novos conceitos, prometia na teoria ser mais eficiente que o tradicional método Shuffle. Pois neste estudo, este recém definido e até então pouco explorado método, foi estudado em detalhes e realizada uma implementação incluindo algumas otimizações no seu algoritmo original. Ainda, durante este estudo, foram realizadas algumas modificações do algoritmo do método Slice com mesmo intuito de resolver modelos SAN funcionais, uma vez que as versões anteriores não eram capaz de tratar funções. Para demonstrar a eficiência do método Slice e das otimizações propostas, diversos experimentos foram conduzidos utilizando dois modelos SAN. Os resultados de tempo e custo computacional foram analisados e discutidos durante este estudo, comparando-os inclusive com resultados do tradicional método Shuffle. Desta forma, verificou-se o quanto o método Slice pode ser útil na resolução de sistemas, uma vez que os resultados práticos mostram que o método Slice é mais eficiente que a solução tradicional (Shuffle) na maioria dos casos.

Orientadores : Martin Tygel, Lucio Tunes dos Santos / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-02T01:13:29Z (GMT). No. of bitstreams: 1 Piedrahita_Carlos_D.pdf: 6647122 bytes, checksum: 8391ec33fe7d3f34cde72d0fd1a377ac (MD5) Previous issue date: 2002 / Resumo: o objetivo fundamental desta tese é estender o p método de Continuação de traçamento de raios para modelos sísmicos que possuam uma geometria complexa. Esses modelos são usados na exploração do hidrocarbonetos, por exemplo, cunhas, lentes e falhas, dentre outros. Para fazer essa extensão ultilizamos os conceitos, oriundos da Dinâmica Simbólica, de autômato finito e de linguagem aceita. Esses..conceitos nos permitiram montar o sistema não linear que representa o traçamento de raios. O sistema é resolvido utilizando o Método de Newton e o Método de Continuação nos parâmetros do modelo. Além desses métodos numéricos, também utilizamos uma busca aleatória para encontrar a primeira aproximação do primeiro raio da classe de equivalência..definida pela assinatura do raio. Assim, nesta tese, relacionamos alguns conceitos dos Sistemas Dinâmicos Finitos com a Teoria dos Raios. Estendemos as fórmulas da amplitude ao longo do raio de modelos multi-camadas até modelos multi-regiões (modeles- particionados em sub-regiões arbitrárias). . Em particular, encontramos as amplitudes ao longo do raio para..modelos 2.5D, em meios acústicos e elásticos. Essas fórmulas foram implementadas computacionalmente para a construção de sismogramas. Criamos e implementamos uma biblioteca computacional que chamamos OCTRAL, utilizando a linguagem interpretativa OCTAVE. Isto permitiu fazer traçamento de raios sismograma sintéticos usando os conceitos teóricos anteriormente expostos . Através do OCTRAL,fizemos diferentes testes usando como referência a biblioteca CSHOT do pacote computacional Seismic Unix (SU), desenvolvido e mantido pelo Center for Wave Phenomenada Colorado School of Mines. Esses testes nos- pennitiram-fazer comparações em diferentes modelo_ sísmicos. Dessas comparações, concluímos que o OGTRAL foi capaz de estender o CSHOT para modelos acústicos e elãsticos multi-regiões, como requerido para as aplicações mais realistas / Abstract: The fundamental_goal.of this thesis is to extend the.continuation method used in ray tracing to seismic models that have a complex geometry. These models are common in hydrocarbon exploration, as for example, wedges, lenses, faults, etc. To acomplish this aim- we used concepts such as finite-automatas and accepted languages, that arise from Symbolic Dynamics These. concepts permit us to assemble the non-linear system that represents ray tracing. The system is solved using Newton's Method and Con tinuation Methods in the parameters-of the model. Also we use a random search to 190k for the- fust approximation of the-first ray of the equivalence class defined by the ray signature. In this way, we relate some concepts-finite Dynamical Systems with Ray Theory. The formulas that provide the value of the amplitude along a ray were extended from multi-Iayered models to multi-region models (seismic model partitioned in arbitrary sub-regions). In- particular, we find expressions for-the amplitudes along a ray for 2-.5D models in acoustic and elastic media. These formulas - were implemented for the construction of seismograms. We created and implemented a computationallibrary called OCTRAL, written in the interpretative language OCTAVE With the-algorithms implemented in OCTRAL, we, made different tests using as reference the- CSHOT libr-ary- of the public domain comput_tional package Seismic Unix (SU), developed and mantained by the Center for Wave Phenomena at the Colorado School of Mines. From the comparisons between OCTRAL and CSHOT, we conclude that OCTRAL and CSHOT, we conclude that OCTRAL is able to extend CSHOT to acoustic and elastic multi-region models, as required for more realistic applications / Doutorado / Doutor em Matemática Aplicada

Made available in DSpace on 2014-06-12T18:00:43Z (GMT). No. of bitstreams: 2 arquivo2344_1.pdf: 6337306 bytes, checksum: d4f4b9d8e5412202aafb5b8c22c0132c (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Avalanches neuronais são padrões espaço-temporais de atividade que ocorrem espontaneamente nas camadas superficiais do córtex mamífero sob várias condições experimentais. Estudos anteriores em fatias cerebrais e cultura de tecidos mostraram que a distribuição de tamanhos P(s) de avalanches neuronais obedece à uma relação de lei de potência: P(s) » s¡a , com expoente a '3=2. Isso é compatível com a idéia de que redes neuronais in vitro operam em regime crítico, mas pouco se sabe sobre as propriedades das avalanches neuronais in vivo. Nessa dissertação foi investigada a estatística das avalanches neuronais em registros extracelulares de potenciais de ação (disparos) obtidos de ratos cirurgicamente implantados com multi-eletrodos. Os animais foram continuamente registrados por várias horas ao longo do ciclo sono-vigília, antes, durante e depois de uma sessão de exploração de objetos novos. Também foram registrados animais sob efeito de anestesia. Em particular, procuramos assinaturas estatísticas nos registros in vivo que permitissem testar a hipótese de criticalidade no cérebro. Os dados foram divididos em bins temporais Dt. Uma avalanche foi definida como uma sequência de bins nos quais a atividade é não-nula. Realizamos análises estatísticas com respeito ao tamanho (número de disparos) s, a duração d e o intervalo t entre avalanches, para um dado Dt. Observamos que a estatística das avalanches neuronais varia de acordo com a fase do ciclo sono-vigília. Para qualquer fase, avalanches mais longas e maiores se tornam mais frequentes após a experiência de exploração. Encontramos distribuições de tamanhos que se assemelham à distribuição lognormal: P(s) » s¡1 exp[¡c(ln(s)¡b)2]. Estudamos um modelo de autômatos celulares excitáveis e mostramos que distribuições como essas podem ser obtidas em um sistema no ponto crítico quando há subamostragem. Ou seja, sistemas que exibem distribui ções de tamanhos do tipo lei de potência quando a medida das avalanches é realizada em todos os elementos da rede, apresentam distribuições que se assemelham à lognormal quando apenas uma pequena parte de seus elementos excitáveis é utilizada para fazer as medidas. Além disso, exploramos a dinâmica temporal e observamos que a família de distribuições de intervalos D(t ;sc) entre avalanches consecutivas com tamanho s ¸ sc obedecem a uma lei de escala: D(t ;sc) = R(sc)F(tR(sc)), onde R(sc) = ht i¡1 e F é uma função de escala. Os resultados são semelhantes às leis de escala encontradas em clarões solares (solar fiares), incêndios florestais, fraturas, terremotos e outros sistemas. A presença de lei de escala na dinâmica temporal do sistema é compatível com a idéia de criticalidade auto-organizada e foi encontrada nos mais diversos estados comportamentais, regiões do cérebro e períodos da experiência nos ratos estudados

Made available in DSpace on 2014-06-12T18:04:02Z (GMT). No. of bitstreams: 2 arquivo7714_1.pdf: 4073918 bytes, checksum: 21ba994f0f0b2392061b969389b1232f (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / A tuberculose é uma doença endêmica causada por uma bactéria aeróbica denominada Mycobacterium tuberculosis (Mtb). Ela é responsável pela infecção de um terço da popula ção mundial e causa 2,2 milhões de mortes anualmente. A infecção mais comum causada pela Mtb ocorre pela inalação dos microorganismos para os pulmões, onde eles infectam principalmente os macrófagos alveolares. Macrófagos infectados liberam citocinas que ativam a resposta imunológica específica que resulta no desenvolvimento de uma estrutura granulomatosa formada pelas células do sistema imune (macrófagos, células T e B) no sítio de infecção. Apesar de todos os esforços e estudos realizados até o presente, buscando entender a dinâmica de formação de granulomas, ainda não se conhece os mecanismos responsáveis pelo seu crescimento e estabilidade. Neste trabalho de tese nós introduzimos um modelo matemático, baseado na aproxima ção de autômatos celulares, para descrever a formação do granuloma como resposta imunológica a Mtb e as diferentes dinâmicas observadas na natureza para este processo. O modelo leva em conta as principais células envolvidas na resposta imune para a Mtb, bem como a ativação e/ou migração celular devido a sinalização de quimiocinas e citocinas. Dependendo da região do espaço de parâmetros, o modelo reproduz pelo menos um dos três tipos de dinâmicas observadas nos modelos animais: eliminação, contenção e disseminação. O modelo reproduz também resultados experimentais obtidos em experimentos realizados com camundongos: a evolução temporal da contagem de células T e de bactérias durante a dinâmica de contenção. Nesta tese também analisamos as características de uma rede complexa obtida em estudos anteriores, realizados por membros do nosso grupo, sobre o processo endêmico da tuberculose. Dois tipos de rede foram obtidos do estudo da correlação espaço-temporal entre os novos casos anuais de TB ocorridos em Olinda, uma cidade da região Nordeste do Brasil, durante dois períodos de cinco anos consecutivos: redes topológicas onde acontecem os processos endêmicos durante cada período e redes complexas com pesos, nas quais os pesos são atribuídos aos nodos e correspondem ao número de casos que ocorrem em cada nodo durante os cinco anos analisados. Do estudo do comportamento das quantidades usuais definidas para redes complexas, nós mostramos que as redes topológicas extraídas a partir dos processos endêmicos exibem as propriedades de redes mundo pequeno . Contudo quando nós associamos pesos aos nodos das redes, estas exibem propriedades de redes livres de escala

Made available in DSpace on 2014-06-12T18:29:22Z (GMT). No. of bitstreams: 2 arquivo5709_1.pdf: 2202199 bytes, checksum: a338be85dd7a402669330630b68e7d70 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Neste trabalho desenvolvelmos um modelo dinâmico espaço-temporal baseado em autômatos celulares estocásticos para simular a dinâmica de transmissão da dengue em uma comunidade densa. É um modelo que acopla as dinâmicas de humanos e mosquitos. Indivíduos e vetores são monitorados individualmente. Mosquitos vivem em residências específicas e fazem repasto sanguíneo de acordo com certa distribuição espacial. A população humana não é estruturada por idade. A mobilidade humana é levada em consideração e determina a época central e a duração da epidemia. O modelo é utilizado para estudar três questões relativas à dinâmica da dengue. A primeira é a sensibilidade da reprodutibilidade da infecção a diferentes parâmetros. A segunda é a viabiidade da transmissão viral durante períodos interepidêmicos. Uma análise de metapopulações é feita para estimar a probabilidade do vírus se extinguir em um grande centro urbano. A terceira é a hipótese da imunidade cruzada para diferentes sorotipos, considerando a entrada de dois sorotipos, inclusive simultaneamente

Submitted by Automação e Estatística (sst@bczm.ufrn.br) on 2018-07-30T13:28:52Z No. of bitstreams: 1 ValdigleisDaSilvaCosta_DISSERT.pdf: 14438862 bytes, checksum: 0296c1fddc9f8c42cbaf0336bdad7e55 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2018-07-30T22:29:06Z (GMT) No. of bitstreams: 1 ValdigleisDaSilvaCosta_DISSERT.pdf: 14438862 bytes, checksum: 0296c1fddc9f8c42cbaf0336bdad7e55 (MD5) / Made available in DSpace on 2018-07-30T22:29:06Z (GMT). No. of bitstreams: 1 ValdigleisDaSilvaCosta_DISSERT.pdf: 14438862 bytes, checksum: 0296c1fddc9f8c42cbaf0336bdad7e55 (MD5) Previous issue date: 2016-08-05 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / As linguagens formais definidas no final da década de 50, tem uma grande importância dentro da ciência da computação, em especial para aplicações em análise léxica e sintática dentro da construção dos compiladores e também em técnicas de inferência gramatical. A hierarquia estendida de Chomsky além de “organizar” as linguagens formais, nos possibilita traçar uma relação entre as classes de linguagens e os formalismos em termos de máquinas de estados (ou autômatos). Entre as classes de linguagens na hierarquia estão as linguagens lineares, para as linguagens desta classe existem no mínimo quatro tipos de “dispositivos”, que computam sobre elas. Entre eles estão os λ-autômatos lineares não-determinísticos propostos por Bedregal. Ao final da década de 60, Lee e Zadeh propuseram as linguagens fuzzy, numa tentativa de diminuir a distância entre as linguagens formais e as linguagens naturais. Por sua vez, Wee e Fu para capturar a noção de incerteza, durante o processo de reconhecimento de cadeias de uma linguagem, introduzem o conceito de autômatos fuzzy. Assim como na teoria clássica, podemos traçar uma relação entre as classes das linguagens fuzzy e os autômatos fuzzy. No entanto, diferente da teoria clássica, até o presente momento não existe nenhum autômato fuzzy concebido diretamente para computar sobre a classe das linguagens lineares fuzzy, isto é, que se relacione com as linguagens lineares fuzzy de forma direta. Portanto, este trabalho se propõe a realizar um estudo sobre a construção de autômatos fuzzy desenvolvidos para reconhecer as linguagens lineares fuzzy. Além disso, dado que dentro do estudo de linguagens formais, a investigação dos operadores de fecho sobre as classes de linguagens é um importante ponto, neste trabalho, iremos também investigar quais dos operadores (união, intersecção, etc) são fechados sobre as classes das linguagens lineares fuzzy. / Formal languages defined in the late 50’s play an important role in computer science, especially for applications in lexical and syntactic analysis in the construction of compilers and also in grammatical inference techniques. The extended Chomsky hierarchy in addition to “organize” formal languages, enables us to draw a relationship between the classes of languages and formalisms in terms of state machines (or automata). Among the languages classes in the hierarchy, one can find the linear languages. For such languages of this class, there are at least four types of “devices” performing computations on them. One can highlight the Nondeterministic Linear Automata, as proposed by Bedregal. In the end of the 60s, Lee and Zadeh proposed fuzzy languages in an attempt to decrease the distance between formal languages and natural languages. In turn, Wee and Fu capture the concept of uncertainty as they introduced the concept of fuzzy automata during the process of recognizing a language, similarly to the classical theory. Therefore, one can trace a relationship between the classes of fuzzy language and fuzzy automata. However, differently from the classical theory, up to now there is no designed fuzzy automata directly to compute on the class of fuzzy linear languages, i.e., relating to fuzzy linear languages directly. Therefore, this work aims to carry out a study on the construction of fuzzy automata developed to recognize the fuzzy linear languages. Furthermore, based on the study of formal languages, the investigation of the closure operators on languages classes is an important point; this work will also investigate which of the operators (union, intersection, etc.) are closed on the classes of fuzzy linear languages.

The problem of fault diagnosis has been widely discussed by the academic community using the theory of Discrete Event Systems. However, the application of this theory to real systems is a field where there is a lot to be explored. The problem proposed in this work is to diagnose permanent or intermittent failures in devices (sensors and actuators) belonging to stations of a didactic flexible manufacturing system, called Modular Production System - MPS, produced by Festo company. The objective will be achieved through a modeling and simulation that allow for future implementation in the system. Three methods will be presented on fault diagnosis written in UPPAAL software language which is based on the timed safety automata formalism, as proposed by ALUR and DILL (1994) and HENZINGER et al (1994). The first method is an implementation of TRIPAKIS (2002) diagnoser. The other two methods developed in this research are inspired by TRIPAKIS (2002) and are diagnosable by definitions presented in TRIPAKIS (2002) and I-diagnosability presented in Sampath et al. (1995). The strategies for fault detection include the use of a network of timed safety automata, composed of the automaton that describes the process behavior and the diagnosers automata for each type of failure. The diagnosers detect failures from the observation of delays of certain transitions in the automaton G (process) and isolate them through observations of the sensors states. Fault indicators events serve to announce failures and synchronize the automaton G with the diagnosers. / O problema do diagnóstico de falhas, utilizando a teoria de Sistemas a Eventos Discretos, tem sido largamente abordado pela comunidade acadêmica. Entretanto, a aplicação desta teoria a sistemas reais é um campo onde há muito a ser explorado. O problema proposto, neste trabalho, é o de diagnosticar falhas permanentes ou intermitentes de dispositivos (sensores e atuadores) pertencentes a estações de um sistema flexível de manufatura didático, denominado Sistema Modular de Produção - MPS, fabricado pela empresa Festo. Este objetivo será alcançado por meio de uma modelagem e simulação que permitam uma futura implementação no sistema. Serão apresentados três métodos para diagnóstico de falhas escritos na linguagem do software UPPAAL que se baseia no formalismo autômatos seguros temporizados, conforme proposto por ALUR e DILL (1994) e HENZINGER et al (1994). O primeiro método é uma implementação do diagnosticador proposto em TRIPAKIS (2002). Os outros dois métodos, elaborados nesta pesquisa, são inspirados no diagnosticador TRIPAKIS (2002) e são diagnosticáveis pelos critérios apresentados em TRIPAKIS (2002) e Idiagnosticabilidade conforme SAMPATH et al. (1995). As estratégias para detecção de falhas incluem a utilização de uma rede de autômatos seguros temporizados, composta pelo autômato que descreve o comportamento do processo e por autômatos diagnosticadores para cada tipo de falha. Os diagnosticadores detectam as falhas a partir da observação de atrasos de determinadas transições do autômato G (processo) e as isolam por meio de observações dos estados dos sensores. Eventos indicadores de falhas servem para anunciar falhas e sincronizar o autômato G com os diagnosticadores.

Abstração é um processo que consiste em encontrar similaridades em artefatos e omitir detalhes desnecessários em um particular momento. Em geral, tal processo resulta em simplificação, substituindo situações do mundo real complexas e excessivamente detalhadas por modelos compreensíveis que admitem resolução. Na computação, existem estilos de programação que fornecem ao programador uma visão particular sobre a organização e execução de um programa. Cada estilo viabiliza formas de representação e tratamento de abstrações aderentes ao conjunto de conceitos, valores, percepções e práticas compartilhadas por uma comunidade. Em particular, o fenômeno de reescrita de termos viabiliza transformações entre espaços de abstração. Como instância de tal fenômeno, macros constituem um padrão sintático que especifica uma transformação simbólica ou algorítmica sobre uma sequência de símbolos associada. Na ocorrência de uma instância de tal padrão sintático, este é substituído pela aplicação de sua transformação correspondente. Dada a importância da disponibilização de estruturas de representação mais convenientes às necessidades dos usuários, o objetivo principal desta tese é tratar da utilização de sistemas de reescrita como mecanismos de abstração em transformações textuais. Para tal, técnicas de projeto e aspectos de implementação de tais sistemas são apresentados, com enfoque em macros. / Abstraction is a process of finding similarities in artifacts and omitting unnecessary details at a particular moment. In general, such a process results in simplification, replacing complex and overly detailed real-world situations with understandable models that admit resolution. In computing, there are programming styles that give the programmer a particular insight into the organization and execution of a program. Each style enables forms of representation and treatment of abstractions adhering to the set of concepts, values, perceptions and practices shared by a community. In particular, the term rewriting phenomenon enables transformations along spaces of abstraction. As an instance of such a phenomenon, macros constitute a syntactic pattern that specifies a symbolic or algorithmic transformation over an associated symbol sequence. In the occurrence of an instance, the matched syntactic pattern is replaced by the application of its corresponding transformation. Given the importance of making representation structures more convenient to users\' needs, this thesis aims at addressing the use of rewriting systems as abstraction mechanics in textual transformations. To this end, design techniques and implementation aspects of such systems are presented, focusing on macros.