70,159 Hits in 6.2 sec

A Comparison of Rule Inheritance in Model-to-Model Transformation Languages [chapter]

Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger, Dimitris Kolovos, Richard Paige, Marius Lauder, Andy Schürr, Dennis Wagelaar
2011 Lecture Notes in Computer Science  
In this paper, we propose a comparison framework for rule inheritance in declarative model-to-model transformation languages, and provide an in-depth evaluation of three prominent representatives thereof  ...  The framework provides criteria for comparison along orthogonal dimensions, covering static aspects, which indicate whether a set of inheriting transformation rules is well-formed at compiletime, and dynamic  ...  Comparison of Transformation Languages In this section we use the criteria introduced in the previous sections to compare inheritance support in model-to-model transformation languages.  ... 
doi:10.1007/978-3-642-21732-6_3 fatcat:jyqlokz33jdpdd4skfndt7byum

Surveying Rule Inheritance in Model-to-Model Transformation Languages

Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Werner Schwinger, Dimitris Kolovos, Richard Paige, Marius Lauder, Andy Schürr, Dennis Wagelaar
2012 Journal of Object Technology  
In this paper, we propose a comparison framework for rule inheritance in model-to-model transformation languages, and provide an in-depth evaluation of prominent representatives of imperative, declarative  ...  Model transformations play a significant role in Model-Driven Engineering. However, their reuse mechanisms have yet to receive much attention.  ...  Comparison of Transformation Languages In this section, we use the criteria introduced in the previous sections to compare inheritance support in model-to-model transformation languages.  ... 
doi:10.5381/jot.2012.11.2.a3 fatcat:ewxbrdx3c5hdpo4hwzi4sqph24

Programming language criteria for model transformation evaluation

Leila Samimi-Dehkordi, Alireza Khalilian, Bahman Zamani
2014 2014 4th International Conference on Computer and Knowledge Engineering (ICCKE)  
However, a major problem is the lack of an effective and comprehensive technique for assessment and comparison of model transformation approaches.  ...  One integral concept of this paradigm is model-to-model transformation which can be used in different levels of abstraction.  ...  A comparison of Epsilon Flock to other model migration languages has been performed by Rose et al.  ... 
doi:10.1109/iccke.2014.6993469 fatcat:e2bjfsew6bfyxcye5it5mywigi

Model comparison

Dimitrios S. Kolovos, Richard F. Paige, Fiona A.C. Polack
2006 Proceedings of the 2006 international workshop on Global integrated model management - GaMMa '06  
We derive requirements for a model comparison solution incrementally, and demonstrate a concrete rule-based model comparison approach we have developed in the context of a generic model merging language  ...  . a definition and derive requirements for model comparison incrementally and propose a rule-based approach, with tool support, for comparing models of arbitrary languages and technologies.  ...  RULE-BASED MODEL COMPARISON Having defined the requirements and benefits of model comparison, in this section we present a concrete metamodelagnostic and technology-independent rule-based comparison language  ... 
doi:10.1145/1138304.1138308 fatcat:wt4d7rh65bhvvfbp246oc44j3a

Towards a comparative analysis of meta-metamodels

Heiko Kern, Axel Hummel, Stefan Kühne
2011 Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11 - SPLASH '11 Workshops  
A cornerstone in Domain-Specific Modeling is the definition of modeling languages. A widely used method to formalize domain-specific languages is the metamodeling approach.  ...  Fortunately, there are a huge number of metamodeling languages. This variety leads to two problems: the selection of a metamodeling language and the interoperability between metamodeling tools.  ...  Relating to the interoperability problem, the comparison enables the development of abstract transformation rules between metamodeling concepts.  ... 
doi:10.1145/2095050.2095053 dblp:conf/oopsla/KernHK11 fatcat:qxmwl6i7hjgazohn33gw4lvxbe

Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation [chapter]

Roswitha Bardohl, Hartmut Ehrig, Juan de Lara, Gabriele Taentzer
2004 Lecture Notes in Computer Science  
Visual languages (VLs) play a central role in modelling various system aspects.  ...  Defining a VL by a graph grammar, the constructive way is followed where graphs describe the abstract syntax of models and graph rules formulate the language grammar.  ...  In this way, the inheritance concept can be mapped to the semantics defined in this work, as AToM 3 can be configured to work in the Double Pushout approach. Comparison of Both Approaches.  ... 
doi:10.1007/978-3-540-24721-0_16 fatcat:4ocviigkhjds3mowyl5mcc6kw4

Transforming Models with ATL [chapter]

Frédéric Jouault, Ivan Kurtev
2006 Lecture Notes in Computer Science  
This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation language that allows both declarative and imperative constructs to be used in transformation definitions.  ...  The paper describes the language syntax and semantics by using examples. ATL is supported by a set of development tools such as an editor, a compiler, a virtual machine, and a debugger.  ...  In this pattern a source model Ma is transformed into a target model Mb according to a transformation definition mma2mmb.atl written in the ATL language. The transformation definition is a model.  ... 
doi:10.1007/11663430_14 fatcat:pkyggbrfmjf2fkveegpn3omrvq

UML and SystemC – A Comparison and Mapping Rules for Automatic Code Generation [chapter]

