Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages

J. Hendrik Hausmann, Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages, 2005.

Download
No fulltext has been uploaded.
Dissertation | English
Author
Hendrik Hausmann, Jan
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.
Publishing Year
LibreCat-ID

Cite this

Hendrik Hausmann J. Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages.; 2005.
Hendrik Hausmann, J. (2005). Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages.
@book{Hendrik Hausmann_2005, title={Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages}, author={Hendrik Hausmann, Jan}, year={2005} }
Hendrik Hausmann, Jan. Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages, 2005.
J. Hendrik Hausmann, Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages. 2005.
Hendrik Hausmann, Jan. Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages. 2005.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar