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 条

[41] Binding Abstract Business Process and Actual Web Services Using Finite State Automata
Gao, Kun
Xi, Lifeng
Wang, Qin
2009 FIFTH INTERNATIONAL CONFERENCE ON SEMANTICS, KNOWLEDGE AND GRID (SKG 2009), 2009, : 274 - 277
[42] State description of wireless channels using change-point statistical tests
Moltchanov, D
WIRED/WIRELESS INTERNET COMMUNICATIONS, PROCEEDINGS, 2006, 3970 : 275 - 286
[43] Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines
Bombarda, Andrea
Bonfanti, Silvia
Gargantini, Angelo
Radavelli, Marco
Duan, Feng
Lei, Yu
TESTING SOFTWARE AND SYSTEMS (ICTSS 2019), 2019, 11812 : 67 - 85
[44] Updates, Schema Updates and Validation of XML Documents - Using Abstract State Machines with Automata-Defined States
Schewe, Klaus-Dieter
Thalheim, Bernhard
Wang, Qing
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2009, 15 (10) : 2028 - 2057
[45] Analyzing SLE 88 memory management security using Interacting State Machines
von Oheimb D.
Lotz V.
Walter G.
International Journal of Information Security, 2005, 4 (3) : 155 - 171
[46] On asymptotic description of a probabilistic change-point model for a two-state discrete Markov process
Khutortsev, V. V.
PROBLEMS OF INFORMATION TRANSMISSION, 2009, 45 (03) : 232 - 241
[47] On asymptotic description of a probabilistic change-point model for a two-state discrete Markov process
V. V. Khutortsev
Problems of Information Transmission, 2009, 45 : 232 - 241
[48] Just-enough-time signaling protocol: Formal description using extended finite state machine (EFSM)
Zaim, A. Halim
2003, Technical University of Wroclaw (33)
[49] Just-enough-time signaling protocol: formal description using extended finite state machine (EFSM)
Zaim, AH
OPTICA APPLICATA, 2003, 33 (04) : 677 - 687
[50] From business process reengineering to business process management - using the EFQM model as a focus for management system change
Bowden, Philip
Quality World, 1996, 22 (06): : 409 - 412

← 1 2 3 4 5 →