One fundamental idea of service-oriented computing is that applications should be developed by composing already available services. Due to the long running nature of service interactions, a main challengein service composition is ensuring correctness of failure recovery. In this paper, we use a process calculus suitable for modelling long running transactions with a recovery mechanism based on compensations. Within this setting, we discuss and formally state correctness criteria for compensable processes compositions, assuming that each process is correct with respect to failure recovery. Under our theory, we formally interpret self-healing compositions, that can detect and recover from failures, as correct compositions of compensable processes.
|Title of host publication||Lecture Notes in Computer Science|
|Publication status||Published - 1 Jan 2010|
|Event||International Workshop on Web Services and Formal Methods (WS-FM) - |
Duration: 1 Jan 2009 → …
|Conference||International Workshop on Web Services and Formal Methods (WS-FM)|
|Period||1/01/09 → …|