A Model that Coordinates Short-Lived and Long-Lived Transactions for Web Services