[PDF] Top 20 Volume 4: Graph and Model Transformation 2006

... in model-based de- velopment, thus, there is a need for highly configurable model transformation ...the model transformation flexible and ...The Model-Driven Architecture offers ... See full document

... Refactoring is a software engineering technique that aims at enhancing the structure of object- oriented software while preserving its behavior. Hoffmann, Janssens, and Van Eetvelde have introduced cloning and expanding ... See full document

... in model-based software development, as the wide-spread use of UML and Petri nets ...the transformation of graphs plays a similar central role as term rewriting in the traditional case of textual ...of ... See full document

... the model transformation method that can create plug-ins from the concrete syntax ...The transformation control flow and the transformation rules were also presented in detail, including the ... See full document

... host graph if an appropriate node is used in the left-hand side of the transformation, and no adequate reference node is locally available, although an according remote node ...remote graph ... See full document

... formalisms. Graph transformations with negative application conditions have been long used [HHT96], but their termination prop- erties started to be investigated only ... See full document

... The graph transformation that will generate the Variant 2 Statechart will re- place the events for en(S) and ex(S) when necessary, but will not handle the condition ...the graph transformation ... See full document

... for graph grammars, which also offers simulation and analysis capabilities by certain criteria including termination and conflu- ence as the most important ...formal model transformation controlled ... See full document

... progressive transformation from very abstract Domain Specific (Visual) Language models to very concrete models in the form of executable code, optimists may hope to finally make some inroads on software ... See full document

... a model-based ...from graph transformation languages, and (b) generative concepts from platform modeling, like ’kernel ...of model transfor- mations, and which are then used to specify ... See full document

... In the current paper, we propose initial concepts (including a common representation for mod- els, metamodels and graph patterns in Section 2), data structures (Section 3) and experiments for incremental ... See full document

... Model transformation processes are nondeterministic in three ...in graph model components are nondeterministic as some rules may be applicable at several ...current model, and the only ... See full document

... Additionally, the language engineer will describe the expected behavior of that model in a precise, semi-formal way (more on that in the next section). Finally, executable test cases are generated from the example ... See full document

... of model driven architecture (MDA), a system is implemented by first speci- fying an abstract model, which is subsequently refined to executable ...by model transformations, which transform a source ... See full document

... Abstract: Graph transformation techniques have been applied successfully to the modelling of process calculi, for example for equipping them with a truly concurrent ...of graph-based models, in order ... See full document

... A Graph Trans- formation System is abstracted by ignoring certain structure in a graph and used to define a Petri Net to represent the number of elements of a certain ... See full document

... from model-to-text transforma- ...While model-to-model transformation approaches such as QVT [QVT], ATL [EMP] and graph transformation-based approaches [SNZ08] like Atom3 [LV02], ... See full document

... and transformation can support agile software ...correct transformation of complete and running ...of graph transformation are still very different 4 In order to produce some remarkable ... See full document

... and transformation systems had been developed in the past mainly from the language and the process specification point of view [Roz97], but data types had to be handled separately by algebraic specification ... See full document

... a model and about the activities constituent for model use, namely the activities implied by modelling and model ...good model and what does ...of model and modelling, and are also ... See full document