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

Autoren Jan Kubovy
Felix Kossak
Verena Geist
Editoren A. Hameurlain
A. M. Tjoa
R. Wagner
TitelA formal description of the ITIL change management process using abstract state machines
BuchtitelProceedings of 23rd International Workshops on Database and Expert Systems Applications (DEXA 2012)
Typin Konferenzband
VerlagIEEE Computer Society
ISBN978-0-7695-4801-2
MonatSeptember
Jahr2012
Seiten65-69
SCCH ID#1222
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.