61 Hits in 3.0 sec

Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin [chapter]

Kristopher Born, Thorsten Arendt, Florian Heß, Gabriele Taentzer
2015 Lecture Notes in Computer Science  
The critical pair analysis (CPA) can report all potential conflicts and dependencies of rule applications that may occur during model transformation processes.  ...  Rule-based model transformation approaches show two kinds of non-determinism: (1) Several rules may be applicable to the same model and (2) a rule may be applicable at several different matches.  ...  Our extension computes all potential conflicts and dependencies of a set of rules and reports them in form of critical pairs.  ... 
doi:10.1007/978-3-662-46675-9_11 fatcat:y3tm26dmznd3zggjwwrun2mezy

Search-Based Model Transformations with MOMoT [chapter]

Martin Fleck, Javier Troya, Manuel Wimmer
2016 Lecture Notes in Computer Science  
MOMoT is available as an open-source Eclipse plug-in providing a non-intrusive integration of the Henshin graph transformation framework and the MOEA search algorithm framework.  ...  search algorithms take care of orchestrating the set of transformation rules to find models best fulfilling the stated, potentially conflicting transformation goals.  ...  MOMoT is one of these emerging approaches and was first presented in [9] . It is based on Henshin [2] as base model transformation framework and MOEA 1 as base meta-heuristic search framework.  ... 
doi:10.1007/978-3-319-42064-6_6 fatcat:xwx7urpmcvf6ddahck33csusdu

An Algorithm for the Critical Pair Analysis of Amalgamated Graph Transformations [chapter]

Kristopher Born, Gabriele Taentzer
2016 Lecture Notes in Computer Science  
The algorithm is implemented for Henshin, a model transformation environment based on graph transformation concepts.  ...  In these situations, the concept of amalgamated transformation has been increasingly often used to model for each loops of rule applications which coincide in common core actions.  ...  of software systems [11] , analyzing conflicts and dependencies of model refactorings [17] as well as in aspect-oriented modeling [16] , and using conflict and dependency results to find the right  ... 
doi:10.1007/978-3-319-40530-8_8 fatcat:i4fgnlp3pfachcy2z3vy5rzufu

Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations [chapter]

Thorsten Arendt, Enrico Biermann, Stefan Jurack, Christian Krause, Gabriele Taentzer
2010 Lecture Notes in Computer Science  
Henshin is a new language and associated tool set for in-place transformations of EMF models.  ...  The Henshin transformation language uses pattern-based rules on the lowest level, which can be structured into nested transformation units with well-defined operational semantics.  ...  be further analyzed concerning conflicts and dependencies of rule applications as well as their termination.  ... 
doi:10.1007/978-3-642-16145-2_9 fatcat:klh76h4vqjhntji44euq2bgu7e

Probabilistic Timed Graph Transformation Systems [chapter]

Maria Maximova, Holger Giese, Christian Krause
2017 Lecture Notes in Computer Science  
We introduce the formal model of PTGTSs in this paper and present a mapping of models with finite state spaces to probabilistic timed automata (PTA) that allows to use the PRISM model checker to analyze  ...  To fill the identified gap, we propose Probabilistic Timed Graph Transformation Systems (PTGTSs) as a high-level description language that supports all the necessary aspects of structure dynamics, timed  ...  the number of conflict nodes based on the likelihood of unsuccessful connection attempts.  ... 
doi:10.1007/978-3-319-61470-0_10 fatcat:l43jzpsdpzhp3iikdgcbfyldba

Triple Graph Grammars in the Large for Translating Satellite Procedures [chapter]

Frank Hermann, Susann Gottmann, Nico Nachtigall, Hartmut Ehrig, Benjamin Braatz, Gianluigi Morelli, Alain Pierre, Thomas Engel, Claudia Ermel
2014 Lecture Notes in Computer Science  
The approach is implemented using the Eclipse-based graph transformation tool Henshin and has been successfully applied in a large industrial project with the satellite operator SES on the translation  ...  We evaluate the approach regarding requirements from the project and performance on a complete set of procedures of one satellite. 4 Awk Community: 5 In [15], we present a short overview  ...  This project is part of the Efficient Automation of Satellite Operations (EASO) project supported by the European Space Agency (ESA) 8 .  ... 
doi:10.1007/978-3-319-08789-4_9 fatcat:lygocqupfbge3jfwscxadu4nwm

Integration of smells and refactorings within the Eclipse modeling framework

Thorsten Arendt, Gabriele Taentzer
2012 Proceedings of the Fifth Workshop on Refactoring Tools - WRT '12  
Models are primary artifacts in model-based, and especially, in model-driven software development processes.  ...  In this paper, we present the integration of the two model quality tools EMF Smell and EMF Refactor.  ...  Acknowledgments We like to thank the anonymous reviewers for their valuable comments on the previous version of this paper.  ... 
doi:10.1145/2328876.2328878 dblp:conf/icse/ArendtT12 fatcat:o3q6ll527nb47b6omr6jatblne

Consistency-preserving edit scripts in model versioning

