Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Consistency checking for workflows with an ontology-based data perspective

: Weiler, G.; Poetzsch-Heffter, A.; Kiefer, S.


Bhowmick, S.S.:
Database and expert systems applications. Proceedings : 20th international conference, DEXA 2009, Linz, Austria, August 31 - September 4, 2009
Berlin: Springer, 2009 (Lecture Notes in Computer Science 5690)
ISBN: 3-642-03572-8
ISBN: 978-3-642-03572-2
ISSN: 0302-9743
International Conference on Database and Expert Systems Applications (DEXA) <20, 2009, Linz>
Fraunhofer IBMT ()

Static analysis techniques for consistency checking of workflows allow to avoid runtime errors. This is in particular crucial for long running workflows where errors, detected late, can cause high costs. In many classes of workflows, the data perspective is rather simple, and the control flow perspective is the focus of consistency checking. In our setting, however, workflows are used to collect and integrate complex data based on a given domain ontology. In such scenarios, the data perspective becomes central and data consistency checking crucial.
In this paper, we motivate and sketch a simple workflow language with an ontology-based data perspective (SWOD), explain its semantics, classify possible inconsistencies, and present an algorithm for detecting such inconsistencies utilizing semantic web reasoning. We discuss soundness and completeness of the technique.