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
- Autor:
- Hagen, Sebastian
- Jahr:
- 2013
- Dokumenttyp:
- Dissertation
- Fakultät/School:
- 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.
- WWW:
- https://mediatum.ub.tum.de/?id=1128856
- Eingereicht am:
- 31.01.2013
- Mündliche Prüfung:
- 05.06.2013
- Dateigröße:
- 2612940 bytes
- Seiten:
- 206
- Urn (Zitierfähige URL):
- https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20130605-1128856-0-7
- Letzte Änderung:
- 28.02.2014
BibTeX