Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools
The Category of Typed Graph Grammars and its Adjunctions with Categories
Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science
AGG: A Tool Environment for Algebraic Graph Transformation
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Toward a semantic anchoring infrastructure for domain-specific modeling languages
Proceedings of the 5th ACM international conference on Embedded software
ATL: a QVT-like transformation language
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Attributed graph transformation with node type inheritance
Theoretical Computer Science
Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Enforced generative patterns for the specification of the syntax and semantics of visual languages
Journal of Visual Languages and Computing
The Epsilon Transformation Language
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Generic and reflective graph transformations for checking and enforcement of modeling guidelines
Journal of Visual Languages and Computing
Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Improving reusability of dynamic meta modeling specifications with rule overriding
VLHCC '09 Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)
A Graph-based Semantics For Object-oriented Programming Constructs
Electronic Notes in Theoretical Computer Science (ENTCS)
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Analysis of UML activities using dynamic meta modeling
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Nested quantification in graph transformation rules
ICGT'06 Proceedings of the Third international conference on Graph Transformations
MOFLON: a standard-compliant metamodeling framework with graph transformations
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Model checking dynamic states in GROOVE
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
A visual token-based formalization of BPMN 2.0 based on in-place transformations
Information and Software Technology
Hi-index | 0.00 |
Dynamic Meta Modeling (DMM) is a visual semantics specification technique targeted at languages based on a metamodel. A DMM specification consists of a runtime metamodel and operational rules which describe how instances of the runtime metamodel change over time. A known deficiency of the DMM approach is that it does not support the refinement of a DMM specification, e.g., in the case of defining the semantics for a refined and extended domain-specific language (DSL). Up to now, DMM specifications could only be reused by adding or removing DMM rules. In this paper, we enhance DMM such that DMM rules can override other DMM rules, similar to a method being overridden in a subclass, and we show how rule overriding can be realized with the graph transformation tool GROOVE. We argue that rule overriding does not only have positive impact on reusability, but also improves the intuitive understandability of DMM semantics specifications.