An ontology-driven approach to support semantic verification in business process modeling
| dc.contributor.author | Fellmann, Michael | |
| dc.contributor.author | Hogrebe, Frank | |
| dc.contributor.author | Thomas, Oliver | |
| dc.contributor.author | Nüttgens, Markus | |
| dc.contributor.editor | Esswein, Werner | |
| dc.contributor.editor | Turowski, Klaus | |
| dc.contributor.editor | Juhrisch, Martin | |
| dc.date.accessioned | 2019-01-17T12:55:52Z | |
| dc.date.available | 2019-01-17T12:55:52Z | |
| dc.date.issued | 2010 | |
| 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. | en |
| dc.identifier.isbn | 978-3-88579-265-9 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/19688 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Modellierung betrieblicher Informationssysteme (MobIS 2010). Modellgestütztes Management | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-171 | |
| dc.title | An ontology-driven approach to support semantic verification in business process modeling | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 110 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 99 | |
| gi.conference.date | 15.-17. September 2010 | |
| gi.conference.location | Dresden | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1