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

Simple item page
dc.contributor.author Popp, Roman
dc.contributor.author Hoch, Ralph
dc.contributor.author Kaindl, Hermann
dc.date.accessioned 2016-12-29T01:48:49Z
dc.date.available 2016-12-29T01:48:49Z
dc.date.issued 2017-01-04
dc.description.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.
dc.format.extent 10 pages
dc.identifier.doi 10.24251/HICSS.2017.586
dc.identifier.isbn 978-0-9981331-0-2
dc.identifier.uri http://hdl.handle.net/10125/41748
dc.language.iso eng
dc.relation.ispartof Proceedings of the 50th Hawaii International Conference on System Sciences
dc.rights Attribution-NonCommercial-NoDerivatives 4.0 International
dc.rights.uri https://creativecommons.org/licenses/by-nc-nd/4.0/
dc.subject Business Process Model
dc.subject artefact-centric
dc.subject verification
dc.subject BPM
dc.title A Connection of Task-centric with Artefact-centric Models through Semantic Task Specification and its Use for Formal Verification
dc.type Conference Paper
dc.type.dcmi Text
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
paper0599.pdf
Size:
9.5 MB
Format:
Adobe Portable Document Format
Description:
Download
Collections
Enterprise Architecture and Business Processes Analysis Minitrack