Forschungsbericht 1997-98 | |
Institut für Wirtschaftsinformatik
Steinfurter Str. 107 48149 Münster Tel. (0251) 83-38-100 Fax: (0251) 83-38-109 e-mail: ls-is@wi.uni-muenster.de WWW: http://www-wi.uni-muenster.de Geschäftsführender Direktor: Prof. Dr. Jörg Becker | |
Forschungsschwerpunkte 1997 - 1998
Fachbereich 04 - Wirtschaftswissenschaftliche Fakultät Institut für Wirtschaftsinformatik Prof. Dr. Gottfried Vossen | ||||
Deadlockbehandlung in verteilten Systemen
Die Behandlung von Deadlocks in verteilten Systemen ist ein seit langem intensiv untersuchtes
Problem, für das sich viele der in der Literatur vorgeschlagenen Algorithmen im
nachhinein als fehlerhaft erwiesen haben. Als einen Grund für diese Situation hat man
unangemessene Modellbildung und fehlende Verifikationswerkzeuge erkannt. Daher versuchen
wir in diesem Projekt, auf der Basis der sogenannten OR-Modells für verteilte Deadlocks
Erkennungsalgorithmen zu entwickeln und diese mit Lynchschen I/O-Automaten zu
verifizieren.
Beteiligte Wissenschaftler:
Veröffentlichungen: |
||||
Hans-Joachim Peter