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 条

[1] A description of the tableau method using abstract state machines
Borger, E
Schmitt, PH
JOURNAL OF LOGIC AND COMPUTATION, 1997, 7 (05) : 659 - 681
[2] Abstract State Machines and the Inquiry Process
Huggins, James K.
Wallace, Charles
FIELDS OF LOGIC AND COMPUTATION: ESSAYS DEDICATED TO YURI GUREVICH ON THE OCCASION OF HIS 70TH BIRTHDAY, 2010, 6300 : 405 - +
[3] Extended Abstract: Formal Description of a Pattern for a Recursive Process of Recognition
Puerto, Eduard
Aguilar, Jose
2016 IEEE LATIN AMERICAN CONFERENCE ON COMPUTATIONAL INTELLIGENCE (LA-CCI), 2016,
[4] Using Symbolic Execution to Transform Turbo Abstract State Machines into Basic Abstract State Machines
Del Castillo, Giuseppe
RIGOROUS STATE-BASED METHODS, ABZ 2024, 2024, 14759 : 215 - 222
[5] Integration of Symbolic Execution into a Formal Abstract State Machines based Language
Paun, Vladimir-Alexandru
Monsuez, Bruno
Baufreton, Philippe
IFAC PAPERSONLINE, 2017, 50 (01): : 11251 - 11256
[6] Towards a new formal SDL semantics based on abstract state machines
Glässer, U
Gotzhein, R
Prinz, A
SDL'99: THE NEXT MILLENNIUM, 1999, : 171 - 190
[7] Enhancements in formal process description by using a formal method
Xin, Cheng
Grunau, Lukas
Thron, Mario
Riedl, Matthias
AT-AUTOMATISIERUNGSTECHNIK, 2023, 71 (03) : 198 - 208
[8] A Formal Approach for Failure Detection in Large-Scale Distributed Systems Using Abstract State Machines
Buga, Andreea
Nemes, Sorana Tania
DATABASE AND EXPERT SYSTEMS APPLICATIONS, DEXA 2017, PT I, 2017, 10438 : 505 - 513
[9] Formal Change Impact Analyses of Extended Finite State Machines using a Theorem Prover
Guo, Bo
Subramaniam, Mahadevan
SEFM 2008: Sixth IEEE International Conference on Software Engineering and Formal Methods, Proceedings, 2008, : 335 - 344
[10] Automated formal verification of scheduling process using finite state machines with datapath (FSMD)
Kim, Y
Kopuri, S
Mansouri, N
ISQED 2004: 5TH INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN, PROCEEDINGS, 2004, : 110 - 115

← 1 2 3 4 5 →