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. |