Modellierung örtlicher Bedingungen in strombasierten Spezifikationssprachen

Abstract - Zusammenfassung

In dieser Arbeit wird eine Möglichkeit zum Modellieren von örtlichen
Bedingungen im zeitlichen Verlauf beschrieben. Dabei wird auf die Beziehung zwischen
Objekten und deren Lage eingegangen. Anschließend wird diese Modellierung
in der Strom-basierten Sprache TeSSLa implementiert und mittels strukturierter
Testdaten ausgewertet.