Soltenborn C (2013), "Quality Assurance with Dynamic Meta Modeling". Thesis at: University of Paderborn.
Abstract: Dynamic Meta Modeling (DMM) is a semantics specification technique targeted at MOF-based modeling languages, where a language's behavior is defined by means of graphical operational rules which change runtime models. The DMM approach has first been suggested by Engels et al. in 2000; Hausmann has then defined the DMM language on a conceptual level within his PhD thesis in 2006. Consequently, the next step was to bring the existing DMM concepts alive, and then to apply them to different modeling languages, making use of the lessons learned to improve the DMM concepts as well as the DMM tooling. The result of this process is the DMM++ method, which is presented within this thesis. Our contributions are three-fold: First, and according to our experiences with the DMM language, we have introduced new concepts such as refinement by means of rule overriding, and we have strengthened existing concepts such as the dealing with universally quantified structures or attributes. Second, we have developed a test-driven process for semantics specification: A set of test models is created, and their expected behavior is fixed. Then, the DMM rules are created incrementally, finally resulting in a DMM ruleset realizing at least the expected behavior of the test models. Additionally, we have defined a set of coverage criteria for DMM rulesets which allow to measure the quality of a set of test models. Third, we have shown how functional as well as non-functional requirements can be formulated against models and their DMM specifications. The former is achieved by providing a visual language for formulating temporal logic properties, which are then verified with model checking techniques, and by allowing for visual debugging of models failing a requirement. For the latter, the modeler can add performance information to models and analyze their performance properties, e.g. average throughput.
BibTeX:
@phdthesis{dissSoltenborn,
  author = {Christian Soltenborn},
  title = {Quality Assurance with Dynamic Meta Modeling},
  school = {University of Paderborn},
  year = {2013},
  doi = {https://digital.ub.uni-paderborn.de/ubpb/urn/urn:nbn:de:hbz:466:2-12420}
}
Hausmann JH (2005), "Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages". Thesis at: University of Paderborn., October, 2005.
Abstract: The technique of Dynamic Meta Modeling allows for specifying the semantics of visual modeling languages (like, e.g., the Unified Modeling Language, UML). It is aimed at combining formal rigor (allowing for automated processing of expressions in the language and reasoning about them) with a user-friendly visual notation. We do explicitly exploit the meta modeling paradigm to provide our formalizations within a form known to the expected user base.Technically, DMM uses an innovative combination of elements from denotational and operational semantics together with Graph Transformations. The thesis furthermore introduces a technically richer concept of relations to the Meta Object Facility (MOF).As an extended application example the core semantics of UML Activity Diagrams are formalized within this thesis. Pragmatic guidelines to formulate specifications in DMM and tool support to test the effect of such specifications complete the thesis.
BibTeX:
@phdthesis{Hausmann2005a,
  author = {Jan Hendrik Hausmann},
  title = {Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages},
  school = {University of Paderborn},
  year = {2005}
}