Heinlein, Christian (1997) Sprachtheoretische Semantik von Interaktionsausdrücken. Technical Report. Universität Ulm.
Download (129kB)
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.
Item Type: | Monograph (Technical Report) |
---|---|
Subjects: | DBIS Research > Publications |
Divisions: | Faculty of Engineering, Electronics and Computer Science > Institute of Databases and Informations Systems > DBIS Research and Teaching > DBIS Research > Publications |
Depositing User: | Eva Mader |
Date Deposited: | 14 May 2008 17:19 |
Last Modified: | 14 Oct 2011 10:25 |
URI: | http://dbis.eprints.uni-ulm.de/id/eprint/366 |