Please use this identifier to cite or link to this item:
A Connection of Task-centric with Artefact-centric Models through Semantic Task Specification and its Use for Formal Verification
|Title:||A Connection of Task-centric with Artefact-centric Models through Semantic Task Specification and its Use for Formal Verification|
|Keywords:||Business Process Model|
|Date Issued:||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.|
|Rights:||Attribution-NonCommercial-NoDerivatives 4.0 International|
|Appears in Collections:||
Enterprise Architecture and Business Processes Analysis Minitrack|
Please email firstname.lastname@example.org if you need this content in ADA-compliant format.
Items in ScholarSpace are protected by copyright, with all rights reserved, unless otherwise indicated.