User: Guest  Login
Original title:
Algorithms for the Efficient Verification and Planning of Information Technology Change Operations 
Translated title:
Algorithmen für die effiziente Planung und Verifikation von IT Änderungsoperationen 
Year:
2013 
Document type:
Dissertation 
Institution:
Fakultät für Informatik 
Advisor:
Kemper, Alfons (Prof., Ph.D.) 
Referee:
Kemper, Alfons (Prof., Ph.D.); Gaspary, Luciano Paschoal (Prof. Dr.); Knapp, Alexander (Prof. Dr.) 
Language:
en 
Subject group:
DAT Datenverarbeitung, Informatik 
Keywords:
IT Change Management, Service Management, Automated Planning, Artificial Intelligence, Verification, Model Checking, Partial-order reduction 
Translated keywords:
IT Änderungsmanagement, Service Management, Automatische Planung, Künstliche Intelligenz, Verifikation, Model Checking, Partial-order reduction 
Controlled terms:
Informationstechnik; Change Management; Verifikation; Algorithmus 
TUM classification:
DAT 060d; DAT 325d; DAT 345d 
Abstract:
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. 
Translated abstract:
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. 
Oral examination:
05.06.2013 
File size:
2612940 bytes 
Pages:
206 
Last change:
28.02.2014