论文信息 - Process Model Verification with SemQuu

Process Model Verification with SemQuu

In this contribution, we present an overview of our ongoing work in developing an integrated tool support for semantic process model verification. We present some of the requirements and insights gained by the implementation of a platform for semantic process model verification. The platform is based on OWL and SPARQL and provides for a user-friendly way of semantic model verification. First empirical evaluations have been very promising and confirm that the tool can be used to effectively query and verify semi-formal process knowledge.

Oliver Thomas | Michael Fellmann

[1] Peter Dadam,et al. On enabling integrated process compliance with semantic constraints in process management systems , 2012, Inf. Syst. Frontiers.

[2] Jörg Desel,et al. Model Validation - A Theoretical Issue? , 2002, ICATPN.

[3] Jan Mendling,et al. Empirical Studies in Process Model Verification , 2009, Trans. Petri Nets Other Model. Concurr..

[4] Ingo M. Weber. Verification of Annotated Process Models , 2009 .

[5] Siegfried Handschuh. Konduit VQB: a Visual Query Builder for SPARQL on the Social Semantic Desktop , 2010 .

[6] Oszkar Ambrus. Konduit VQB : a Visual Query Builder for SPARQL on the Social Semantic Desktop , 2010 .

[7] Jan Mendling,et al. Beyond soundness: on the verification of semantic business process models , 2010, Distributed and Parallel Databases.

[8] Oliver Thomas,et al. A Query-Driven Approach for Checking the Semantic Correctness of Ontology-Based Process Representations , 2011, BIS.