Abstract atomicity specifications into arch definitions