The Community for Technology Leaders
2010 IEEE International Conference on Services Computing (2010)
Miami, Florida
July 5, 2010 to July 10, 2010
ISBN: 978-0-7695-4126-6
pp: 9-16
ABSTRACT
In services and cloud computing, processes need to be continually adapted to changing environments and requirements. Undisciplined process adaptation could easily lead to data flow anomalies, e.g., input missing for some activities in the process. In this paper, we study the problem of data-flow-correctness-preserving adaptation and propose three important criteria that can maintain the data flow correctness in process adaptation. We demonstrate our approach by using a typical process adaptation scenario in BPEL.
INDEX TERMS
Process Adaptation, Data Flow Correctness, Correctness-by-Construction, BPEL
CITATION

J. Lü, X. Ma, W. Song, H. Hu and S. Cheung, "Preserving Data Flow Correctness in Process Adaptation," 2010 IEEE International Conference on Services Computing(SCC), Miami, Florida, 2010, pp. 9-16.
doi:10.1109/SCC.2010.24
81 ms
(Ver 3.3 (11022016))