Please use this identifier to cite or link to this item: http://hdl.handle.net/10125/41748

A Connection of Task-centric with Artefact-centric Models through Semantic Task Specification and its Use for Formal Verification

File SizeFormat 
paper0599.pdf9.72 MBAdobe PDFView/Open

Item Summary

Title: A Connection of Task-centric with Artefact-centric Models through Semantic Task Specification and its Use for Formal Verification
Authors: Popp, Roman
Hoch, Ralph
Kaindl, Hermann
Keywords: Business Process Model
artefact-centric
verification
BPM
Issue Date: 04 Jan 2017
Abstract: Task- and artefact-centric business process models (BPMs) are mostly used in isolation. This entails, e.g., problems with formal and automated verification of BPMs through model checking. We address this gap through semantic task specification, which is transferred from more widely known semantic service specification. In summary, we present a new and systematic approach for connecting a task-centric BPM (in BPMN) with a model of an artefact-centric object life cycle through semantic task specification. As a consequence, we achieve a seamless approach for formal and automated verification of BPMs using model checking.
Pages/Duration: 10 pages
URI/DOI: http://hdl.handle.net/10125/41748
ISBN: 978-0-9981331-0-2
DOI: 10.24251/HICSS.2017.586
Rights: Attribution-NonCommercial-NoDerivatives 4.0 International
Appears in Collections:Enterprise Architecture and Business Processes Analysis Minitrack



Items in ScholarSpace are protected by copyright, with all rights reserved, unless otherwise indicated.