A survey of visual language specification and recognition
Visual language theory
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Confluence of Typed Attributed Graph Transformation Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Specification of Graph Translators with Triple Graph Grammars
WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
MDA Distilled
Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets
IEEE Transactions on Computers
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Attributed graph transformation with node type inheritance
Theoretical Computer Science
Model transformation by example
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Model transformations? transformation models!
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Termination analysis of model transformations by petri nets
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Transformation-Based Operationalization of Graph Languages
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude
Software Language Engineering
Behavior, Time and Viewpoint Consistency: Three Challenges for MDE
Models in Software Engineering
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Verification of DSMLs using graph transformation: a case study with Alloy
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
Simulating domain specific visual models by observation
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Automatic generation of model traversals from metamodel definitions
Proceedings of the 48th Annual Southeast Regional Conference
Leveraging model-based tool integration by conceptual modeling techniques
The evolution of conceptual modeling
Catch me if you can – debugging support for model transformations
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
On the specification of non-functional properties of systems by observation
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Model-driven performance analysis of rule-based domain specific visual models
Information and Software Technology
Specification and simulation of queuing network models using Domain-Specific Languages
Computer Standards & Interfaces
Hi-index | 0.00 |
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph transformation rules. The approach is geared to the generation of transformations from Domain-Specific Visual Languages (DSVLs) into semantic domains with an explicit notion of transition, like for example Petri nets. The generated transformation is expressed in the form of operational triple graph grammar rules that transform the static information (initial model) and the dynamics (source rules and their execution control structure). We illustrate these techniques with a DSVL in the domain of production systems, for which we generate a transformation into Petri nets.