Per Andersson, Martin Höst
2008 Lecture Notes in Electrical Engineering  
We investigate the automation of this process, specifically we are looking at automatic UML to SystemC transformation. In this paper we compare UML and SystemC, focusing on communication modelling.  ...  Today embedded system development is a complex task. To aid the engineers new methodologies and languages are emerging.  ...  The purpose of the comparison is to find and motivate mapping rules for automatic SystemC code generation from UML.  ... 
doi:10.1007/978-1-4020-8297-9_14 fatcat:qejie2i4gzcepanxqw4wfzefr4

From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing - [chapter]

Justyna Zander, Zhen Ru Dai, Ina Schieferdecker, George Din
2005 Lecture Notes in Computer Science  
The transformation rules between the source U2TP meta-model to the target TTCN-3 meta-model are given.  ...  The approach towards system engineering according to Model-Driven Architectures (MDA) with code generation derived from model implies also an increased need for research on automation of the test generation  ...  Last but not least, a further aim will be to consider also the generation of PSTs from PITs and/or from platform-specific system models (PSMs).  ... 
doi:10.1007/11430230_20 fatcat:bcm2b5lagvaghfh6ttq46duzjm

From the Heterogeneity Jungle to Systematic Benchmarking [chapter]

M. Wimmer, G. Kappel, A. Kusel, W. Retschitzegger, J. Schoenboeck, W. Schwinger
2011 Lecture Notes in Computer Science  
Up to now, it has been unclear which kinds of heterogeneity must be resolved in model-to-model transformations.  ...  On the basis of this classification, a set of benchmark examples was derived and used to evaluate current approaches to the specification of model transformations.  ...  Among the transformation languages evaluated were ATL 7 , a representative of hybrid rule-based transformation languages, and AGG 8 , a declarative graph-based transformation language.  ... 
doi:10.1007/978-3-642-21210-9_15 fatcat:xxe5wd553ranbnm33xghw2gpzi

A Catalogue of Refactorings for Model-to-Model Transformations

Manuel Wimmer, Salvador Martínez, Frédéric Jouault, Jordi Cabot
2012 Journal of Object Technology  
In particular, we present a dedicated catalogue of refactorings for improving the quality of M2M transformations.  ...  This paper tackles this limitation by adapting the notion of refactorings to model-to-model (M2M) transformations.  ...  Acknowledgments We would like to thank Marcel F. van Amstel for providing us the ATL2Metrics transformations which have been used for the computation of metric values for the different versions of the  ... 
doi:10.5381/jot.2012.11.2.a2 fatcat:2da4c2djcfenhc5rjzx4cb5koa

On formalizing EMF modeling operations with graph transformations

Petra Brosch, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl
2012 Software engineering notes  
The development of software in accordance with the modeldriven engineering paradigm places model transformations at a central position.  ...  In this paper, we show how to unite the properties of the two different approaches.  ...  In contrast to Emo, the transformations of MT-Scribe are not derived by a state-based comparison of initial and revised model, but by recording the changes.  ... 
doi:10.1145/2237796.2237810 fatcat:2v3j26lh5fcvpjse34bnsvrexq

Formal Definition of a General Ontology Pattern Language using a Graph Grammar

Eduardo Zambon, Giancarlo Guizzardi
2017 Proceedings of the 2017 Federated Conference on Computer Science and Information Systems  
In recent years, there has been a growing interest in the use of ontological theories in the philosophical sense (Foundational Ontologies) to analyze and (re)design conceptual modeling languages.  ...  We here (re)define OntoUML as a formal graph grammar and demonstrate how the models of this language can be constructed by the combined application of ontological patterns following a number of graph transformation  ...  In other words, in comparison to the current definition of OntoUML's abstract syntax (in terms of a UML 2.0 meta-model with associated OCL constraints), the implementation of this language in the manner  ... 
doi:10.15439/2017f001 dblp:conf/fedcsis/ZambonG17 fatcat:j7dj4otdajadbivfxp4bqd5ipy

A survey of model transformation design patterns in practice

Kevin Lano, Shekoufeh Kolahdouz-Rahimi, Sobhan Yassipour-Tehrani, Mohammadreza Sharbaf
2018 Journal of Systems and Software  
Model transformation design patterns have been proposed by a number of researchers, but their usage appears to be sporadic and sometimes patterns are applied without recognition of the pattern.  ...  In this paper we provide a systematic literature review of transformation design pattern applications.  ...  Rule inheritance is supported, as is a form of transformation inheritance/superposition.  ... 
doi:10.1016/j.jss.2018.03.001 fatcat:32b56svlwrawzc2l5xhoamgjsq

Semi-automatic model integration using matching transformations and weaving models

Marcos Didonet Del Fabro, Patrick Valduriez
2007 Proceedings of the 2007 ACM symposium on Applied computing - SAC '07  
In this paper we propose a novel approach that uses matching transformations and weaving models to semi-automate the development of transformations.  ...  Matching transformations are a special kind of transformations that implement heuristics and algorithms to create weaving models.  ...  For instance, one of the most common patterns of declarative transformation rules is to match one class in a source model and to create a new class in a target model.  ... 
doi:10.1145/1244002.1244215 dblp:conf/sac/FabroV07 fatcat:4ze3bpaim5ajfo2rdpxcwimxyq
« Previous Showing results 1 — 15 out of 70,159 results