[PDF] Top 20 Volume 18: Graph Transformation and Visual Modeling Techniques 2009

... in graph transformation approaches [CMR + 97] as a convenient way to label graph items with types and to constrain the way in which items can be ...various graph-based approaches to software ... See full document

... (4) A programmer willing to invest more effort into optimisation should have the tools avail- able to implement more efficient transformations by reverting to lower-level primitives. The problem here is that requirement ... See full document

... the arrows begin, end and next. The empty list is represented by the endoarrow empty. The modification to the initial graph would be only the addition of one empty log object, i.e. one with a unique empty arrow. ... See full document

... Corresponding (geometric) transformations at the concrete level are very difficult to try to realise consistently, and this has not been managed in the literature. For example, there are different possible ways of ... See full document

... Framework (GMF) [GMF], MetaEdit+ [Met05], The Generic Modeling Environment (GME) [LBM07] and Tiger [EEHT05] to mention some. All of these meta-tools present their own ap- proach for handling and specifying the ... See full document

... between visual languages are often de- fined by typed, attributed graph transformation ...model transformation are given by type graphs (or meta models), and the relation between source and ... See full document

... a transformation thread requires the set of matches for a certain pattern, the pattern matcher call returns them immediately if the network is in a global fixpoint, or suspends the thread (but not others) until ... See full document

... model transformation rules does not imply a correct result, such that it is a model of the target ...model transformation also for the transformation of the operational semantics, which is given by ... See full document

... Abstract: In this paper, we present an interpreter for Story Diagrams working on Eclipse Modeling Framework (EMF) models. The interpreter provides a more flex- ible and, under certain circumstances, a more ... See full document

... To circumvent the following simplification, additional genetic and software engineering re- search is required. Our simulation only uses known promoters, so only known genes can be found. In real cells, polymerases react ... See full document

... the node components are drawn, i.e. start and end symbols, statements, and conditions. From their arrangement it is already quite clear which flowchart the user intends to create. However, still 8 arrows (two mouse ... See full document

... of transformation, to a common language, thus allowing the interoperability of diagrammatic transformations expressed with different ...a transformation to take place, but are not consumed, or that some ... See full document

... For widely used and highly relevant languages specific tool support is still implemented by hand. For instance, Gschwind et al. have proposed a set of powerful operations on business pro- cess models [GKW08]. Their ... See full document

... Abstract: We propose a scheme for rule amalgamation based on nested graph pred- icates. Essentially, we extend all the graphs in such a predicate with right hand sides. Whenever such an enriched nested predicate ... See full document

... Eclipse Modeling Framework (EMF) significantly contributes toward this ...behavioral modeling, ModGraph is an EMF-based tool based on a rule-based paradigm (graph transformation rules, which ... See full document

... Compensation concerns often crosscut other programming concerns and thus attempting to pro- gram compensations within the main flow of a program would clutter the program and also limit the expressivity of compensation ... See full document

... Since only two of the teams were maintaining knowledge maps, an alternative source of data was needed to compare and contrast risk between all four teams. The truck factor metric [ZSK + 10] was used for this purpose. ... See full document

... The behaviour of the system is modelled by the hypergraph transformation rules in Figure 5. Rules enterServer [leaveServer] allow a process to enter [leave] a server location. Both rules are inverse to each other ... See full document

... A LP (cf. Figure 3) is defined on top of a pattern-specific meta-model (PMM). It has one or more associated p-constraints (pattern-constraints), and each p-constraint consists of one predi- cate, which in turn has one or ... See full document

... system modeling, the need often arises to identify specific configurations within a complex model, and refer to them as a ...pattern-based modeling, especially of software systems, where several software ... See full document