A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin
[chapter]
2015
Lecture Notes in Computer Science
Preserved Fulltext
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]
2016
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2016
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2017
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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: http://awk.info/ 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
2012
Proceedings of the Fifth Workshop on Refactoring Tools - WRT '12
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2010
Electronic Communications of the EASST
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2016
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2019
Journal of Object Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2011
Electronic Communications of the EASST
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2020
Journal of Object Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2018
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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