---
_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'
...