How to ensure correct process models? A semantic approach to deal with resource problems

Abstract

Models are important to manage complexity. They provide a means for understanding processes, and understanding already is a benefit. Process models support the optimization, reengineering, and implementation of supporting IT systems. In this context, the correctness of process models is significant for both, research and practice. The paper presents an ontology-driven approach that aims at supporting semantic verification of semi-formal process models. We apply our approach using real-life administrative process models taken from a capital city.