Advertisement
Published in:
2010 | OriginalPaper | Chapter
Towards Compensation Correctness in Interactive Systems
Authors : Cátia Vaz, Carla Ferreira
Published in: Web Services and Formal Methods
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.