Seminar Executable Specification Languages (ESL)
  • Seminar im WiSe 2017/18
  • Leiter: Prof. Dr. Peter Padawitz
  • Diplom-Schwerpunktgebiete 1 (Software-Konstruktion), 4 (Algorithmen, Komplexität und formale Modelle) und 5 (Sicherheit und Verifikation)
  • Master-Forschungsbereich: Software, Sicherheit und Verifikation
  • Fachliche Schwerpunkte: Software und Service Engineering; Logics, Information, and Knowledge
  • 2 SWS
  • Inhalt: Ausführbare Spezifikationssprachen wie BOBJ, CafeOBJ, CASL, ELAN, Maude und Mozart bieten nicht nur Konstrukte zur Modellierung von Software, sondern erlauben auch die prototypische Ausführung der mit ihnen erstellten Entwürfe. Der gegenüber klassischen Programmiersprachen höhere Abstraktionsgrad von Spezifikationssprachen ermöglicht u.a. die Berechnung von Lösungsmengen für nichtdeterministische Probleme. Deshalb sind auch neuere funktionale bzw. um funktionale Konzepte angereicherte Programmiersprachen wie Haskell, Clean, F-Sharp, Objective CAML, Python, Ruby, Curry, Erlang und Mercury sowie auf spezielle Datenbereiche (endliche Bereiche, Vektorräume, Boolesche Algebren, etc.) und ihre jeweiligen Lösungsalgorithmen zugeschnittene Constraint-Sprachen wie CHR und ECLiPSe den ausführbaren Spezifikationssprachen zuzurechnen.
  • Im Seminar soll auf der Basis einführender Literatur über die syntaktischen und semantischen Konzepte der jeweiligen Sprache und möglichst auch eigene Experimente mit ihr referiert und eine schriftliche Ausarbeitung erstellt werden. Die erfolgreiche Teilnahme am Seminar kann zu eine Bachelor-, Diplom- oder Masterarbeit hinführen.
  • Die Anmeldung zu diesem Seminar erfolgt ausschließlich per Email an den Veranstalter (peter.padawitz@udo.edu). Zu dem im LSF genannten Termin finden zunächst keine Treffen statt.