Paper Info
Title
A Query-Driven Approach for Checking the Semantic Correctness of Ontology-Based Process Representations.
Abstract
The paper presents an approach to check the semantic correctness of business process models using queries in conjunction with an ontology-based process representation. 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, constraints are formalized as queries which are executed against the ontology-based process representation. The effectiveness of this approach is demonstrated by a user experiment. The experiment shows that searching for constraint violations using the query language produces more accurate results and is less time consuming in comparison to manual search when large models have to be checked.
Year
DOI
Venue
2011
10.1007/978-3-642-21863-7_6
Lecture Notes in Business Information Processing
Keywords
Field
DocType
Process Modeling,Correctness,Ontology,Query,OWL,SPARQL
Ontology (information science),Ontology,Ontology-based data integration,Query language,Information retrieval,Process ontology,Computer science,Correctness,Knowledge management,Theoretical computer science,Formal ontology,Upper ontology
Conference
Volume
ISSN
Citations 
87
1865-1348
3
PageRank 
References 
Authors
0.39
17
3
Name
Order
Citations
PageRank
Michael Fellmann17717.49
Oliver Thomas222743.71
Bastian Busch330.39