| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 431981 | The Journal of Logic and Algebraic Programming | 2012 | 21 Pages |
Abstract
⺠We define a process calculus for modelling long running transactions under SOC. ⺠We formally state correctness criteria for compensable processes compositions. ⺠We formally interpret self-healing compositions under compensation correctness. ⺠We develop an automated verification approach.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Cátia Vaz, Carla Ferreira,