Gesellschaft für Informatik e.V.

Lecture Notes in Informatics

EMISA 2010 Einflussfaktoren auf die Entwicklung flexibler, integrierter Informationssysteme. Beiträge des Workshops der GI-Fachgruppe EMISA (Entwicklungsmethoden für Informationssysteme und deren Anwendung) P-172, 85-100 (2010).

Gesellschaft für Informatik, Bonn

Copyright © Gesellschaft für Informatik, Bonn


What's inside the box? prospects and limitations of semantic verification in process modeling

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


Business process models support the optimization, reengineering and implementation of IT applications in administration and economics. In this area, models are important to manage complexity. In order to realize their full potential, the correctness of business process models is of significant importance. The paper applies an ontology-driven approach that aims at supporting semantic verification of process models. The approach is based on the formalization of the semantics of individual model elements by annotating them with concepts of a formal ontology. In order to ensure semantic correctness, semantic verification rules are introduced and it is demonstrated how machine reasoning provides for the automation of verification tasks. The approach is demonstrated using real-life process models taken from a capital city.

Full Text: PDF

Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-266-6

Last changed 04.10.2013 18:32:32