@inproceedings{8427e514d8514a1ab2509435cac7e837,
title = "A Formal Description of the ITIL Change Management Process Using Abstract State Machines",
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.",
author = "Jan Kubovy and Verena Geist and F. Kossak",
year = "2012",
month = sep,
doi = "10.1109/DEXA.2012.18",
language = "English",
isbn = "9780769548012",
series = "Proceedings - International Workshop on Database and Expert Systems Applications, DEXA",
pages = "65--69",
booktitle = "Database and Expert Systems Applications (\{DEXA\}) Workshop",
}