Towards Compensation Correctness in Interactive Systems

Carla Maria Gonçalves Ferreira

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

4 Citations (Scopus)


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.
Original languageUnknown
Title of host publicationLecture Notes in Computer Science
Publication statusPublished - 1 Jan 2010
EventInternational Workshop on Web Services and Formal Methods (WS-FM) -
Duration: 1 Jan 2009 → …


ConferenceInternational Workshop on Web Services and Formal Methods (WS-FM)
Period1/01/09 → …

Cite this