| DC Element | Wert | Sprache |
|---|
| dc.contributor.author | Fellmann, M. | |
| dc.contributor.author | Thomas, O. | |
| dc.date.accessioned | 2021-12-23T16:31:11Z | - |
| dc.date.available | 2021-12-23T16:31:11Z | - |
| dc.date.issued | 2011 | |
| dc.identifier.isbn | 9783885792840 | |
| dc.identifier.uri | https://osnascholar.ub.uni-osnabrueck.de/handle/unios/16947 | - |
| dc.description | Conference of 4th International Workshop on Enterprise Modelling and Information Systems Architectures, EMISA 2011 ; Conference Date: 22 September 2011 Through 23 September 2011; Conference Code:95725 | |
| 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. | |
| dc.language.iso | en | |
| dc.relation.ispartof | Proceedings of the 4th International Workshop on Enterprise Modelling and Information Systems Architectures, EMISA 2011 | |
| dc.subject | Empirical evaluations | |
| dc.subject | Integrated tools | |
| dc.subject | Process knowledge | |
| dc.subject | Process model | |
| dc.subject | Semantic Model, Information systems, Semantics | |
| dc.title | Process model verification with SemQuu | |
| dc.type | conference paper | |
| dc.identifier.scopus | 2-s2.0-84874259190 | |
| dc.identifier.url | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84874259190&partnerID=40&md5=b1f62252f2a4a96c7f40c158b37bcd94 | |
| dc.description.startpage | 231 | |
| dc.description.endpage | 236 | |
| dc.publisher.place | Hamburg | |
| dcterms.isPartOf.abbreviation | Proc. Int. Workshop Enterp. Model. Inf. Syst. Archit., EMISA | |
| crisitem.author.dept | FB 09 - Wirtschaftswissenschaften | - |
| crisitem.author.deptid | fb09 | - |
| crisitem.author.parentorg | Universität Osnabrück | - |
| crisitem.author.netid | ThOl011 | - |
