graph based CASE tools
Volume 1: Graph Based Tools 2006
... 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 ...
13
Volume 54: Graph-Based Tools 2012
... A rule editor is an interactive (in our case visual) environment for creating model transformation rules. Thisis the first essential part of our implementation we will explain. The model trans- formation system we ...
13
Volume 54: Graph-Based Tools 2012
... the case of graphs, nested conditions are equivalently expressive to first order graph ...to graph constraints, which is a non-trivial task ...
13
Volume 32: Graph-Based Tools 2010
... start graph increases, with the exception of the car platooning example, in all the other examples rete-dfs’s speed performance surpasses the other two strategies, becoming more than three times faster in the ...
13
Volume 1: Graph Based Tools 2006
... existing tools and our own ...the case of an ...different tools as close as possible, e.g. by using directly the API of the graph transformation tool AGG and not its graphical ...
12
Volume 1: Graph Based Tools 2006
... a graph pattern within an application has an exponential worst-case complexity, so we sketch our idea for the optimization considering only the distributed query in Figure ...distributed graph ...
13
Volume 32: Graph-Based Tools 2010
... An important benefit of our approach is that it helps identifying recognition errors (besides syn- tax errors). Consider Fig. 11 as an example. A human can easily see that the sketched diagram is a structured business ...
15
Volume 54: Graph-Based Tools 2012
... Pattern Matching The goal of PM is to find a match of the LHS of the GP in the host graph. As mentioned before, PM is usually done stepwise by a form of local search: a partial match (defined by a set of bound ...
13
Volume 54: Graph-Based Tools 2012
... 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 ...
13
Volume 54: Graph-Based Tools 2012
... the case within the Eclipse Modeling Framework [SBPM09] ...Mod- Graph supports behavioral modeling of complex operations based upon graph ...use graph transformations whenever they are ...
13
Volume 1: Graph Based Tools 2006
... In case of exiplicit-state model checking, for this purpose it is imperative to be able to detect, as fast as possible, whether the target state of a newly computed transition has been encountered before during ...
12
Volume 32: Graph-Based Tools 2010
... be distributed easily over many cores on a single compute node, as well as over multiple compute nodes. The tool works on the basis of a vector representation of the states; the individual cores are assigned the task of ...
13
Volume 32: Graph-Based Tools 2010
... for graph rewriting-based model transformations has become a subject of research ...a case study in the application domain of mobile centric social ...of graph rewriting-based model ...
13
Volume 1: Graph Based Tools 2006
... the graph. In the case of the first, top-level rule, the user selects which elements from the input and output graphs are passed ...pattern graph of the ...
9
Volume 32: Graph-Based Tools 2010
... and which restrict the possible rule application sequences in a suitable way. The second exten- sion concerns the definition of application conditions for transformation rules. Such conditions may be nested as well, and ...
14
Volume 32: Graph-Based Tools 2010
... this case, the GTP is already complete, and the required time calculation rule can be deduced directly by adding the argument of the elapsed time event, ...the graph pattern and additional conditions match, ...
14
Volume 1: Graph Based Tools 2006
... A graph based environment usually provides a component to visualize the current host graph and to allow the application of rewrite ...a CASE tool which uses UML class diagrams for the ...
5
Volume 54: Graph-Based Tools 2012
... the case of a constraint, a live validation checks if the expression is of type ...the case of an assignment expression, it is checked whether the result is of the same type as the ...
7
Volume 54: Graph-Based Tools 2012
... TGG tools MOTE (model transformation engine) [GW09] and eMoflon [ALPS11] perform a compilation to the FUJABA tool suite [BGH + 05, Fuj12] for the execution of model ...the case for ...
13
Volume 32: Graph-Based Tools 2010
... in graph rewriting in MDE [15] as a model transformation ...attributed graph transformations (see e.g. [11][12][13][3][8]) mostly based on the algebraic data types to implement attribute ...the ...
14