Results 21 to 30 of about 2,840 (305)
An 00 visual language definition approach supporting multiple views [PDF]
, 2000 The formal approach to visual language definition is to use graph grammars and/or graph transformation techniques. These techniques focus on specifying the syntax and manipulation rules of the concrete representation. This paper presents a constraint and
I.E.E.E. Computer Society +1 more
core +1 more source
Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Aspect-orientation is a relatively new paradigm that introduces abstractions to modularize the implementation of system-wide policies. It is based on a composition operation, called aspect weaving, that implicitly modifies a base system by performing ...
Rodrigo Machado +2 more
doaj +1 more source
Towards a Maude tool for model checking temporal graph properties [PDF]
, 2011 We present our prototypical tool for the verification of graph transformation systems. The major novelty of our tool is that it provides a model checker for temporal graph properties based on counterpart semantics for quantified m-calculi.
Lluch-Lafuente, Alberto +4 more
core +2 more sources
Path querying on acyclic graphs using Boolean grammars
Труды Института системного программирования РАН, 2019 Graph data models are widely used in different areas of computer science such as bioinformatics, graph databases, social networks and static code analysis. One of the problems in graph data analysis is querying for specific paths.
Ekaterina Nikolaevna Shemetova +1 more
doaj +1 more source
Ordered Tree Decomposition for HRG Rule Extraction [PDF]
Computational Linguistics, 2019 We present algorithms for extracting Hyperedge Replacement Grammar (HRG) rules from a graph along with a vertex order. Our algorithms are based on finding a tree decomposition of smallest width, relative to the vertex order, and then extracting one rule ...
Daniel Gildea +2 more
doaj +1 more source
Component-based Systems Reconfigurations Using Graph Grammars
Моделирование и анализ информационных систем, 2016 Dynamic reconfigurations can modify the architecture of component-based systems without incurring any system downtime. In this context, the main contribution of the present article is the establishment of correctness results proving component-based ...
O. Kouchnarenko, J.-F. Weber
doaj +1 more source
Heuristic Search for the Analysis of Graph Transition Systems [PDF]
, 2006 Graphs are suitable modeling formalisms for software and hardware systems involving aspects such as communication, object orientation, concurrency, mobility and distribution.
Lluch-Lafuente, Alberto +5 more
core +1 more source
Grammar-based graph compression [PDF]
Information Systems, 2018 We present a new graph compressor that works by recursively detecting repeated substructures and representing them through grammar rules. We show that for a large number of graphs the compressor obtains smaller representations than other approaches.
Sebastian Maneth, Fabian Peternek
openaire +2 more sources
Quasi context sensitive graph grammars as a formal model of FE mesh generation
Computer Assisted Methods in Engineering and Science, 2023 Mathematical linguistics models that can be useful for controlling FE mesh generation are presented in the paper. The problems concerning an application of formal grammars for this purpose are outlined.
Mariusz Flasiński, Robert Schaefer
doaj
Interpreted Graphs and ETPR(k) Graph Grammar Parsing for Syntactic Pattern Recognition
Machine Graphics & Vision, 2018 Further results of research into graph grammar parsing for syntactic pattern recognition (Pattern Recognit. 21:623-629, 1988; 23:765-774, 1990; 24:1223-1224, 1991; 26:1-16, 1993; 43:249-2264, 2010; Comput. Vision Graph. Image Process.
Mariusz Flasiński
doaj +1 more source