Benutzer: Gast  Login
Originaltitel:
Algorithms for the Efficient Verification and Planning of Information Technology Change Operations 
Übersetzter Titel:
Algorithmen für die effiziente Planung und Verifikation von IT Änderungsoperationen 
Jahr:
2013 
Dokumenttyp:
Dissertation 
Institution:
Fakultät für Informatik 
Betreuer:
Kemper, Alfons (Prof., Ph.D.) 
Gutachter:
Kemper, Alfons (Prof., Ph.D.); Gaspary, Luciano Paschoal (Prof. Dr.); Knapp, Alexander (Prof. Dr.) 
Sprache:
en 
Fachgebiet:
DAT Datenverarbeitung, Informatik 
Stichworte:
IT Change Management, Service Management, Automated Planning, Artificial Intelligence, Verification, Model Checking, Partial-order reduction 
Übersetzte Stichworte:
IT Änderungsmanagement, Service Management, Automatische Planung, Künstliche Intelligenz, Verifikation, Model Checking, Partial-order reduction 
Schlagworte (SWD):
Informationstechnik; Change Management; Verifikation; Algorithmus 
TU-Systematik:
DAT 060d; DAT 325d; DAT 345d 
Kurzfassung:
The success of businesses is threatened by changes frequently applied to the IT systems of a company. To prevent outages caused by the application of faulty IT change operations, we introduce efficient algorithms for the verification and planning of IT change operations. The algorithms reduce the runtime complexity of IT change verification and planning from exponential/polynomial to linear or even constant complexity. Thus, making both feasible on large IT infrastructures for the first time. 
Übersetzte Kurzfassung:
Der Erfolg von Unternehmen wird von Änderungsoperationen an der IT bedroht. Um Ausfälle durch fehlerhafte IT Änderungsoperationen zu verhindern, führen wir in dieser Arbeit effiziente Algorithmen zur Verifikation und Planung derselben ein. Die Algorithmen verringern die Laufzeitkomplexität für die Verifikation und Planung von IT Änderungsoperationen von exponentiell/polynomiell auf lineare oder konstante Komplexität und ermöglichen damit erstmalig den Einsatz über großen Infrastrukturen. 
Mündliche Prüfung:
05.06.2013 
Dateigröße:
2612940 bytes 
Seiten:
206 
Letzte Änderung:
28.02.2014