--- _id: '7584' abstract: - lang: eng text: 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. author: - first_name: Jan full_name: Hendrik Hausmann, Jan last_name: Hendrik Hausmann citation: ama: 'Hendrik Hausmann J. Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages.; 2005.' apa: 'Hendrik Hausmann, J. (2005). Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages.' bibtex: '@book{Hendrik Hausmann_2005, title={Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages}, author={Hendrik Hausmann, Jan}, year={2005} }' chicago: 'Hendrik Hausmann, Jan. Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages, 2005.' ieee: 'J. Hendrik Hausmann, Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages. 2005.' mla: 'Hendrik Hausmann, Jan. Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages. 2005.' short: 'J. Hendrik Hausmann, Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages, 2005.' date_created: 2019-02-06T14:27:26Z date_updated: 2022-01-06T07:03:40Z department: - _id: '66' language: - iso: eng status: public title: 'Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages' type: dissertation user_id: '52534' year: '2005' ...