Gramatica Grafos
Mostrando 1-12 de 16 artigos, teses e dissertações.
-
1. Higher-order graph rewriting systems / Sistemas de reescrita de grafos de alta ordem
Programas sofrem diversas modificações ao longo das etapas de desenvolvimento, implantação e manutenção. A evolução de um software pode ter várias causas: correção de erros, inclusão de novas funcionalidades ou até mesmo, como é o caso de programas orientados a aspecto, transformações estruturais podem fazer parte da semântica do sistema. Ap
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 2012
-
2. Formalização de uma linguagem visual para descrição de sistemas biológicos / Formalization of a visual language to specify biological pathways
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 po
Publicado em: 2011
-
3. Relational approach of graph grammars / Abordagem relacional de gramática de grafos
Gramática de grafos é uma linguagem formal bastante adequada para sistemas cujos estados possuem uma topologia complexa (que envolvem vários tipos de elementos e diferentes tipos de relações entre eles) e cujo comportamento é essencialmente orientado pelos dados, isto é, eventos são disparados por configurações particulares do estado. Vários siste
Publicado em: 2010
-
4. Um editor orientado por estrutura para linguagens diagramaticas
Este trabalho introduz uma nova abordagem na construção de editores para linguagens diagramáticas como as usadas na engenharia de software (por exemplo diagrama de fluxo de dados e diagrama de Nassi-Shneiderman). Esta nova abordagem tem por base a construção do editor a partir da descrição da linguagem diagramática no formalismo chamado gramática de
Publicado em: 2010
-
5. Gramáticas de formas como modelo computacional teórico : o poder computacional de gramáticas de formas comparado a outros modelos computacionais teóricos, como máquina de Turing e gramática generativa de Chomsky
Gramáticas de formas têm sido as principais ferramentas para o estudo envolvendo linguagens de design, permitindo os processos de análise e de síntese sobre elementos de desenho, servindo em última instância para a concepção e manipulação de estilos estéticos específicos. Comparado a outros modelos generativos, especialmente os simbólicos como a
Publicado em: 2010
-
6. An external memory algorithm for listing triangles / Um algoritmo de memória externa para listagem de triângulos
Este trabalho propõe um novo algoritmo de memória externa para contagem e listagem de triângulos em grafos massivos. Outra grande contribuição é uma melhor análise do algoritmo de listagem de triângulos de memória externa proposto por Roman Dementiev [8]. Além disso, há uma revisão bibliográfica das soluções (tanto para memória interna, quant
Publicado em: 2010
-
7. Transactional graph transformation systems / Sistemas de transformação de grafos transacionais
Em contraste aos sistemas transformacionais, sistemas reativos são caracterisados por reagir continuamente a estímulos provinientes seu ambiente. Além da reatividade, se considerarmos que muitas aplicações requerem métodos de especificação que possibilitam descrever a distribuição espacial dos estados, sistemas de transformação de grafos parecem
Publicado em: 2009
-
8. Parallel composition and unfolding semantics of graph grammars
The main aims of this thesis are to provide an approach to the parallel composition of graph grammars and a semantics for graph grammars, called the unfolding semantics, in which the aspects of concurrency and compositionality with respect to the parallel composition play a central role. The parallel composition of graph grammar allows the composition of gra
Publicado em: 2009
-
9. Algoritmos para Interoperabilidade entre Ontologias / ALGORITHMS FOR ONTOLOGIES INTEROPERABILIT
Nowadays the interest for the theme ontologies has steadily increased, as it aims at to capture consensual knowledge between people and applications, allowing reusing and sharing information. With this purpose, mechanisms are demanded to guarantee semantic interoperability, that is, the identification and compatibility of information. The present study propo
Publicado em: 2008
-
10. Specification of real-time systems with graph grammars
Publicado em: 2007
-
11. Object-oriented graph grammars
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 (hip
Publicado em: 2007
-
12. Representação e Anáilse de Gramáticas de Grafos
Os sistemas computacionais estão tomando proporções cada vez maiores envolvendo situações bastante complexas, onde muitas vezes erros são inaceitáveis, como em sistemas bancários, sistemas de controle de tráfego aéreo, etc... Para obter software confiável e com desempenho aceitável, pode-se aliar técnicas de desenvolvimento formal de software a
Publicado em: 2007