Gesellschaft für Informatik e.V.

Lecture Notes in Informatics

INFORMATIK 2010. Service Science - Neue Perspektiven für die Informatik. Band 1 P-175, 280-286 (2010).

Gesellschaft für Informatik, Bonn

Copyright © Gesellschaft für Informatik, Bonn


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

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


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.

Full Text: PDF

Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-269-7

Last changed 04.10.2013 18:32:56