Skip to Main content Skip to Navigation
Conference papers

Consistently Formalizing a Business Process and its Properties for Verification: A Case Study

Abstract : Formal verification of business process models can be done through model checking (also known as property checking), where a model checker tool may automatically find violations of properties in a process model. This approach obviously has formal representations as a prerequisite. However, a key challenge for applying this approach in practice is to consistently formalize the process and its properties, which clearly cannot be done automatically. We studied this challenge in a case study of formally verifying an informally given business process against a guideline written like a legal text. Major lessons learned from this case study are that formalizing is key to success and that in its course a semi-formal representation of properties is useful. In the course of such a step-wise and incremental formalization, problems with the given process model have been found already, apart from those found with a model checker tool that used the formal property specification. In total, our approach revealed five problems not found by the official review. In summary, this paper investigates in a case study consistently formalizing a business process and its properties for verification through model checking.
Document type :
Conference papers
Complete list of metadata
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Friday, January 20, 2017 - 3:21:51 PM
Last modification on : Wednesday, October 13, 2021 - 7:58:04 PM
Long-term archiving on: : Friday, April 21, 2017 - 3:41:11 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Michael Rathmair, Ralph Hoch, Hermann Kaindl, Roman Popp. Consistently Formalizing a Business Process and its Properties for Verification: A Case Study. 8th Practice of Enterprise Modelling (P0EM), Nov 2015, Valencia, Spain. pp.126-140, ⟨10.1007/978-3-319-25897-3_9⟩. ⟨hal-01442302⟩



Record views


Files downloads