Sprachtheoretische Semantik von Interaktionsausdrücken

Abstract

Dieser Bericht definiert Interaktionsausdrücke, wie sie in den Berichten „Grundlagen von Interaktionsausdrücken“ (UIB 97-09) und “Interaction Expressions −− A Powerful Formalism for Describing Inter-Workflow Dependencies” (UIB 97-04) beschrieben sind, mittels ihrer sprachtheoretischen Semantik. Nach einer kurzen Definition der wichtigsten Grundbegriffe werden in Abschnitt 2 zunächst reguläre Ausdrücke, die eine Teilmenge von Interaktionsausdrücken darstellen, mittels ihrer sprachtheoretischen Semantik definiert. Anschließend wird diese Definition auf elementare Interaktionsausdrücke erweitert und ein erster Versuch zur Definition von Quantoren unternommen. Abschnitt 3 zeigt jedoch Schwierigkeiten und Grenzen dieser „traditionellen“ Vorgehensweise auf, so daß in Abschnitt 4 eine „revidierte“ Definition von Interaktionsausdrücken gegeben wird, die im wesentlichen auf einer sauberen Trennung von vollständigen und teilweisen Worten basiert. Alle wesentlichen Definitionen werden jeweils durch Beispiele illustriert, um die abstrakten Konzepte ein wenig „greifbarer“ zu machen.