Hausmann JH, Heckel R and Sauer S (2004), "Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams", Software and Systems Modeling., August, 2004. Vol. 3(3), pp. 181-193.
Abstract: UML offers different diagram types to model behavior and dynamics of software systems. In some domains like embedded real-time systems or multimedia systems, it is necessary to include specifications of time since the correctness of these applications depends on the fulfillment of temporal requirements in addition to functional requirements. UML thus already incorporates language features to model time and temporal constraints. Such model elements must have an equivalent in the semantic domain. We have proposed Dynamic Meta Modeling (DMM) as a means for the specification of the formal operational semantics of UML models by applying graph transformation to the meta modeling of dynamic behavior. Within this paper, we extend this approach to also account for time by building on timed graph transformations. We apply these concepts to the domain of multimedia application modeling in which we adopt UML sequence diagrams. The DMM rules with time then specify an interpreter that can be used to analyze or test a model of multimedia sequence diagrams.
BibTeX:
@article{HHS04SoSym,
  author = {Jan Hendrik Hausmann AND Reiko Heckel AND Stefan Sauer},
  title = {Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams},
  journal = {Software and Systems Modeling},
  year = {2004},
  volume = {3},
  number = {3},
  pages = {181--193},
  doi = {http://link.springer.com/article/10.1007%2Fs10270-003-0045-7}
}
Soltenborn C and Engels G (2011), "Using Rule Overriding to Improve Reusability and Understandability of Dynamic Meta Modeling Specifications", Journal of Visual Languages and Computing. Vol. 22(3), pp. 233-250.
Abstract: 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.
BibTeX:
@article{SE2010,
  author = {Christian Soltenborn AND Gregor Engels},
  title = {Using Rule Overriding to Improve Reusability and Understandability of Dynamic Meta Modeling Specifications},
  journal = {Journal of Visual Languages and Computing},
  year = {2011},
  volume = {22},
  number = {3},
  pages = {233--250},
  doi = {http://www.sciencedirect.com/science/article/pii/S1045926X10000807}
}