|
|
 |
|
|
|
 |
|
|
|
|
| | |
| Informationen zum Vortrag |
 |
|
| Referent | Prof. Dr. Ernst-Erich Doberkat
(Universität Dortmund) |
|
| Thema | Relationen, Relationen...
|
|
| Termin |
Di 04.11.2003, 10:15 Uhr |
|
| Ort |
Klostergasse 3, Raum 2.03/2.04 |
|
| Abstract |
Relationen sind in der Informatik allgegenwärtig: sie tauchen bei der Modellierung dynamischer Systeme ebenso auf wie bei der transformationellen Programmentwicklung oder bei der Modellierung von Daten. Ich möchte zunächst zeigen, wie Relationen algebraisch in den Griff zu bekommen sind und stelle dann einige interessante Eigenschaften von Relationenalgebren dar. Die wichtigste Begriffsbildung ist vielleicht die der Bisimulation, mit deren Hilfe Verhaltensäquivalenz modelliert werden kann.
Betrachtet man zusätzlich Wahrscheinlichkeitsverteilungen, so gelangt man zum Begriff der stochastischen Relation, einem Forschungsgebiet, das in den letzten Jahren einige Aufmerksamkeit gefunden hat. Es stellt sich heraus, daß stochastische und nicht-deterministische Relationen einige überraschende algebraische ähnlichkeiten haben, insbesondere gilt für beide der Satz von Hennessy-Milner zur Charakterisierung bi-ähnlicher Relationen durch modale Logiken.
|
|
| Details zum Referenten |
|
|
Prof. Dr. Ernst-Erich Doberkat
|
|
|
|
Universität Dortmund
FB Informatik
44221 Dortmund
|
|
| Telefon |
+49 231 755-2780 |
| Telefax |
+49 231 755-2061 |
| Email |
 doberkat@acm.org |
| |
| Informationsmaterial |
| |
|
 Vortragsfolien
|
|
| Weitere Informationen |
|
|
Bei Interesse oder Fragen wenden Sie sich bitte an
Bettina Biel.
|
| |
|
|
Über LPZ E-BUSINESS
Veranstaltungen
Distinguished Lectures Series
ICSE 2008
Agile MDA
Series