Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


Modellierung betrieblicher Informationssysteme (MobIS 2010) Modellgestütztes Management P-171, 99-110 (2010).

Gesellschaft für Informatik, Bonn
2010


Copyright © Gesellschaft für Informatik, Bonn

Contents

An ontology-driven approach to support semantic verification in business process modeling

Michael Fellmann , Frank Hogrebe , Oliver Thomas and Markus Nüttgens

Abstract


This paper 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, the verification of process model information is still a challenging issue. We suggest an ontology-driven approach making use of background knowledge encoded in formal ontologies and rules. In the first step, we develop a model for ontology-based representation of process models. In the second step, we use this model in conjunction with rules and machine reasoning for process model verification. We apply our approach using real-life administrative process models taken from a capital city.


Full Text: PDF

Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-265-9


Last changed 04.10.2013 18:32:28