“…However, we see that problematic. Accordingly, our paper proposes a relaxed set of transaction correctness criteria, called SACReD (Semantic Atomicity, Consistency, Resiliency, Durability) (previously developed in [15,16]) and a protocol for enforcing them, which it argues are more appropriate to the context-aware, more volatile, dynamic and open nature of M-services transactions. Unlike ACID criteria, SACReD do not impose isolation policy thus allowing transaction to be partially committed.…”