Transaction Technology for Process Modeling