• DocumentCode
    1693830
  • 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
  • fYear
    2012
  • Firstpage
    65
  • Lastpage
    69
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Database and Expert Systems Applications (DEXA), 2012 23rd International Workshop on
  • Conference_Location
    Vienna
  • ISSN
    1529-4188
  • Print_ISBN
    978-1-4673-2621-6
  • Type

    conf

  • DOI
    10.1109/DEXA.2012.18
  • Filename
    6327405
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1693830