2010 IEEE International Conference on Services Computing (2010)
July 5, 2010 to July 10, 2010
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SCC.2010.24
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.
Process Adaptation, Data Flow Correctness, Correctness-by-Construction, BPEL
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.