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
- Author:
- Hagen, Sebastian
- Year:
- 2013
- Document type:
- Dissertation
- Faculty/School:
- 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.
- WWW:
- https://mediatum.ub.tum.de/?id=1128856
- Date of submission:
- 31.01.2013
- Oral examination:
- 05.06.2013
- File size:
- 2612940 bytes
- Pages:
- 206
- Urn (citeable URL):
- https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20130605-1128856-0-7
- Last change:
- 28.02.2014
BibTeX