Process model verification with SemQuu

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.
  • Citation
  • BibTeX
Fellmann, M. & Thomas, O., (2011). Process model verification with SemQuu. In: Nüttgens, M., Thomas, O. & Weber, B. (Hrsg.), Enterprise modelling and information systems architectures (EMISA 2011). Bonn: Gesellschaft für Informatik e.V.. (S. 231-236).
@inproceedings{mci/Fellmann2011,
author = {Fellmann, Michael AND Thomas, Oliver},
title = {Process model verification with SemQuu},
booktitle = {Enterprise modelling and information systems architectures (EMISA 2011)},
year = {2011},
editor = {Nüttgens, Markus AND Thomas, Oliver AND Weber, Barbara} ,
pages = { 231-236 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
231.pdf168.3Kb PDF View/Open

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback

More Info

ISBN: 978-3-88579-284-0
ISSN: 1617-5468
xmlui.MetaDataDisplay.field.date: 2011
Language: en (en)
Content Type: Text/Conference Paper
Collections

Show full item record