Hausmann JH (2001), "Dynamische Metamodellierung zur Spezifikation einer operationalen Semantik von UML". Thesis at: University of Paderborn.

[Abstract] [BibTeX]
Abstract: Im Vergleich zum Stand der Technik bei der Definition und Implementierung von (textuellen) Programmiersprachen ist die Situation im Bereich visueller Modellierungsprachen wie der Unified Modeling Language (UML), weitgehend unbefriedigend...
BibTeX: 
@mastersthesis{Hausmann2001c,
  author = {Jan Hendrik Hausmann},
  title = {Dynamische Metamodellierung zur Spezifikation einer operationalen Semantik von UML},
  school = {University of Paderborn},
  year = {2001}
}
Soltenborn C (2006), "Analysis of UML Workflow diagrams with Dynamic Meta Modeling techniques". Thesis at: University of Paderborn., June, 2006.

[Abstract] [BibTeX]
Abstract: High-quality workflows are critical for the success of companies. In this thesis, the concept of soundness is transferred from the Petri nets into the world of UML Activities. The soundness property is formalized based on a semantics specification of UML Activities which has been developed using Dynamic Meta Modeling.
BibTeX: 
@mastersthesis{Soltenborn2006a,
  author = {Christian Soltenborn},
  title = {Analysis of UML Workflow diagrams with Dynamic Meta Modeling techniques},
  school = {University of Paderborn},
  year = {2006}
}