Timo Kehrer, Udo Kelter, Gabriele Taentzer
2013 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)  
It is based on graph transformation concepts [10] which can be exploited to reason about conflicts and dependencies between edit operations.  ...  We assume that edit operations are implemented using transformation rules in Henshin and refer to them as edit rules.  ... 
doi:10.1109/ase.2013.6693079 dblp:conf/kbse/KehrerKT13 fatcat:2add53sy5rhxjdsikocevgj2ue

What Algebraic Graph Transformations Can Do For Model Transformations

Gabriele Taentzer
2010 Electronic Communications of the EASST  
This paper focusses on the use of algebraic graph transformation concepts to specify and verify model transformations in MDD.  ...  Model transformations are key activities in model-driven development (MDD). A number of model transformation approaches have emerged for different purposes and with different backgrounds.  ...  Model transformation approaches based on graph transformation concepts are all rule-based techniques, but differ in the way rules are applied and how non-determinism in rule application is reduced or even  ... 
doi:10.14279/tuj.eceasst.30.438 dblp:journals/eceasst/Taentzer10 fatcat:n5xvdor3u5e57cqo43ivbws3uu

VMTL: a language for end-user model transformation

Vlad Acreţoaie, Harald Störrle, Daniel Strüber
2016 Journal of Software and Systems Modeling  
Two transformation rules are in conflict if one of them modifies the source model in a manner that affects the applicability of the other.  ...  Epsilon and Henshin were respectively selected as representing the main transformation paradigms in the MDE landscape: textual hybrid (mostly imperative) languages, and visual graph transformation-based  ... 
doi:10.1007/s10270-016-0546-9 fatcat:fso6jxaxpzedjkmf7fvztmk7fy

Searching for Optimal Models: Comparing Two Encoding Approaches

Stefan John, Alexandru Burdusel, Robert Bill, Daniel Strüber, Gabriele Taentzer, Steffen Zschaler, Manuel Wimmer
2019 Journal of Object Technology  
Two main options have been explored: a model-based encoding representing candidate solutions as models, and a rule-based encoding representing them as sequences of transformation rule applications.  ...  In the last years, combining SBSE and Model-Driven Engineering (MDE), where models and model transformations are treated as key artifacts in the development of complex systems, has become increasingly  ...  Henshin is a rule-based transformation language based on the paradigm of graph transformation.  ... 
doi:10.5381/jot.2019.18.3.a6 fatcat:wf7btuzs6ze4xpk72xduqsalku

A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation

Ulrike Golas, Enrico Biermann, Hartmut Ehrig, Claudia Ermel
2011 Electronic Communications of the EASST  
In this paper, we define an interpreter semantics for statecharts based on amalgamated graph transformation where rule schemes are used to handle an arbitrary number of transitions in orthogonal states  ...  Several different approaches to define the formal operational semantics of statecharts have been proposed in the literature, including visual techniques based on graph transformation.  ...  in the dependencies of actions and events.  ... 
doi:10.14279/tuj.eceasst.39.645 dblp:journals/eceasst/GolasBEE11 fatcat:7a6yunqhxjcjveb6gdo6trtp2q

Java Bytecode Verification with OCL Why, How and Whenc

Christoph Bockisch, Gabriele Taentzer, Nebras Nassar, Lukas Wydra
2020 Journal of Object Technology  
We are convinced that the declarative nature of model transformation rules allows the debugging and analyzing of bytecode manipulations in more details than classically done.  ...  of this meta-model, and show that basing bytecode manipulation on model transformation can provide more immediate guidance and feedback to the developer.  ...  HA 2936/4-2 and TA 294/13-2). We would also like to thank Mehmet Akşit, Arend Rensink and Bugra Yildiz for their contributions to early versions of our Java bytecode meta-model.  ... 
doi:10.5381/jot.2020.19.3.a13 fatcat:fndlb475ojabpkn6qxuhumwsfy

AGG 2.0 – New Features for Specifying and Analyzing Algebraic Graph Transformations [chapter]

Olga Runge, Claudia Ermel, Gabriele Taentzer
2012 Lecture Notes in Computer Science  
It offers several analysis techniques for graph transformation systems including graph parsing, consistency checking of graphs as well as conflict and dependency detection in transformations by critical  ...  The integrated development environment AGG supports the specification of algebraic graph transformation systems based on attributed, typed graphs with node type inheritance, graph rules with application  ...  The analysis features offered by AGG are also used by our graph transformation-based tools Tiger (a tool for generating visual editor and simulator plug-ins in Eclipse [2] ) and Henshin (an EMF model  ... 
doi:10.1007/978-3-642-34176-2_8 fatcat:5jsbx7mo5rgqdlof2dlsodqnnq

Survey and classification of model transformation tools

Nafiseh Kahani, Mojtaba Bagherzadeh, James R. Cordy, Juergen Dingel, Daniel Varró
2018 Journal of Software and Systems Modeling  
In this paper, we compare and evaluate the current model transformation tools based on a qualitative framework.  ...  We then classify, compare and evaluate the tools based on a number of facets, each one consisting of several attributes with the possibility of overlap.  ...  We also thank the anonymous reviewers for their valuable comments and suggestions in improving this report.  ... 
doi:10.1007/s10270-018-0665-6 fatcat:xo2spo3qynf5bnulmei3hioczi
« Previous Showing results 1 — 15 out of 61 results