| Name: | Description: | Size: | Format: | |
|---|---|---|---|---|
| 303.59 KB | Adobe PDF |
Authors
Advisor(s)
Abstract(s)
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 challenge in 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.
Description
Keywords
Service composition Correctness mapping Operational semantic Parallel composition Label transition system
Citation
VAZ, Cátia; FERREIRA, Carla – Towards compensation correctness in interactive systems. In WS-FM 2009: Web Services and Formal Methods (6th International Workshop, WS-FM 2009). Bolonha, Italy: Springer, 2009. Lecture Notes in Computer Science. ISBN 978-3-642-14458-5. Vol. 6194, pp. 161-177
Publisher
Springer