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
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.
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

Show full item record

Page view(s)

Last Week
Last month
checked on Apr 23, 2024

Google ScholarTM