Semantic Verification of Business Process Models: Prospects and Limitations

View Sample PDF

Author(s): Michael Fellmann (University of Osnabrueck, Germany), Oliver Thomas (University of Osnabrueck, Germany)and Frank Hogrebe (University of Hamburg, Germany)
Copyright: 2012
Pages: 19
Source title: Semantic Technologies for Business and Information Systems Engineering: Concepts and Applications
Source Author(s)/Editor(s): Stefan Smolnik (European Business School (EBS), Germany), Frank Teuteberg (University Osnabrueck, Germany)and Oliver Thomas (Saarland University, Germany)
DOI: 10.4018/978-1-60960-126-3.ch008

Keywords: Business Information Systems / Business Science Reference / Computer Science & IT / Semantic Web

Purchase

View Semantic Verification of Business Process Models: Prospects and Limitations on the publisher's website for pricing and purchasing information.

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.

The IRMA Community

Research IRM

Semantic Verification of Business Process Models: Prospects and Limitations

Purchase

Abstract

Related Content

IRMA Sponsors