阿比登·冯·斯托查茨(ABGESCHLOSSEN)

Eine vollständige formale Semantik für die Web服务Beschreibungssprache BPEL 2.0
Vertilete Java Anwendungen:Kann das gut gehen?
反射和传递Abschluss eines gerichtetes azyklisches图
实现eines预流算法für Markovketten
Eine Implementierung mit PEPP公司
MoDeST交互式模拟器(abgeschlossen)
“成分聚合”中的Die richtage Ordnung(laufend)
MANET仿真程序
Diskrete Ereignisimulation(laufend)(签名盘)
Abbildung von StoCharts nach MoDeST(阿比杜·冯·斯托查茨)
Ad-Hoc和Sensor-Netzwerken(abgeschlossen)中的能量断裂
Axiomatisieung von“分支模拟”mit Divergenz(abgeschlossen)
价值传递MoDeST(abgeschlossen)
自动化Abbildung von MoDeST Spezifikationen auf UPPAAL(abgeschlossen)

阿贝特头衔

Abbildung von StoCharts nach MoDeST公司


吸入

在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。

 


状态

阿布奇洛森。


埃尔格布尼塞

死亡Ergebnisse sind更高的埃因塞巴尔。


康塔克

David Jansen博士,Ing Holger Hermanns教授博士


转引

[ARG01]P.D'Argenio,H.Hermanns,J.-P.Katoen,R.Klaren。MoDeST——随机时间系统的建模和描述语言PAPM-PROBMIV 2001,LNCS 21652001。
[JAN03]詹森,赫尔曼斯,卡托恩。面向QoS的UML状态图扩展UML 2003,LNCS 2863。