A Semantics-Based Protocol for Business Process Transactions