Logo des Repositoriums
 
Konferenzbeitrag

Process model verification with SemQuu

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2011

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

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.

Beschreibung

Fellmann, Michael; Thomas, Oliver (2011): Process model verification with SemQuu. Enterprise modelling and information systems architectures (EMISA 2011). Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-284-0. pp. 231-236. Regular Research Papers. Hamburg. September 22-23, 2011

Schlagwörter

Zitierform

DOI

Tags