Modeling long-running activities as nested sagas