Dies sind die archivierten Webseiten des Lehrstuhls für Programmierung und Softwaretechnik (PST).
Die Seiten des Software and Computational Systems Lab (SoSy) finden Sie auf https://www.sosy-lab.org/.

Oberseminar 19.01.2010

— abgelegt unter:

Es findet ein eingeladener Vortrag statt. Alle Interessierten sind herzlich eingeladen!

Was
  • Oberseminar
Wann 19.01.2010
von 14:15 bis 15:45
Wo Raum 057 - 14 Uhr c.t.
Termin übernehmen vCal
iCal

Rolf Hennicker and Philip Mayer: Interface Theories for Modal I/O Transition Systems and the MIO Workbench

Talk and Tool Demonstration


Building on the theory of modal I/O automata (MIOs) by Larsen et al. we introduce a new compatibility notion called weak modal compatibility. As an important property of behavioral interface theories we prove that weak modal compatibility is preserved under weak modal refinement. Furthermore, we organize and compare different notions of refinement and compatibility to give an easily-accessible overview. Finally, we describe the MIO Workbench, an Eclipse-based editor and verification tool for modal I/O automata, which implements various refinement, compatibility and composition notions and is able to depict the results of verification directly on the graphical representation of MIOs - relations or state pairs in the positive and erroneous paths in the negative case.


Alle Interessierten sind herzlich eingeladen!