Semantic verification of business process models: Prospects and limitations

Abstract

This chapter presents an ontology-driven approach that aims at supporting semantic verification of semi-formal process models. Despite the widespread use of these models in research and practice, innovative solutions are needed in order to address the verification of process model information. But what are the prospects and limitations of semantic verification? In order to investigate this issue we suggest an ontology-driven approach consisting of two steps. The first step is the development of a model for ontology-based representation of process models. In the second step, we use this model to support the semantic verification based on this representation and on machine reasoning. We apply our approach using real-life administrative process models taken from a capital city. © 2012, IGI Global.