In dieser Arbeit wird eine automatische Abbildung von StoCharts Spezifikationen auf MoDeST entwickelt und implementiert. MoDeST [ARG01] ist eine Spezifikationssprache für verteilte Systeme. StoCharts hingegen [JAN03] ist eine Erweiterung von UML-Statechart Diagrammen, um Wahrscheinlichkeiten und Echtzeit-Eigenschaften auszudrücken. Beide Erweiterungen haben eine ausgesprochen natuerliche Entsprechung in MoDeST, daher verbleiben fü die Abbildung nur einige Detailfragen zu klären.