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 条
  • [21] Formal Modeling of RESTful Systems Using Finite-State Machines
    Zuzak, Ivan
    Budiselic, Ivan
    Delac, Goran
    WEB ENGINEERING, ICWE 2011, 2011, 6757 : 346 - 360
  • [22] Formal Modeling and analysis of scientific workflows using hierarchical state machines
    Yang, Ping
    Yang, Zijiang
    Lu, Shiyong
    E-SCIENCE 2007: THIRD IEEE INTERNATIONAL CONFERENCE ON E-SCIENCE AND GRID COMPUTING, PROCEEDINGS, 2007, : 619 - +
  • [23] Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems
    Al-Shareefi, Farah
    Lisitsa, Alexei
    Dixon, Clare
    FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, 2017, 10623 : 15 - 32
  • [24] Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics
    Patil, Sandeep
    Dubinin, Victor
    Vyatkin, Valeriy
    DEPENDABLE SOFTWARE ENGINEERING: THEORIES, TOOLS, AND APPLICATIONS, SETTA 2015, 2015, 9409 : 300 - 315
  • [25] Improving ITIL compliance using change management practices: a finance sector case study
    Yamakawa, Peter
    Noriega, Claudio Obregon
    Linares, Alfredo Novoa
    Ramirez, Willy Vega
    BUSINESS PROCESS MANAGEMENT JOURNAL, 2012, 18 (06) : 1020 - +
  • [26] Using Abstract State Machines to Model ARIES-based Transaction Processing
    Kirchberg, Markus
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2009, 15 (01) : 157 - 194
  • [27] Using Abstract State Machines for the Design of Multi-level Transaction Schedulers
    Kirchberg, Markus
    Schewe, Klaus-Dieter
    Zhao, Jane
    RIGOROUS METHODS FOR SOFTWARE CONSTRUCTION AND ANALYSIS: EASSYS DEDICATED TO EGON BORGER ON THE OCCASION OF HIS 60TH BIRTHDAY, 2009, 5115 : 65 - +
  • [28] FORMAL VERIFICATION OF STATE-MACHINES USING HIGHER-ORDER LOGIC
    LOEWENSTEIN, PN
    PROCEEDINGS - IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN : VLSI IN COMPUTERS & PROCESSORS, 1989, : 204 - 207
  • [29] Verifying the accuracy of interlocking tables for railway signalling systems using abstract state machines
    Basri Tugcan Celebi
    Ozgur Turay Kaymakci
    Journal of Modern Transportation, 2016, (04) : 277 - 283
  • [30] Verifying the accuracy of interlocking tables for railway signalling systems using abstract state machines
    Celebi, Basri Tugcan
    Kaymakci, Ozgur Turay
    JOURNAL OF MODERN TRANSPORTATION, 2016, 24 (04): : 277 - 283
12345