The Community for Technology Leaders
Green Image
Issue No. 03 - July-Sept. (2014 vol. 7)
ISSN: 1939-1374
pp: 501-514
Pieter Hens , Department of Decision Sciences and Information Management, KULeuven, Leuven, Belgium
Monique Snoeck , Department of Decision Sciences and Information Management, KULeuven, Leuven, Belgium
Manu De Backer , Department of Management Information Systems, Universiteit Antwerpen, Antwerp, Belgium
Geert Poels , Department of Management Information and Operations Management, Universiteit Gent, Ghent, Belgium
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 that 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 checking the admissibility of changes made to the control structure of a process fragment in a fragmented event-based process enactment environment.
Process control, Computational modeling, Business, Computer architecture, Engines, Silicon, Semantics,model checking, Process enactment/execution, distributed computing, process evolution, change management
Pieter Hens, Monique Snoeck, Manu De Backer, Geert Poels, "Verification of Change in a Fragmented Event-Based Process Coordination Environment", IEEE Transactions on Services Computing, vol. 7, no. , pp. 501-514, July-Sept. 2014, doi:10.1109/TSC.2013.43
188 ms
(Ver 3.3 (11022016))