A formal description of the ITIL change management process using abstract state machines

J. Kubovy, F. Kossak, V. Geist. A formal description of the ITIL change management process using abstract state machines. pages 65-69, 9, 2012.

Autoren
  • Jan Kubovy
  • Felix Kossak
  • Verena Geist
BuchProceedings of 23rd International Workshops on Database and Expert Systems Applications (DEXA 2012)
TypIn Konferenzband
VerlagIEEE Computer Society
ISBN978-0-7695-4801-2
Monat9
Jahr2012
Seiten65-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.