Title: Verification of change in a fragmented event-based process coordination environment
Authors: Hens, Pieter # ×
Snoeck, Monique
De Backer, Manu #
Poels, Geert #
Issue Date: 2014
Series Title: IEEE Transactions on Services Computing vol:7 issue:3 pages:501-514
Abstract: To allow the distribution of control and visibility of cross-organizational process models and to increase availability and performance of the processes, a process model can be fragmented into logically different parts and distributed in the enterprise architecture. Fragmentation algorithms and execution environments which connect the fragmented process model parts together, recreating the original process execution semantics, have been proposed in earlier works. However, a critical challenge that is left
open is the ability to independently change the control structure of a process fragment. This is not trivial as changing the control structure of a specific fragment could break the global process execution. The global process overview is also not available anymore because it is fragmented in the enactment environment and many independent control structure changes could have already been done. In this paper we describe an approach based on state reconstruction which enables to check the admissibility of changes made to the control structure of a process fragment in a fragmented event-based process enactment environment.
ISSN: 1939-1374
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Research Center for Management Informatics (LIRIS), Leuven
Department of Decision Sciences and Information Management, Leuven - miscellaneous
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
2013_TSC_Verification of Change_PrePrint.pdfVerification of change in a fragmented event-based process coordination environment Published 624KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science