An ontology-driven approach to support semantic verification in business process modeling
DC Element | Wert | Sprache |
---|---|---|
dc.contributor.author | Fellmann, M. | |
dc.contributor.author | Hogrebe, F. | |
dc.contributor.author | Thomas, O. | |
dc.contributor.author | Nüttgens, M. | |
dc.date.accessioned | 2021-12-23T16:28:56Z | - |
dc.date.available | 2021-12-23T16:28:56Z | - |
dc.date.issued | 2010 | |
dc.identifier.isbn | 9783885792659 | |
dc.identifier.issn | 16175468 | |
dc.identifier.uri | https://osnascholar.ub.uni-osnabrueck.de/handle/unios/15993 | - |
dc.description | Conference of Modellierung Betrieblicher Informationssysteme - Modellgestutztes Management, MobIS 2010 - Modeling Business Information Systems - Model-Based Management, MobIS 2010 ; Conference Date: 15 September 2010 Through 17 September 2010; Conference Code:97305 | |
dc.description.abstract | This paper presents an ontology-driven approach that aims at supporting semantic verification of semi-formal process models. Despite the widespread use of these models in research and practice, the verification of process model information is still a challenging issue. We suggest an ontology-driven approach making use of background knowledge encoded in formal ontologies and rules. In the first step, we develop a model for ontology-based representation of process models. In the second step, we use this model in conjunction with rules and machine reasoning for process model verification. We apply our approach using real-life administrative process models taken from a capital city. | |
dc.language.iso | en | |
dc.relation.ispartof | Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI) | |
dc.subject | Administrative process | |
dc.subject | Back-ground knowledge | |
dc.subject | Business process modeling | |
dc.subject | Formal ontology | |
dc.subject | Ontology-based representation | |
dc.subject | Process model | |
dc.subject | Semantic verification, Systems engineering, Semantics | |
dc.title | An ontology-driven approach to support semantic verification in business process modeling | |
dc.type | conference paper | |
dc.identifier.scopus | 2-s2.0-84878843338 | |
dc.identifier.url | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84878843338&partnerID=40&md5=c8dc36f47fe5f2371e2c16a6916058da | |
dc.description.volume | 171 | |
dc.description.startpage | 99 | |
dc.description.endpage | 110 | |
dc.publisher.place | Dresden | |
dcterms.isPartOf.abbreviation | Lect. Notes Informatics (LNI), Proc. - Series Ges. Inform. (GI) | |
crisitem.author.dept | FB 09 - Wirtschaftswissenschaften | - |
crisitem.author.deptid | fb09 | - |
crisitem.author.parentorg | Universität Osnabrück | - |
crisitem.author.netid | ThOl011 | - |
Seitenaufrufe
4
Letzte Woche
1
1
Letzter Monat
0
0
geprüft am 19.05.2024