A Formal Description of the ITIL Change Management Process Using Abstract State Machines

被引：1
|
作者：
Kubovy, Jan [1 ]
Geist, Verena [2 ]
Kossak, Felix [2 ]
机构：
[1] Johannes Kepler Univ Linz, Inst Appl Knowledge Proc, A-4040 Linz, Austria
[2] Software Comp Ctr Hagenberf, Hagenburg, Austria
来源：
2012 23RD INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS (DEXA) | 2012年
基金：
奥地利科学基金会;
关键词：
asm; bpmn; formalizing; itil;
D O I：
10.1109/DEXA.2012.18
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：65 / 69
页数：5
相关论文
共 50 条
  • [31] Formalizing Monitoring Processes for Large-Scale Distributed Systems Using Abstract State Machines
    Buga, Andreea
    Nemes, Sorana Tania
    SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2017, 2018, 10729 : 153 - 167
  • [32] Prioritization of Incident Management Process using ITIL-Fuzzy for Informatics Development Sector of Private Universities
    Vivian, Olano Garces Luisa
    Alessandra, Olano Garces Lidia
    Esther, Casildo Bedon Nancy
    Danny, Levano Rodriguez
    Jesus, Soria Quijaite Juan
    INTERNATIONAL JOURNAL OF FUZZY LOGIC AND INTELLIGENT SYSTEMS, 2025, 25 (01) : 37 - 54
  • [33] Engineering concurrent and reactive systems with distributed real-time abstract state machines -: Bridging the gap between formal and empirical approaches
    Glässer, U
    Vajihollahi, M
    DESIGN METHODS AND APPLICATIONS FOR DISTRIBUTED EMBEDDED SYSTEMS, 2004, 150 : 297 - 306
  • [34] Team-Building and Change Management in Respiratory Care: Description of a Process and Outcomes
    Stoller, James K.
    Sasidhar, Madhu
    Wheeler, David M.
    Chatburn, Robert L.
    Bivens, Roy T.
    Priganc, Dave
    Orens, Douglas K.
    RESPIRATORY CARE, 2010, 55 (06) : 741 - 748
  • [35] Description of rehabilitation scoping process used in Washington State pavement management system
    Pierce, Linda M.
    Mahoney, Joe P.
    Transportation Research Record, 1996, (1524): : 94 - 102
  • [36] Quality-assured design of on-line analytical processing systems using abstract state machines
    Zhao, J
    Ma, H
    QSIC 2004: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2004, : 224 - 231
  • [37] View integration in data warehouse design using typed Abstract State Machines and strong data refinement
    Ma, Hui
    Schewe, Klaus-Dieter
    Zhao, Jane
    QSIC 2006: SIXTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2006, : 175 - +
  • [38] Using Change Impact Analysis to Select Tests for Extended Finite State Machines
    Subramaniam, Mahadevan
    Guo, Bo
    Pap, Zoltan
    SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2009, : 93 - +
  • [39] A description method of ontology change management using Pi-calculus
    Wang, Meiling
    Jin, Longfei
    Liu, Lei
    KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, 2006, 4092 : 477 - 489
  • [40] Synthesizing State Machines from Two Scenarios and a Case Study on Business Process Management
    Kinoshita, Toshiki
    Miyamoto, Toshiyuki
    2017 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2017, : 1782 - 1787
12345