Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

A static analysis technique to detect unsatisfiable conditions in ontology-based workflows

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

Volltext (PDF; )

Fischer, S. ; Gesellschaft für Informatik -GI-, Bonn:
Informatik 2009. Im Focus das Leben : Beiträge der 39. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 28.9. - 2.10.2009 in Lübeck
Bonn: GI, 2009 (GI-Edition - Lecture Notes in Informatics (LNI) - Proceedings 154)
ISBN: 978-3-88579-248-2
ISSN: 1617-5468
Gesellschaft für Informatik (Jahrestagung) <39, 2009, Lübeck>
Konferenzbeitrag, Elektronische Publikation
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 focus on detecting unsatisfiable conditions, a data inconsistency which can lead to non-reachable tasks in workflows. We describe an algorithm to detect such inconsistencies in workflows with an ontology-based data perspective. The algorithm utilizes semantic web reasoning. We discuss soundness and completeness of the technique.