Grundlagen von Interaktionsausdrücken

Dieser Bericht stellt eine umfassende Einführung in die Grundlagen von Interaktionsausdrücken dar
und dient damit gleichermaßen als „Tutorium“ und als „Referenzhandbuch“ zu diesem Formalismus.
Obwohl Interaktionsausdrücke primär mit der Zielsetzung entwickelt wurden, einen geeigneten
Formalismus zur Beschreibung (und Implementierung) von Inter-Workflow-Abhängigkeiten zur Verfügung zu stellen, ist ihre Anwendbarkeit nicht auf dieses spezielle Gebiet beschränkt. Vielmehr stellen sie einen sehr allgemeinen Formalismus zur Beschreibung (und damit zur Lösung) nahezu beliebiger Synchronisationsprobleme dar. Aus diesem Grund werden Interaktionsausdrücke in diesem Bericht unabhängig von der speziellen Anwendungsdomäne Inter-Workflow-Abhängigkeiten eingeführt und mit Beispielen aus ganz unterschiedlichen Bereichen veranschaulicht.