VALUE PASSING MODEST (ABGESCHLOSSEN)
 | ||
|
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
Value Passing MoDeST
Inhalt
MoDeST [ARG01,BOH03,MOT05] ist eine Modellierungssprache zur Verhaltensbeschreibung diskreter Ereignissysteme. MoDeST kombiniert konventionelle Programmierkonzepte mit Methoden zur Beschreibung nebenläufiger Systeme. Bisher können diese Systeme nur über gemeinsame Variablen kommunizieren. Kommunikation durch direkten (gepufferten oder ungepufferten) Nachrichtenaustausch wird nicht unterstützt, ist jedoch mithilfe einiger umständlicher Codierungen möglich.
Ziel dieser Arbeit ist es, die direkte Kommunikation durch Nachrichtenaustausch in MoDeST zu ermöglichen. Technisch und semantisch ist dies gut verstanden, und besipielsweise in SPIN [HOL97] oder FSP [MAG97] implementiert. Die Arbeit wird die Semantik von MoDeST entsprechend erweitern, und diese implementieren.
Vorraussetzungen
Kenntnisse in C++. Verständnis von operationeller Semantik.
Status
Abgeschlossen.
Ergebnisse
Die Ergebnisse sind hier einsehbar.
Kontakt
Prof. Dr.-Ing. Holger Hermanns
 | [ARG01] P. d'Argenio, H. Hermanns, J. Katoen, R. Klaren. Modest - a modelling and description language for stochastic timed systems. Proc. PAPM/PROBMIV, LNCS 2165: 87--104, 2001. |
| [BOH03] H. Bohnenkamp, H. Hermanns, J.-P. Katoen, and R. Klaren. The modest modeling tool and its implementation. Computer Performance Evaluation /TOOLS, pages 116--133, 2003. |
| [MOT05] MoTor Documentation in the FMT Group, University of Twente. |
| [HOL97] G.J. Holzmann, The Model Checker SPIN. IEEE Trans. on Software Engineering, Vol. 23, No. 5, pp. 279-295, 1997. |
| [MAG99] J. Magee, J. Kramer. Concurrency: State Models & Java Programs. 2nd Edition, John Wiley & Sons, 1999. |