[PDF] Top 20 Volume 54: Graph-Based Tools 2012

... aforementioned tools all specify a MT via declarative, rule-based de- scriptions of graph rewriting ...of graph pattern (GP) notion, which is referred to as the left-hand side (LHS) of a GT ... See full document

... The most important aspects of R E C ON N ET are reflected in its graphical user interface. There are two different areas for nets and rules, underlining the importance of both those constructs. The user can basically ... See full document

... existing tools for model transformation [GHL12] and conformance testing of model transformations [HLG + 12] based on Triple Graph Grammars [Sch94] to consider metamodel constraints, focusing on ... See full document

... Abstract: MetaEdit+is a commercial tool by MetaCase for creating domain- specific, syntax-directed visual modelling environments. MetaEdit+synthesizes such environments from user-provided metamodels and contains a ... See full document

... Mod- Graph supports behavioral modeling of complex operations based upon graph ...use graph transformations whenever they are helpful to describe complex operations on EMF model instances in a ... See full document

... triple graph grammars ...triple graph rules are represented as H ENSHIN rules and can be simulated using the H ENSHIN EMF model transforma- tion ...the graph transformation analysis tool AGG allows a ... See full document

... with graph transformation rules in which programs can be as efficient as programs in imperative ...enables graph transforma- tion rules to be matched in constant time, provided that host graphs have a ... See full document

... Currently assignments in EMorF model-to-model transformation rules must be specified for each transformation direction seperately. This is different to the specification in [Sch94], where the assignments are derived from ... See full document

... We have recently improved GROOVE based on this insight. It turns out that, with respect to Table 4, 50–100% of the equal graphs are due to such “confluent diamonds”. Since we can then omit even the computation of ... See full document

... start graph of the automata syntax grammar, the abstract syntax can be defined in the abstract syntax panel to the right ( 2 in Figure 4), where the abstract syntax of the automata alphabet is ... See full document

... Assumption. We assume that h C , M i is a weak adhesive HLR category with a decidable set M , binary coproducts, epi- M -factorization, an M -initial object, i.e., there is an object I such that, for every object G in C ... See full document

... The challenge we are facing with our approach for static source code analysis is how to statically test functional aspects of Java programs that are coded in a very restrictive context. The main idea of our approach is ... See full document

... the graph model, corresponding nodes are added to the instance ...instance graph if an arrow component is added to the graph ...instance graph that correspond to the two associations of the ... See full document

... model based approach to software engineer- ...of graph transforma- tions [EER96]. Since graph transformations are grounded in mathematical concepts, we can use them to formally specify the intended ... See full document

... Shock-aging The move flexibility of a single node depends highly on its age, but even more on the adjacent nodes with their attractive forces to their neighbors. If one node is taken away, its former neighbors have ... See full document

... various tools by allowing to generate suitable analysis and integration tools helping to understand and interpret [R¨ot04] the available data and keeping distributed data consistent across tool boundaries ... See full document

... A graph based environment usually provides a component to visualize the current host graph and to allow the application of rewrite ...of graph schemata and so called story diagrams to model ... See full document

... our graph model, we consider only larger code parts, such as subroutines, signal entries, and variable declarations, and go into detail only when necessary, for example when dealing with statements sending ...the ... See full document

... The code generated requires some special functionality which has to be provided by the under- lying infrastructure. This functionality can be subsumed under the following four requirements: (1) The runtime state of each ... See full document

... a graph transformation tool set whose main purpose is the state space exploration of graph transformation systems (also referred to as graph production systems or graph ...of graph ... See full document