Sprachtheoretische Semantik von Interaktionsausdrücken

Heinlein, Christian (1997) Sprachtheoretische Semantik von Interaktionsausdrücken. Technical Report. Universität Ulm.

[thumbnail of Hein97b.pdf]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
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

Actions (login required)

View Item
View Item