ABBILDUNG VON STOCHARTS NACH MODEST (ABGESCHLOSSEN)

Eine vollständige formale Semantik für die Web Service Beschreibungssprache BPEL 2.0
Verteilte Java Anwendungen: Kann das gut gehen?
Reflexive und transitive Abschluss eines gerichtetes azyklisches Graphes
Implementierung eines Preflow-Algorithmus für Markovketten
Eine Implementierung mit PEPP
Interactive Simulator for MoDeST (abgeschlossen)
Die richtige Ordnung in "Compositional Aggregation" (laufend)
Präzision von MANET-Simulatoren
Diskrete Ereignissimulation (laufend)
Abbildung von StoCharts nach MoDeST (abgeschlossen)
Energieverbrauch in Ad-Hoc und Sensor-Netzwerken (abgeschlossen)
Axiomatisierung von "Branching Bisimulation" mit Divergenz (abgeschlossen)
Value Passing MoDeST (abgeschlossen)
Automatische Abbildung von MoDeST Spezifikationen auf UPPAAL (abgeschlossen)

Titel der Arbeit

Abbildung von StoCharts nach MoDeST


Inhalt

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.

 


Status

Abgeschlossen.


Ergebnisse

Die Ergebnisse sind hier einsehbar.


Kontakt

Dr. David Jansen, Prof. Dr.-Ing Holger Hermanns


Verweise

[ARG01] P. D'Argenio, H. Hermanns, J.-P. Katoen, R. Klaren. MoDeST -- A Modelling and Description Language for Stochastic Timed Systems. PAPM-PROBMIV 2001, LNCS 2165, 2001.
[JAN03]Jansen, Hermanns, Katoen. A QoS-oriented Extension of UML Statecharts. UML 2003, LNCS 2863.