Projektstart: 01.01.1997

Projektträger: Universität Augsburg

Projektverantwortung vor Ort: Prof. Dr. Bernhard Möller

Beteiligte WissenschaftlerInnen der Universität Augsburg: Roland Glück, Dr. Peter Höfner

Beteiligte WissenschaftlerInnen / Kooperationen: Prof. Dr. Rudolf Berghammer (Universität zu Kiel),
Prof. Dr. Gunther Schmidt (Universität der Bundeswehr) und andere

Zusammenfassung

Binäre Relationen bilden einen wichtigen Halbring mit vielen Anwendungen. Wir verwenden ihn bei der Spezifikation und Transformation, wann immer es passend erscheint. Dies ist insbesondere gegeben, wenn nicht die Zwischenzustände, sondern nur die Anfangs- und Endzustände von Abläufen relevant sind.
Relationen können auch verwendet werden um Flüsse in Netzwerken zu beschreiben. Dazu werden Relationen zu Fuzzy-Relationen erweitert.