Title :
A Formal Description of the ITIL Change Management Process Using Abstract State Machines
Author :
Kubovy, Jan ; Geist, Verena ; Kossak, Felix
Author_Institution :
Inst. of Appl. Knowledge Process., Johannes Kepler Univ., Linz, Austria
Abstract :
We suggest formalising Information Technology Infrastructure Library (ITIL) processes using the Business Process Model and Notation (BPMN) 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.
Keywords :
DP management; business data processing; finite automata; management of change; software libraries; ASM; BPMN; ITIL change management process; abstract state machine method; ambiguity reduction; business process model and notation; formal description; information technology infrastructure library; Abstracts; Companies; Logic gates; Semantics; Standards; Unified modeling language; asm; bpmn; formalizing; itil;
Conference_Titel :
Database and Expert Systems Applications (DEXA), 2012 23rd International Workshop on
Conference_Location :
Vienna
Print_ISBN :
978-1-4673-2621-6
DOI :
10.1109/DEXA.2012.18
