Modeling the dynamics of transferable obligations in business procedures