Process model verification with SemQuu

dc.contributor.author	Fellmann, Michael
dc.contributor.author	Thomas, Oliver
dc.contributor.editor	Nüttgens, Markus
dc.contributor.editor	Thomas, Oliver
dc.contributor.editor	Weber, Barbara
dc.date.accessioned	2018-11-27T09:50:22Z
dc.date.available	2018-11-27T09:50:22Z
dc.date.issued	2011
dc.identifier.isbn	978-3-88579-284-0
dc.identifier.issn	1617-5468
dc.identifier.uri	http://dl.gi.de/handle/20.500.12116/18519
dc.description.abstract	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.	en
dc.language.iso	en
dc.publisher	Gesellschaft für Informatik e.V.
dc.relation.ispartof	Enterprise modelling and information systems architectures (EMISA 2011)
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Proceedings, Volume P-190
dc.title	Process model verification with SemQuu	en
dc.type	Text/Conference Paper
dc.pubPlace	Bonn
mci.reference.pages	231-236
mci.conference.sessiontitle	Regular Research Papers
mci.conference.location	Hamburg
mci.conference.date	September 22-23, 2011