在dieser Arbeit wird eine automatische Abbildung von StoCharts Spezifikationen auf MoDeST entwicket und implementiert中。MoDeST[ARG01]是一个Spezifikationssprache für vertilte系统。StoCharts hingegen[2003年1月]是一个新的UML状态图图表,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。