KidSim: programming agents without a programming language
Communications of the ACM
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Application of graph transformation to visual languages
Handbook of graph grammars and computing by graph transformation
Feature-based survey of model transformation approaches
IBM Systems Journal - Model-driven software development
Attributed graph transformation with node type inheritance
Theoretical Computer Science
Towards Model Transformation Generation By-Example
HICSS '07 Proceedings of the 40th Annual Hawaii International Conference on System Sciences
The model transformation language of the VIATRA2 framework
Science of Computer Programming
Verification of Architectural Refactorings: Rule Extraction and Tool Support
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Model Transformation by Demonstration
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
A Systematic Approach to Metamodeling Environments and Model Transformation Systems in VMTS
Electronic Notes in Theoretical Computer Science (ENTCS)
A Taxonomy of Model Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Graph Transformation in a Nutshell
Electronic Notes in Theoretical Computer Science (ENTCS)
On the usage of concrete syntax in model transformation rules
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Henshin: advanced concepts and tools for in-place EMF model transformations
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Ensuring structural constraints in graph-based models with type inheritance
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Formal foundation of consistent EMF model transformations by algebraic graph transformation
Software and Systems Modeling (SoSyM)
Formal verification techniques for model transformations specified by-demonstration
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Hi-index | 0.00 |
The development of software in accordance with the model-driven engineering paradigm places model transformations at a central position. Desirable yet contradicting properties of model transformations are user-friendliness as offered by-demonstration approaches and formal conciseness as provided by algebraic graph transformations which is indispensable for verification tasks. In this paper, we show how to unite the properties of the two different approaches. We employ the state-of-the-art by-demonstration environment Emo to prototype graph transformations by embedding the operations obtained from Emo in the formal framework of graph transformation theory.