What's inside the box? Prospects and limitations of semantic verification in process modeling
Autor(en): | Fellmann, M. Hogrebe, F. Thomas, O. Nüttgens, M. |
Stichwörter: | Business process model; Formal ontology; In-process; Individual models; IT applications; Process model; Semantic verification; Verification task, Semantics | Erscheinungsdatum: | 2010 | Journal: | EMISA 2010 -Beitrage des Workshops der GI-Fachgruppe Entwicklungsmethoden fur Informationssysteme und Deren Anwendung | Startseite: | 85 | Seitenende: | 100 | Zusammenfassung: | Business process models support the optimization, reengineering and implementation of IT applications in administration and economics. In this area, models are important to manage complexity. In order to realize their full potential, the correctness of business process models is of significant importance. The paper applies an ontology-driven approach that aims at supporting semantic verification of process models. The approach is based on the formalization of the semantics of individual model elements by annotating them with concepts of a formal ontology. In order to ensure semantic correctness, semantic verification rules are introduced and it is demonstrated how machine reasoning provides for the automation of verification tasks. The approach is demonstrated using real-life process models taken from a capital city. |
Beschreibung: | Conference of Workshops der GI-Fachgruppe Entwicklungsmethoden fur Informationssysteme und Deren Anwendung - Einflussfaktoren auf die Entwicklung Flexibler, Integrierter Informationssysteme, EMISA 2010 ; Conference Date: 7 October 2010 Through 8 October 2010; Conference Code:95724 |
ISBN: | 9783885792666 | Externe URL: | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84874223742&partnerID=40&md5=9b21b9daaa32998d00c8be3fcb6c8c62 |
Zur Langanzeige
Seitenaufrufe
3
Letzte Woche
0
0
Letzter Monat
0
0
geprüft am 06.05.2024