Consistency Checking for Workflows with an Ontology-Based Data Perspective

Authors:
Gabriele Weiler;Arnd Poetzsch-Heffter;Stephan Kiefer
Affiliations:
Fraunhofer Institute for Biomedical Engineering, St. Ingbert, Germany and Software Technology Group, University of Kaiserslautern, Germany;Software Technology Group, University of Kaiserslautern, Germany;Fraunhofer Institute for Biomedical Engineering, St. Ingbert, Germany
Venue:
DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
Year:
2009

Citing 6
Cited 1

The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
Formulating the Data-Flow Perspective for Business Process Management

Information Systems Research
Tool Support for BPEL Verification in ActiveBPEL Engine

ASWEC '07 Proceedings of the 2007 Australian Software Engineering Conference
Pellet: A practical OWL-DL reasoner

Web Semantics: Science, Services and Agents on the World Wide Web
The ACGT Master Ontology on Cancer - A New Terminology Source for Oncological Practice

CBMS '08 Proceedings of the 2008 21st IEEE International Symposium on Computer-Based Medical Systems
A Semantic Grid Infrastructure Enabling Integrated Access and Analysis of Multilevel Biomedical Data in Support of Postgenomic Clinical Trials on Cancer

IEEE Transactions on Information Technology in Biomedicine

The ACGT Master Ontology and its applications - Towards an ontology-driven cancer research and management system

Journal of Biomedical Informatics

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.