A formal description of the ITIL change management process using abstract state machines
| Authors |
Jan Kubovy Felix Kossak Verena Geist |
| Editors |
A. Hameurlain A. M. Tjoa R. Wagner |
| Title | A formal description of the ITIL change management process using abstract state machines |
| Booktitle | Proceedings of 23rd International Workshops on Database and Expert Systems Applications (DEXA 2012) |
| Type | in proceedings |
| Publisher | IEEE Computer Society |
| ISBN | 978-0-7695-4801-2 |
| Month | September |
| Year | 2012 |
| Pages | 65-69 |
| Abstract | We suggest formalising Information Technology Infrastructure Library (ITIL) [1] processes using the Business Process Model and Notation (BPMN) [2] and the Abstract State Machine (ASM) method. We describe the benefits of our approach as well as the necessary prerequisites. We argue that such a formalisation will lead to a clearer understanding of the process and a reduction of ambiguity. |